12193 search results - page 354 / 2439 » It's not all about |
163
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe CSAR, a novel technique for generating cryptographically strong, accountable randomness. Using CSAR, we can generate a pseudo-random sequence and a proof that the elem...
174
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
159
click to vote
AICT
2007
IEEE
16 years 1 months ago
2007
IEEE
—The topic of policy-based management is introduced. Its specific application by the ACCENT project to call control is then discussed. The APPEL policy language supports regular ...
183
click to vote
CONCUR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
169
click to vote
CONTEXT
2007
Springer
16 years 28 days ago
2007
Springer
Ambient intelligent systems are context aware by perceiving and reasoning about their environment, they perceive the needs of their users and proactively respond to these needs by ...