6308 search results - page 137 / 1262 » Modeling Urgency in Timed Systems |
ECOOP
2006
Springer
14 years 12 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLD...
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
SEBD
2003
14 years 11 months ago
2003
Abstract. In this paper, we present the preliminary results of an ongoing research activity concerning the temporal management of normative texts in XML format. In particular, four...
IPPS
2010
IEEE
14 years 8 months ago
2010
IEEE
The automatic allocation of enterprise workload to resources can be enhanced by being able to make `whatif' response time predictions, whilst different allocations are being c...