5064 search results - page 405 / 1013 » Recent Developments in Gridsolve |
145
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
Efficient coordination among large numbers of heterogeneous agents promises to revolutionize the way in which some complex tasks, such as responding to urban disasters can be perf...
151
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...
176
click to vote
CD
2005
Springer
16 years 8 days ago
2005
Springer
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall a...
249
click to vote
CHARME
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
161
click to vote
CIKM
2005
Springer
16 years 8 days ago
2005
Springer
In multi-relational databases, a view, which is a context- and content-dependent subset of one or more tables (or other views), is often used to preserve privacy by hiding sensiti...