113 search results - page 3 / 23 » Compositional Abstraction of PEPA Models for Transient Analy... |
TAMODIA
2008
13 years 7 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
WISES
2003
13 years 7 months ago
2003
Abstract — Since sensor/actuator networks are to be used in error-prone environments, it is required that media access protocols for such networks are tolerant to failures. Field...
IEEECIT
2005
IEEE
13 years 12 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
ISORC
2008
IEEE
14 years 21 days ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
TIM
2010
13 years 1 months ago
2010
Abstract--This paper focuses on the errors affecting the estimation of power switching losses in power semiconductor devices based on integration of the voltage by current product....