{"id":"https://openalex.org/W4399168947","doi":"https://doi.org/10.1109/tce.2024.3397662","title":"Elevating Personalized VOD Systems: Formal Analysis With VCR Actions and Trusted Computing","display_name":"Elevating Personalized VOD Systems: Formal Analysis With VCR Actions and Trusted Computing","publication_year":2024,"publication_date":"2024-05-30","ids":{"openalex":"https://openalex.org/W4399168947","doi":"https://doi.org/10.1109/tce.2024.3397662"},"language":"en","primary_location":{"id":"doi:10.1109/tce.2024.3397662","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tce.2024.3397662","pdf_url":null,"source":{"id":"https://openalex.org/S126824455","display_name":"IEEE Transactions on Consumer Electronics","issn_l":"0098-3063","issn":["0098-3063","1558-4127"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Consumer Electronics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078723629","display_name":"Debjani Ghosh","orcid":"https://orcid.org/0000-0002-0593-9899"},"institutions":[{"id":"https://openalex.org/I3129773123","display_name":"Bennett University","ror":"https://ror.org/00an5hx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I3129773123"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Debjani Ghosh","raw_affiliation_strings":["Department of Computer Science and Engineering, Bennett University, Noida, India","Department of CSE, Bennett University Noida, India"],"raw_orcid":"https://orcid.org/0000-0002-0593-9899","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Bennett University, Noida, India","institution_ids":["https://openalex.org/I3129773123"]},{"raw_affiliation_string":"Department of CSE, Bennett University Noida, India","institution_ids":["https://openalex.org/I3129773123"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018737268","display_name":"Ankit Vidyarthi","orcid":"https://orcid.org/0000-0002-8026-4246"},"institutions":[{"id":"https://openalex.org/I154970844","display_name":"Jaypee Institute of Information Technology","ror":"https://ror.org/05sttyy11","country_code":"IN","type":"education","lineage":["https://openalex.org/I154970844"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ankit Vidyarthi","raw_affiliation_strings":["Department of Computer Science and Engineering & Information Technology, Jaypee Institute of Information Technology, Noida, India","Department of CSE and IT, Jaypee Institute of Information Technology Noida, INDIA"],"raw_orcid":"https://orcid.org/0000-0002-8026-4246","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering & Information Technology, Jaypee Institute of Information Technology, Noida, India","institution_ids":["https://openalex.org/I154970844"]},{"raw_affiliation_string":"Department of CSE and IT, Jaypee Institute of Information Technology Noida, INDIA","institution_ids":["https://openalex.org/I154970844"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034646912","display_name":"Chakrapani Gautam","orcid":"https://orcid.org/0000-0002-5916-032X"},"institutions":[{"id":"https://openalex.org/I4210121976","display_name":"Centro de Estudios Monetarios y Financieros","ror":"https://ror.org/035h6g182","country_code":"ES","type":"education","lineage":["https://openalex.org/I4210121976"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Chakrapani Gautam","raw_affiliation_strings":["Department of Computer Science and Engineering, Rankia Communidad, Financiera, Valencia, Spain","Rankia Communidad Financiera, Valencia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Rankia Communidad, Financiera, Valencia, Spain","institution_ids":["https://openalex.org/I4210121976"]},{"raw_affiliation_string":"Rankia Communidad Financiera, Valencia, Spain","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072152633","display_name":"Ruchi Agarwal","orcid":"https://orcid.org/0000-0003-0494-9590"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ruchi Agarwal","raw_affiliation_strings":["Department of Computer Applications, JIMS Engineering Management Technical Campus, Greater Noida, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Applications, JIMS Engineering Management Technical Campus, Greater Noida, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111006775","display_name":"Krishna Kant Agarwal","orcid":null},"institutions":[{"id":"https://openalex.org/I155125381","display_name":"Galgotias University","ror":"https://ror.org/02w8ba206","country_code":"IN","type":"education","lineage":["https://openalex.org/I155125381"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Krishna Kant Agarwal","raw_affiliation_strings":["School of Computing Science and Engineering, Galgotias University, Greater Noida, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing Science and Engineering, Galgotias University, Greater Noida, India","institution_ids":["https://openalex.org/I155125381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016605651","display_name":"Punit Gupta","orcid":"https://orcid.org/0000-0001-7606-3014"},"institutions":[{"id":"https://openalex.org/I100930933","display_name":"University College Dublin","ror":"https://ror.org/05m7pjf47","country_code":"IE","type":"education","lineage":["https://openalex.org/I100930933"]},{"id":"https://openalex.org/I73779912","display_name":"Manipal University Jaipur","ror":"https://ror.org/040h76494","country_code":null,"type":"education","lineage":["https://openalex.org/I73779912"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Punit Gupta","raw_affiliation_strings":["School of Computer Science, University College Dublin, 4 Dublin, Ireland","Manipal University Jaipur, Jaipur, India","School of Computer Science, University College Dublin, Ireland"],"raw_orcid":"https://orcid.org/0000-0001-7606-3014","affiliations":[{"raw_affiliation_string":"School of Computer Science, University College Dublin, 4 Dublin, Ireland","institution_ids":["https://openalex.org/I100930933"]},{"raw_affiliation_string":"Manipal University Jaipur, Jaipur, India","institution_ids":["https://openalex.org/I73779912"]},{"raw_affiliation_string":"School of Computer Science, University College Dublin, Ireland","institution_ids":["https://openalex.org/I100930933"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034896032","display_name":"Ahmed Alkhayyat","orcid":"https://orcid.org/0000-0002-0962-3453"},"institutions":[{"id":"https://openalex.org/I3131779051","display_name":"Iraqi University","ror":"https://ror.org/01wfhkb67","country_code":"IQ","type":"education","lineage":["https://openalex.org/I3131779051"]}],"countries":["IQ"],"is_corresponding":false,"raw_author_name":"Ahmed Alkhayyat","raw_affiliation_strings":["College of Technical Engineering, The Islamic University, Najaf, Iraq"],"raw_orcid":"https://orcid.org/0000-0002-0962-3453","affiliations":[{"raw_affiliation_string":"College of Technical Engineering, The Islamic University, Najaf, Iraq","institution_ids":["https://openalex.org/I3131779051"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010624503","display_name":"Mashael M. Alsulami","orcid":"https://orcid.org/0000-0003-2298-8278"},"institutions":[{"id":"https://openalex.org/I179331831","display_name":"Taif University","ror":"https://ror.org/014g1a453","country_code":"SA","type":"education","lineage":["https://openalex.org/I179331831"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Mashael M. Alsulami","raw_affiliation_strings":["Department of Information Technology, College of Computers and Information Technology, Taif University, Taif, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0003-2298-8278","affiliations":[{"raw_affiliation_string":"Department of Information Technology, College of Computers and Information Technology, Taif University, Taif, Saudi Arabia","institution_ids":["https://openalex.org/I179331831"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5078723629"],"corresponding_institution_ids":["https://openalex.org/I3129773123"],"apc_list":null,"apc_paid":null,"fwci":0.3311,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.62528656,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"70","issue":"4","first_page":"6776","last_page":"6786"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.98089998960495,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.98089998960495,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9742000102996826,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9628999829292297,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7134844064712524},{"id":"https://openalex.org/keywords/trusted-computing","display_name":"Trusted Computing","score":0.44498211145401},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3915547728538513},{"id":"https://openalex.org/keywords/multimedia","display_name":"Multimedia","score":0.38186678290367126},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3772495985031128},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.37621596455574036}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7134844064712524},{"id":"https://openalex.org/C2776831232","wikidata":"https://www.wikidata.org/wiki/Q966812","display_name":"Trusted Computing","level":2,"score":0.44498211145401},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3915547728538513},{"id":"https://openalex.org/C49774154","wikidata":"https://www.wikidata.org/wiki/Q131765","display_name":"Multimedia","level":1,"score":0.38186678290367126},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3772495985031128},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.37621596455574036}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tce.2024.3397662","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tce.2024.3397662","pdf_url":null,"source":{"id":"https://openalex.org/S126824455","display_name":"IEEE Transactions on Consumer Electronics","issn_l":"0098-3063","issn":["0098-3063","1558-4127"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Consumer Electronics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1997845078","https://openalex.org/W2134991157","https://openalex.org/W2137519202","https://openalex.org/W2159609980","https://openalex.org/W2164990576","https://openalex.org/W2810843207","https://openalex.org/W2911283319","https://openalex.org/W2920005564","https://openalex.org/W2952356233","https://openalex.org/W2955506470","https://openalex.org/W2966385597","https://openalex.org/W3020115119","https://openalex.org/W3023809615","https://openalex.org/W3035039630","https://openalex.org/W3193395005","https://openalex.org/W3215377376","https://openalex.org/W4210832522","https://openalex.org/W4285047186","https://openalex.org/W4312526552","https://openalex.org/W4387951991"],"related_works":["https://openalex.org/W2059626797","https://openalex.org/W2168345601","https://openalex.org/W2082288922","https://openalex.org/W2142065994","https://openalex.org/W2354645290","https://openalex.org/W1985479624","https://openalex.org/W2390768934","https://openalex.org/W2418291489","https://openalex.org/W1989709299","https://openalex.org/W2008032393"],"abstract_inverted_index":{"The":[0,48],"increasing":[1],"prevalence":[2],"of":[3,26,35,53,64,89,122,213],"affordable":[4],"smart":[5],"hand-held":[6],"devices":[7],"and":[8,18,50,72,103,119,147,184,199,206],"the":[9,23,33,54,61,86,96,104,120,151,166,178,194,211],"expanding":[10],"access":[11],"to":[12,126,171],"Internet":[13,55],"connectivity":[14],"in":[15,175,201,210],"both":[16],"urban":[17],"rural":[19],"areas":[20],"have":[21],"fostered":[22],"rapid":[24],"advancement":[25],"Video-on-Demand":[27],"(VoD)":[28],"streaming.":[29],"However,":[30],"accurately":[31],"assessing":[32],"Quality":[34],"User":[36],"Experience":[37],"(QoUX)":[38],"attributes":[39],"for":[40,84,143,180,196],"a":[41,45,81,90],"VoD":[42,93,152,163],"system":[43],"remains":[44],"complex":[46,162],"challenge.":[47],"dynamic":[49],"non-uniform":[51],"nature":[52],"introduces":[56],"significant":[57],"unpredictability,":[58],"compounded":[59],"by":[60],"stochastic":[62],"behavior":[63],"VCR":[65],"actions,":[66],"such":[67,112],"as":[68,113],"jumps,":[69],"rewinds,":[70],"stops,":[71],"pauses.":[73],"To":[74],"address":[75],"these":[76],"complexities,":[77],"this":[78,133,191],"paper":[79],"presents":[80],"formal":[82,157],"model":[83,106],"analyzing":[85],"QoUX":[87],"performance":[88],"multimedia":[91,214],"e-commerce-focused":[92],"system.":[94,153],"Employing":[95],"Continuous":[97],"Time":[98],"Markov":[99],"Chain":[100],"(CTMC)":[101],"methodology":[102],"PRISM":[105],"checker,":[107],"we":[108],"evaluate":[109],"critical":[110],"metrics":[111],"throughput,":[114],"latency,":[115],"jitter,":[116],"error":[117],"rate,":[118],"probability":[121],"user":[123,130,208],"video":[124],"rejection":[125],"ensure":[127],"an":[128,204],"enhanced":[129],"experience.":[131],"Moreover,":[132],"study":[134],"compares":[135],"our":[136],"findings":[137],"with":[138],"industry":[139],"benchmarks,":[140],"predicting":[141],"thresholds":[142],"5%":[144],"packet":[145],"loss":[146],"5-second":[148],"latency":[149],"within":[150],"We":[154],"demonstrate":[155],"that":[156],"methods":[158],"can":[159],"effectively":[160],"analyze":[161],"systems":[164],"at":[165],"desired":[167],"abstraction":[168],"levels,":[169],"akin":[170],"other":[172],"measurement":[173],"approaches":[174],"e-commerce,":[176,202],"without":[177],"need":[179],"elaborate":[181],"simulations,":[182],"prototypes,":[183],"proofs-of-concept.":[185],"By":[186],"emphasizing":[187],"trusted":[188],"computing":[189],"principles,":[190],"research":[192],"underscores":[193],"potential":[195],"enhancing":[197],"personalization":[198],"contextualization":[200],"ensuring":[203],"immersive":[205],"seamless":[207],"experience":[209],"realm":[212],"commerce.":[215]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}