5639 search results - page 791 / 1128 » Timed Abstract Non-interference |
127
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
117
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. From a security standpoint, it is preferable to implement least privilege network security policies in which only the bare minimum of TCP/UDP ports on internal hosts are ...
129
click to vote
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Desktop grids use the free resources in Intranet and Internet environments for large-scale computation and storage. While desktop grids offer a high return on investment...
163
click to vote
EUSAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We explore the use of ubiquitous sensing in the home for contextsensitive microlearning. To assess how users would respond to frequent and brief learning interactions tie...
130
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...