18924 search results - page 31 / 3785 » Conformance of Distributed Systems |
IWPC
1996
IEEE
14 years 27 days ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...
JSS
2006
13 years 8 months ago
2006
When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also im...
FIDJI
2003
Springer
14 years 1 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
FORTE
2004
13 years 10 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
EUROMICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
MANET environments suffer from changing connectivity conditions and radio contention among stations that conform it. Despite the several on-going endeavors, no simple and effectiv...