1795 search results - page 353 / 359 » Security Models and Information Flow |
107
click to vote
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
109
click to vote
WWW
2003
ACM
16 years 11 days ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...
100
click to vote
PODC
2009
ACM
16 years 7 days ago
2009
ACM
Global consistency or Byzantine Agreement (BA) and reliable point-to-point communication are two of the most important and well-studied problems in distributed computing. Informal...
WSC
1998
15 years 1 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...
124
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...