3256 search results - page 547 / 652 » Applications of Formal Methods to System Design and Verifica... |
115
click to vote
ACMACE
2004
ACM
15 years 3 months ago
2004
ACM
This paper discusses the design of audio games, a quite new computer game category that originates from games for players with visual impairments, as well as mainstream music game...
WSC
2007
15 years 6 days ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
175
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
103
click to vote
EUROPKI
2009
Springer
14 years 7 months ago
2009
Springer
Current PKI-based email systems (such as X.509 S/MIME and PGP/ MIME) potentially enable a recipient to determine a name and organizational affiliation of the sender. This informati...