15636 search results - page 2802 / 3128 » Modelling by supersaturated designs |
180
click to vote
IANDC
2008
15 years 7 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
211
click to vote
CACM
2006
15 years 7 months ago
2006
ional thinking is using abstraction and decomposition when attacking a large complex task or designing a large complex system. It is separation of concerns. It is choosing an appro...
212
click to vote
CAI
2006
Springer
15 years 7 months ago
2006
Springer
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
218
click to vote
CCR
2006
15 years 7 months ago
2006
Abstract-- The need for efficient computation of approximate global state lies at the heart of a wide range of problems in distributed systems. Examples include routing in the Inte...
195
click to vote
CJ
2006
15 years 7 months ago
2006
Aggregate signatures are a useful primitive which allows to aggregate into a single and constant-length signature many signatures on different messages computed by different users...