102 search results - page 16 / 21 » Verifying space and time requirements for resource-bounded a... |
124
click to vote
AAAI
2000
15 years 1 months ago
2000
Given a model of a physical process and a sequence of commands and observations received over time, the task of an autonomous controller is to determine the likely states of the p...
112
Voted
ATAL
2010
Springer
14 years 7 months ago
2010
Springer
The Affine ADD (AADD) is an extension of the Algebraic Decision Diagram (ADD) that compactly represents context-specific, additive and multiplicative structure in functions from a...
142
click to vote
ISCA
2011
IEEE
14 years 4 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
PERVASIVE
2010
Springer
15 years 2 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
100
Voted
AOSD
2009
ACM
15 years 2 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...