Sciweavers

4044 search results - page 12 / 809
» The Evolution of a Distributed Operating System
Sort
View
146
Voted
CLUSTER
2003
IEEE
16 years 11 days ago
A Kernel Running in a DSM - Design Aspects of a Distributed Operating System
Ralph Göckelmann, Michael Schöttner, Ste...
POPL
2009
ACM
16 years 7 months ago
Verifying distributed systems: the operational approach
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
Tom Ridge
127
Voted
ICEIS
2007
IEEE
16 years 1 months ago
A Distributed Multi-Agent System to Solve Airline Operations Problems
Antonio J. M. Castro, Eugenio Oliveira