2138 search results - page 367 / 428 » Logical Step-Indexed Logical Relations |
146
click to vote
NCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
160
click to vote
SECON
2007
IEEE
15 years 10 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
117
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
134
click to vote
CCS
2007
ACM
15 years 10 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, ...
116
click to vote
HOLOMAS
2007
Springer
15 years 10 months ago
2007
Springer
An approach to extend process monitoring with the help of information agents (IA) handling semantic data is presented in this paper. According to this approach, an operator of a pr...