1221 search results - page 50 / 245 » A Comparison of Two Programming Models for Pervasive Computi... |
132
Voted
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
188
click to vote
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
This tutorial presents the definition, the models and the techniques of location privacy from the data privacy perspective. By reviewing and revising the state of art research in ...
137
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Candida albicans is a commonly encountered fungal pathogen in humans. The formation of biofilm is a major virulence factor in C. albicans pathogenesis and is related t...
169
click to vote
SIGCOMM
2003
ACM
15 years 8 months ago
2003
ACM
One of the key infrastructure components in all telecommunication networks, ranging from the telephone network, to VC-oriented data networks, to the Internet, is its signaling sys...
124
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...