9702 search results - page 1764 / 1941 » Communicating Mobile Processes |
147
click to vote
CC
2007
Springer
16 years 18 days ago
2007
Springer
To achieve high resource utilization for multi-issue Digital Signal Processors (DSPs), production compilers commonly include variants of the iterative modulo scheduling algorithm. ...
168
click to vote
CCS
2007
ACM
16 years 18 days 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, ...
168
click to vote
DAGM
2007
Springer
16 years 18 days 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...
149
click to vote
ESORICS
2007
Springer
16 years 18 days 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 ...
182
click to vote
EUROPAR
2007
Springer
16 years 18 days 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...