16725 search results - page 3331 / 3345 » Engineering Software Correctness |
JUCS
2000
13 years 9 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
CORR
1998
Springer
13 years 9 months ago
1998
Springer
This paper presents a method for analyzing the survivability of distributed network systems and an example of its application. Survivability is the capability of a system to fulfi...
TAPOS
1998
13 years 9 months ago
1998
Large object-oriented systems have, at least, four characteristics that complicate object communication, i.e the system is distributed and contains large numbers, e.g. thousands, ...
WINET
2002
13 years 9 months ago
2002
In the near future, we will see dramatic changes in computing and networking hardware. A large number of devices (e.g., phones, PDAs, even small household appliances) will become c...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
—Autonomous wireless agents such as unmanned aerial vehicles, mobile base stations, or self-operating wireless nodes present a great potential for deployment in next-generation w...