5639 search results - page 920 / 1128 » Timed Abstract Non-interference |
124
click to vote
FCS
2006
15 years 4 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...
130
click to vote
ICISC
2004
15 years 4 months ago
2004
Abstract. The proliferation of group-centric computing and communication motivates the need for mechanisms to provide group access control. Group access control includes mechanisms...
115
click to vote
ESANN
2001
15 years 4 months ago
2001
Over the years the amount and range of electronic text stored on the WWW has expanded rapidly, overwhelming both users and tools designed to index and search the information. It is...
108
click to vote
DAIS
2003
15 years 4 months ago
2003
Abstract The JAMUS platform is dedicated to providing a safe runtime environment for untrusted Java application programs, while offering each of these programs access to the resour...
114
click to vote
DAIS
2003
15 years 4 months ago
2003
Abstract. There is growing trend to unify user-to-user messaging systems to allow message exchange, independent of time, place, protocol, and end-user device. Building gateways to ...