27 search results - page 6 / 6 » Runtime Monitoring of Metric First-order Temporal Properties |
AEI
2010
13 years 5 months ago
2010
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...
ICDCSW
2009
IEEE
13 years 11 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 ...