4612 search results - page 674 / 923 » More Communications |
216
click to vote
ICSOC
2004
Springer
16 years 24 days ago
2004
Springer
In this paper, we present a solution to the problem of dynamically deploying grid service factories onto computing nodes running an implementation of the Open Grid Services Infras...
206
click to vote
ICWE
2004
Springer
16 years 24 days ago
2004
Springer
Abstract Loosely coupled services are gaining importance in many business domains. However, compared to OO-RPC middleware approaches, emerging technologies proposed to implement lo...
211
click to vote
IFIP
2004
Springer
16 years 24 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
195
click to vote
IFIP
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Reliable link quality prediction is an imperative for the efficient operation of mobile ad-hoc wireless networks (MANETs). In this paper it is shown that popular link qua...
267
click to vote
PARA
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...