575 search results - page 58 / 115 » Model Checking Restricted Sets of Timed Paths |
109
click to vote
ETFA
2006
IEEE
15 years 3 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...
100
click to vote
SPAA
2003
ACM
15 years 5 months ago
2003
ACM
When using a shared memory multiprocessor, the programmer faces the selection of the portable programming model which will deliver the best performance. Even if he restricts his c...
205
click to vote
POPL
2004
ACM
16 years 5 days ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
182
click to vote
POPL
2004
ACM
16 years 5 days ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
129
click to vote
BTW
2005
Springer
15 years 5 months ago
2005
Springer
Abstract: Peer data management systems (PDMS) are the natural extension of integrated information systems. Conventionally, a single integrating system manages an integrated schema,...