1398 search results - page 12 / 280 » Ensuring Properties of Interaction Systems |
UPP
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
DIMEA
2008
13 years 9 months ago
2008
In this paper we present a system that facilitates virtual museum development and usage. The system is based on a game engine, ensuring thus minimal cost and good performance, and...
BIBE
2008
IEEE
14 years 1 months ago
2008
IEEE
-This paper builds a two dimensional Oculomotor Plant Mathematical Model (2DOPMM) that is capable of generating eye movement trace on a two dimensional plane. The key difference be...
WISE
2006
Springer
14 years 1 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
DC
2010
13 years 7 months ago
2010
We introduce a simple liveness property for shared object implementations that is gracefully degrading depending on the degree of synchrony in each run. This property, called adapt...