14360 search results - page 208 / 2872 » Time Modeling in MARTE |
ICCSA
2003
Springer
14 years 3 months ago
2003
Springer
It is necessary to have the precise definition of available performance of high availability systems that can represent the availability and performability of the systems altogethe...
TOG
2008
13 years 10 months ago
2008
In this paper we present an approach to enrich skeleton-driven animations with physically-based secondary deformation in real time. To achieve this goal, we propose a novel, surfa...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Routing games are used to to understand the impact of individual users’ decisions on network efficiency. Most prior work on routing games uses a simplified model of network fl...
SPIN
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
IOT
2010
13 years 7 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...