11016 search results - page 702 / 2204 » Cloud Computing for Science |
164
click to vote
CSR
2010
Springer
16 years 7 days ago
2010
Springer
In this paper, we study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In this framework each player aims at reaching...
143
click to vote
GI
2009
Springer
16 years 1 days ago
2009
Springer
: Today, mobile phones are becoming an essential device in our daily life, and carried comfortably and regularly by a huge percentage of population. In this note, we propose an app...
184
click to vote
ERSHOV
2001
Springer
15 years 12 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
194
click to vote
GI
2001
Springer
15 years 12 months ago
2001
Springer
: The paper describes an architecture allowing Mobile IP hosts to access to a virtual private network that is protected by a firewall from the public Internet. The implementation b...
140
click to vote
GI
2001
Springer
15 years 12 months ago
2001
Springer
To ensure the deployment of reusable and reliable components, it is important to verify their functionality. In this paper, we present a framework for component testing, an extens...