2517 search results - page 97 / 504 » Specifying Weak Sets |
152
click to vote
PODC
1996
ACM
15 years 9 months ago
1996
ACM
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...
156
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
148
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
141
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Unrestricted information flows are a key security weakness of current web design. Cross-site scripting, cross-site request forgery, and other attacks typically require that inform...
151
click to vote
MMNS
2007
15 years 6 months ago
2007
We propose an admission control approach for IPTV in which decisions to admit new flows are based on effective bandwidth estimates calculated using empirical traffic measurement. W...