367 search results - page 33 / 74 » Executable Specifications for Real-Time Distributed Systems |
FTDCS
1997
IEEE
13 years 12 months ago
1997
IEEE
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...
TECS
2010
13 years 6 months ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...
BPSC
2010
13 years 6 months ago
2010
: Advanced business processes are mostly distributed and require highly flexible management capabilities. In such scenarios, process parts often leave their initiator’s direct sp...
FATES
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
ICS
2009
Tsinghua U.
14 years 8 days ago
2009
Tsinghua U.
ABSTRACT Because of technology advances power consumption has emerged up as an important design issue in modern high-performance microprocessors. As a consequence, research on redu...