8278 search results - page 265 / 1656 » Context-Aware Process Networks |
147
click to vote
ASIAN
2005
Springer
16 years 5 days ago
2005
Springer
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...
184
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we report on a user-centered, iterative design process for augmenting sports equipment with ubiquitous computing technology. In several design iterations, a fully w...
167
Voted
ENTCS
2007
15 years 6 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
194
click to vote
NC
2010
15 years 1 months ago
2010
We analyze how measured quantum dynamical systems store and process information, introducing sofic quantum dynamical systems. Using recently introduced information-theoretic measur...
145
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...