693 search results - page 107 / 139 » A Basic Unit of Computation in Distributed Systems |
ICDCS
2009
IEEE
14 years 5 months ago
2009
IEEE
Vehicular networks are emerging as a new distributed system environment with myriad possible applications. Most studies on vehicular networks are carried out via simulation, given...
EAGC
2004
Springer
14 years 2 months ago
2004
Springer
Metadata management is critical for Grid systems. More specifically, semantically meaningful resource descriptions constitute a highly beneficial extension to Grid environments t...
ICPADS
2007
IEEE
14 years 3 months ago
2007
IEEE
The Katsevich image reconstruction algorithm is the first theoretically exact cone beam image reconstruction algorithm for a helical scanning path in computed tomography (CT). Ho...
FM
2006
Springer
14 years 11 days ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
AAMAS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract The advent of large-scale distributed systems poses unique engineering challenges. In open systems such as the internet it is not possible to prescribe the behaviour of al...