7683 search results - page 1284 / 1537 » Distributed Computing with the CLAN Network |
142
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The advent of the Semantic Web necessitates paradigm shifts away from centralized client/server architectures towards decentralization and peer-to-peer computation, making the exi...
151
Voted
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
242
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
Given a transportation network, a vulnerable population, and a set of destinations, evacuation route planning identifies routes to minimize the time to evacuate the vulnerable pop...
170
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
—One of the critical challenges for service oriented computing systems is the capability to guarantee scalable and reliable service provision. This paper presents Reliable GeoGri...
138
click to vote
ICDT
2010
ACM
16 years 2 months ago
2010
ACM
Sources of data uncertainty and imprecision are numerous. A way to handle this uncertainty is to associate probabilistic annotations to data. Many such probabilistic database mode...