5357 search results - page 922 / 1072 » River Information Services |
182
click to vote
DSVIS
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
200
click to vote
EDO
2005
Springer
16 years 20 days ago
2005
Springer
Publish/subscribe infrastructures are used as the basic communication and integration framework in many application domains. The majority of those infrastructures, however, fall s...
164
click to vote
EMSOFT
2005
Springer
16 years 20 days ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
189
click to vote
EPIA
2005
Springer
16 years 20 days ago
2005
Springer
Space applications’ users have been relying for the past decades on custom developed software tools capable of addressing short term necessities during critical Spacecraft contro...
188
click to vote
EUROPAR
2005
Springer
16 years 20 days ago
2005
Springer
Availability and performance can be improved using data replication as the basic technique, thus benefitting the services provided by a distributed system. However, replication im...