5334 search results - page 864 / 1067 » Communicating quantum processes |
141
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
140
click to vote
CDVE
2007
Springer
15 years 11 months ago
2007
Springer
Analysis of existing ICT-based solutions for the education of long-term ill children reveal several weaknesses with respect to social and cooperative involvement, cost of developme...
144
click to vote
DAGM
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a novel multi-view camera system that produces real-time single view scene video which sees through the static objects to observe the dynamic objects. The syste...
126
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Privacy requirements have an increasing impact on the realization of modern applications. Technical considerations and many significant commercial and legal regulations ...
157
click to vote
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
We study the connectivity properties of a family of random graphs which closely model the Bluetooth’s device discovery process, where each device tries to connect to other device...