20126 search results - page 22 / 4026 » Timed Transition Systems |
142
Voted
ICFCA
2004
Springer
15 years 11 months ago
2004
Springer
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
134
Voted
APN
2001
Springer
15 years 10 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
219
click to vote
ECRTS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
214
click to vote
RTAS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
221
click to vote
SACMAT
2009
ACM
16 years 13 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...