1268 search results - page 83 / 254 » Verifying distributed systems: the operational approach |
136
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
Selecting a region of interest (ROI) within unsegmented volume data is one of the fundamental operations in volume data processing and analysis, yet it is difficult to perform the...
166
click to vote
SIGMETRICS
2005
ACM
15 years 11 months ago
2005
ACM
Statistical information about the flow sizes in the traffic passing through a network link helps a network operator to characterize network resource usage, infer traffic demands,...
164
click to vote
CONCUR
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
177
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...
121
click to vote
HPCC
2005
Springer
15 years 11 months ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...