1124 search results - page 76 / 225 » Refined quorum systems |
182
click to vote
EWSA
2004
Springer
15 years 11 months ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
164
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Much research in multi-agent systems reflects the field’s origins in classical artificial intelligence, showing how various refinements to the internal reasoning of individual a...
205
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
Dynamic load balancing(DLB) for parallel systems has been studied extensively; however, DLB for distributed systems is relatively new. To efficiently utilize computing resources p...
178
click to vote
DATE
2006
IEEE
16 years 10 days ago
2006
IEEE
The topic on platform-based system modeling has received a great deal of attention today. One of the important tasks that significantly affect the effectiveness and efficiency of ...
179
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...