1980 search results - page 121 / 396 » Compositional Model Checking of Real Time Systems |
129
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
—The paper proposes a framework for modeling and analysis of the dynamics of supply, demand, and clearing prices in power system with real-time retail pricing and information asy...
147
click to vote
JTRES
2009
ACM
15 years 8 months ago
2009
ACM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...
109
Voted
AUSAI
2004
Springer
15 years 7 months ago
2004
Springer
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
104
Voted
CORR
2010
Springer
15 years 9 days ago
2010
Springer
—We study the problem of scheduling periodic real-time tasks which have individual minimum reward requirements. We consider situations where tasks generate jobs that can be provi...
111
Voted
RTSS
1993
IEEE
15 years 5 months ago
1993
IEEE
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...