ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity最新文献_第8页

From actors to agent-oriented programming abstractions in simpAL simpAL中从参与者到面向代理的编程抽象

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384745

A. Ricci, Andrea Santi

引用次数: 10

Internet voting: an idea whose time has not come 网络投票:一个时代尚未到来的想法

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384718

B. Simons

{"title":"Internet voting: an idea whose time has not come","authors":"B. Simons","doi":"10.1145/2384716.2384718","DOIUrl":"https://doi.org/10.1145/2384716.2384718","url":null,"abstract":"Properly designed and engineered computerized voting systems can facilitate voting and increase the security and reliability of our voting systems. Unfortunately, in their eagerness to have the most modern and best election equipment and to take advantage of almost $4 billion in federal funding, well meaning election officials were quick to accept accuracy and security claims of computerized voting system vendors. Few questions were asked about crucial issues. How secure, accurate, and reliable are these machines? How easy are they to use, especially by people with disabilities? How could an election audit or recount be conducted? There was little or no consultation with independent technical experts on these questions, and remarkably little scientific research. Standards and regulations were inadequate to nonexistent. The implicit assumption appears to have been that no recount would ever be needed, because the new systems were so completely secure and accurate that there would no longer be any reason to challenge an election result.\u0000 There is now a widespread perception that Internet voting is the wave of the future and the way to save money while increasing voter participation, especially participation of young people. (I can bank online; why can't I vote online?) Not having learned from previous mistakes and against the advice of essentially all computer security experts, Internet voting is currently being used in several countries and in some U.S. States. There is also strong pressure to adopt Internet voting in the U.S. for members of the military and civilians living abroad. In this talk I examine some of the threats of Internet voting in the hope of encouraging the technical community to oppose Internet voting unless and until these threats can be eliminated.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129175963","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Workshop: what drives design? 工作坊:设计的驱动力是什么?

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384781

D. Mancl, S. Fraser, Gail E. Harris, W. Opdyke

{"title":"Workshop: what drives design?","authors":"D. Mancl, S. Fraser, Gail E. Harris, W. Opdyke","doi":"10.1145/2384716.2384781","DOIUrl":"https://doi.org/10.1145/2384716.2384781","url":null,"abstract":"Designers are busy people, and they are getting busier. In today's world designers must deal with three competing pressures:\u0000 \"A relentless avalanche of changes in end-user technologies and applications domains,\u0000 \"An insatiable marketplace that demands rapid delivery of innovative products and services, and\u0000 \"A parade of improvements in implementation technologies: languages, tools, and prototyping environments.\u0000 The job of design is becoming more frantic. Designers have less time to think. Managers have already sold the customers on the next innovation to the system, and the developers have already started hacking. Can we really think that fast?\u0000 Maybe there is a silver bullet design methodology. There have been a number of attempts to drive design from responsibilities, features, tests, models, behavior, domains, and contracts. Could these be a good place to start? Do any of these approaches (RDD, FDD, TDD, and so on) offer any help to the busy designer?\u0000 This workshop will attempt to gather the evidence for effective design principles. Should we consider adopting a single approach, or should we consider taking inspiration from several methods? The workshop will discuss benefits and pitfalls.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134325371","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Reflections on reflection 反思的反思

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384721

J. Coplien

{"title":"Reflections on reflection","authors":"J. Coplien","doi":"10.1145/2384716.2384721","DOIUrl":"https://doi.org/10.1145/2384716.2384721","url":null,"abstract":"Though it usually makes its appearance only as a footnote in the broader discourse of object design, reflection is a recurring and sometimes noisily divisive topic in object-orientation. Glimmers of reflection pervade even the darkest corners of the tapestry of object orientation's history. In fact, the broader notion of code's self-knowledge, such as run-time method dispatch, goes to the heart of what differentiates objects from other paradigms. Object orientation, at its roots, was about people and human mental models. It is impossible to make serious headway in these models without reasoning about the system outside of its simple imperative expression. By analogy, the silent movie era of film held that by removing speech, the media of film could both appeal to broader audiences and to tap into the broader human universals that speech obfuscates.\u0000 Programs are the silent films that connect much of humanity today. The silent experience plays out at the screen; the Internet is the deep hardware on which it runs, and our software illuminates and articulates the connections between them. To make software fulfil any social agenda of human problem-solving requires a link between the reflections of the individual and those of the soft-ware; to rise to social phenomena requires a computational model that accommodates reflection at the social and societal layers.\u0000 The DCI (Data, Context, and Interaction) paradigm provides a world model whose reflection allows program structure to shift with the dynamics in the context of application while featuring new ways to clearly present program structure to faithfully cap-ture end-user mental models of uses cases and data. DCI and other recent post-modern approaches offer breakthroughs that raise reflection to its proper place as a first-class programming concern.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127840153","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

CnC-Python: multicore programming with high productivity CnC-Python:具有高生产率的多核编程

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384763

S. Imam

引用次数: 1

Reifying and optimizing collection queries for modularity 为模块化具体化和优化集合查询

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384735

Paolo G. Giarrusso

引用次数: 0

The CloudBrowser web application framework CloudBrowser web应用程序框架

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384768

Brian McDaniel, Godmar Back

引用次数: 3

MySQL to NoSQL: data modeling challenges in supporting scalability MySQL到NoSQL:支持可伸缩性的数据建模挑战

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384773

Aaron Schram, K. Anderson

引用次数: 102

Generic adaptable test cases for software product line testing: software product line 用于软件产品线测试的通用可适应测试用例:软件产品线

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384733

S. P. R. Asaithambi, S. Jarzabek

引用次数: 6

JaDaRD: java data-race detector java数据竞争检测器

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384744

Filip Vorácek, Zdenek Tronícek

引用次数: 0