384 search results - page 17 / 77 » Formal Development of Reactive Fault Tolerant Systems |
CSSE
2002
IEEE
13 years 7 months ago
2002
IEEE
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
Service-orientation has been proposed as a way of facilitating the development and integration of increasingly complex and heterogeneous system components. However, there are many...
FORTEST
2008
13 years 9 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
IPPS
2000
IEEE
14 years 1 days ago
2000
IEEE
For economic reasons, a new trend in the development of distributed hard real-time systems is to rely on the use of CommercialO -The-Shelf cots hardware and operating systems. As...
DAIS
2006
13 years 9 months ago
2006
Dynamic resource management is a crucial part of the infrastructure for emerging mission-critical distributed real-time embedded system. Because of this, the resource manager must ...