15888 search results - page 2740 / 3178 » Supporting human-intensive systems |
174
click to vote
AP2PC
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. The research in the paper is motivated by building a decentralized/P2P XML storage on top of a DHT (Distributed Hash Table). The storage must provide high data availabili...
163
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
The ability to create reliable and scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the major challenges that underlie Grid ...
191
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
In the past emotions have been dismissed as a distraction to the logical, scientific thought process. More recently however, the importance of emotion in human-like intelligence a...
187
click to vote
ATVA
2005
Springer
16 years 21 days ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
183
click to vote
BIRTHDAY
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...