693 search results - page 107 / 139 » A Basic Unit of Computation in Distributed Systems |
137
Voted
ICDCS
2009
IEEE
16 years 23 days 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...
153
Voted
EAGC
2004
Springer
15 years 9 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...
119
Voted
ICPADS
2007
IEEE
15 years 10 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...
145
Voted
FM
2006
Springer
15 years 7 months 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...
172
Voted
AAMAS
2010
Springer
15 years 3 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...