575 search results - page 111 / 115 » Transition systems for designing and reasoning about norms |
100
click to vote
SOUPS
2010
ACM
15 years 3 months ago
2010
ACM
Home computer systems are frequently insecure because they are administered by untrained, unskilled users. The rise of botnets has amplified this problem; attackers can compromis...
184
click to vote
GIS
2003
ACM
16 years 9 days ago
2003
ACM
Location-Based Services (LBSs) utilize information about users' locations through location-aware mobile devices to provide services, such as nearest features of interest, the...
SIGSOFT
2007
ACM
16 years 16 hour ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
105
click to vote
PLPV
2009
ACM
15 years 8 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
100
click to vote
CCS
2007
ACM
15 years 5 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...