841 search results - page 158 / 169 » A secure architectural description language for agent system... |
136
Voted
POPL
1999
ACM
15 years 6 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
121
Voted
DIMVA
2009
15 years 2 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
114
click to vote
LISA
2008
15 years 4 months ago
2008
In recent times a new kind of computing system has emerged: a distributed infrastructure composed of multiple physical sites in different administrative domains. This model introd...
113
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
120
Voted
SAFECOMP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...