3937 search results - page 412 / 788 » Questioning Ubiquitous Computing |
144
click to vote
LICS
2006
IEEE
16 years 14 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
152
click to vote
LAWEB
2005
IEEE
16 years 1 days ago
2005
IEEE
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
140
click to vote
STORAGESS
2005
ACM
16 years 18 hour ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...
150
click to vote
TAPIA
2005
ACM
16 years 18 hour ago
2005
ACM
As useful as performance counters are, the meaning of reported aggregate event counts is sometimes questionable. Questions arise due to unanticipated processor behavior, overhead ...
160
Voted
CONCUR
2005
Springer
16 years 4 hour ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...