3387 search results - page 413 / 678 » Model-Checking for Real-Time Systems |
190
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
215
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
287
Voted
FMOODS
2008
15 years 9 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
218
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider a resource synthesis technique for realtime systems where dynamic voltage scaling is supported, the energy budget is limited, and the performance of the system depends...
192
Voted
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper tackles the problem of defining an appropriate access control model for multi-user systems providing adaptive resource reservations to unprivileged users. Security req...