1959 search results - page 52 / 392 » Concerned About Separation |
SELMAS
2004
Springer
15 years 5 months ago
2004
Springer
Agent architectures have to cope with a number of internal properties (concerns), such as autonomy, learning, and mobility. As the agent complexity increases, these agent propertie...
119
click to vote
FCSC
2010
14 years 9 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
106
click to vote
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
CARDIS
2000
Springer
15 years 4 months ago
2000
Springer
: This paper describes JCCap, a protection facility for cooperating applications in the context of Java Card. It enables the control of access rights between mutually suspicious ap...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The Small-Set Expansion Hypothesis (Raghavendra, Steurer, STOC 2010) is a natural hardness assumption concerning the problem of approximating the edge expansion of small sets in g...