2012 search results - page 344 / 403 » CORAL - Control, Relations and Logic |
144
click to vote
LICS
2007
IEEE
16 years 14 days ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
170
click to vote
NCA
2007
IEEE
16 years 14 days 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...
186
click to vote
SECON
2007
IEEE
16 years 14 days 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...
143
click to vote
CAV
2007
Springer
16 years 11 days 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...
133
click to vote
HOLOMAS
2007
Springer
16 years 11 days 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...