690 search results - page 107 / 138 » Testing Temporal Logic Properties in Distributed Systems |
101
click to vote
CJ
2004
15 years 9 days ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
125
click to vote
JSW
2007
15 years 10 days ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
95
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
97
Voted
ICDT
1999
ACM
15 years 4 months ago
1999
ACM
A large number of database index structures have been proposed over the last two decades, and little consensus has emerged regarding their relative e ectiveness. In order to empir...
139
click to vote
ICDCSW
2009
IEEE
15 years 7 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...