1833 search results - page 292 / 367 » Mechanized Verification with Sharing |
232
Voted
CLUSTER
2006
IEEE
15 years 8 months ago
2006
IEEE
The complexity of the cluster-based web service challenges the traditional approaches, which fail to guarantee the reliability and real-time performance required. In this paper, w...
136
click to vote
DBISP2P
2006
Springer
15 years 8 months ago
2006
Springer
Sharing of structured data in P2P overlays is a challenging problem, especially in the absence of a global schema. The nature of structured data stored in the overlay enforces stri...
151
click to vote
E4MAS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A reference architecture integrates a set of architectural patterns that have proven their value for a family of applications. Such family of applications is characterize...
127
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In recent times, the proliferation of spatial data on the Internet is beginning to allow a much larger audience to access and share data currently available in various Ge...
160
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...