1938 search results - page 219 / 388 » Dependable Software |
E4MAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Whenever a multiagent system is designed, many dependencies in the system are identified and must be solved in a correct way. Coordination deals with the management of s...
EUC
2005
Springer
14 years 2 months ago
2005
Springer
Smart spaces are open complex computing systems, consisting of a large variety of cooperative smart things. Central to building smart spaces is the support for sophisticated coordi...
ECOOP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
FPL
2004
Springer
14 years 2 months ago
2004
Springer
The proteins in living organisms perform almost every significant function that governs life. A protein's functionality depends upon its physical structure, which depends on i...
CC
2003
Springer
14 years 2 months ago
2003
Springer
Cache memories were invented to decouple fast processors from slow memories. However, this decoupling is only partial, and many researchers have attempted to improve cache use by p...