Jacques Bou Abdo, Sherali Zeadally, Jacques Demerjian
Web privacy should be achieved without depriving the user of essential and enjoyable services and degrading his/her experience compared to other web surfers. We propose compartmentalization-by-design, a method for ensuring usability-aware web privacy, and present client-back, an open source proof-of-concept that applies compartmentalization-by-design.
{"title":"Compartmentalization-by-Design: Usability-Aware Web Privacy","authors":"Jacques Bou Abdo, Sherali Zeadally, Jacques Demerjian","doi":"10.1109/mc.2023.3341050","DOIUrl":"https://doi.org/10.1109/mc.2023.3341050","url":null,"abstract":"Web privacy should be achieved without depriving the user of essential and enjoyable services and degrading his/her experience compared to other web surfers. We propose compartmentalization-by-design, a method for ensuring usability-aware web privacy, and present client-back, an open source proof-of-concept that applies compartmentalization-by-design.","PeriodicalId":10623,"journal":{"name":"Computer","volume":"143 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141527991","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In a previous “Games” column, I raised the question of whether OpenAI’s Sora could generate the complete Pixar animated film Toy Story. We discuss how to think about the computational requirements of such an endeavor.
在之前的 "游戏 "专栏中，我提出了 OpenAI 的 Sora 能否生成完整的皮克斯动画电影《玩具总动员》的问题。我们讨论了如何考虑这一工作的计算要求。
{"title":"Can OpenAI’s Sora Generate Pixar’s Toy Story?","authors":"Michael Zyda","doi":"10.1109/mc.2024.3393249","DOIUrl":"https://doi.org/10.1109/mc.2024.3393249","url":null,"abstract":"In a previous “Games” column, I raised the question of whether OpenAI’s Sora could generate the complete Pixar animated film Toy Story. We discuss how to think about the computational requirements of such an endeavor.","PeriodicalId":10623,"journal":{"name":"Computer","volume":"111 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141528007","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This EIC message ponders what can be legally done now (and in the future) to algorithms when they misbehave and create problems for the humans they were designed to serve.
{"title":"Algorithms as Defendants?","authors":"Jeffrey Voas, Keith Miller","doi":"10.1109/mc.2024.3355536","DOIUrl":"https://doi.org/10.1109/mc.2024.3355536","url":null,"abstract":"This EIC message ponders what can be legally done now (and in the future) to algorithms when they misbehave and create problems for the humans they were designed to serve.","PeriodicalId":10623,"journal":{"name":"Computer","volume":"32 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141532403","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Summary form only: Summaries of articles presented in this issue of the publication.
仅限摘要形式：本期刊物刊登的文章摘要。
{"title":"50 & 25 Years Ago","authors":"Erich Neuhold","doi":"10.1109/mc.2024.3393779","DOIUrl":"https://doi.org/10.1109/mc.2024.3393779","url":null,"abstract":"Summary form only: Summaries of articles presented in this issue of the publication.","PeriodicalId":10623,"journal":{"name":"Computer","volume":"20 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141527986","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
ABET and its member society CSAB are looking into the future, and their direction aims to be responsive to changing needs.
ABET 及其成员协会 CSAB 正在展望未来，其发展方向旨在满足不断变化的需求。
{"title":"Why Instructors Should Care: ABET and CSAB, How They Work, IEEE’s Role, and Their Value","authors":"S. K. Ramesh","doi":"10.1109/mc.2024.3390969","DOIUrl":"https://doi.org/10.1109/mc.2024.3390969","url":null,"abstract":"ABET and its member society CSAB are looking into the future, and their direction aims to be responsive to changing needs.","PeriodicalId":10623,"journal":{"name":"Computer","volume":"31 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141527990","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Algorithms demand both correctness and efficiency, but formal methods often lack support for ensuring these essential properties during algorithm construction. This article introduces correctness-by-construction (CbC) development which facilitates algorithm design through iterative refinement steps enabling the construction of correct and efficient algorithms.
{"title":"From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design","authors":"Tabea Bordis, Maximilian Kodetzki, Ina Schaefer","doi":"10.1109/mc.2024.3390948","DOIUrl":"https://doi.org/10.1109/mc.2024.3390948","url":null,"abstract":"Algorithms demand both correctness and efficiency, but formal methods often lack support for ensuring these essential properties during algorithm construction. This article introduces correctness-by-construction (CbC) development which facilitates algorithm design through iterative refinement steps enabling the construction of correct and efficient algorithms.","PeriodicalId":10623,"journal":{"name":"Computer","volume":"358 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141528016","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：