Sciweavers

630 search results - page 100 / 126
» Stateful Aspects in JAsCo
Sort
View
ECAI
2004
Springer
14 years 1 months ago
Models of Behavior Deviations in Model-Based Systems
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
Peter Struss
ICWE
2004
Springer
14 years 29 days ago
Modeling User Input and Hypermedia Dynamics in Hera
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
Geert-Jan Houben, Flavius Frasincar, Peter Barna, ...
MMB
2004
Springer
124views Communications» more  MMB 2004»
14 years 29 days ago
A General Framework for Network Survivability Quantification
In this paper, we propose a general survivability quantification framework which is applicable to a wide range of system architectures, applications, failure/recovery behaviors, ...
Yun Liu, Kishor S. Trivedi
ECBS
2003
IEEE
91views Hardware» more  ECBS 2003»
14 years 27 days ago
Modeling and Building Reliable, Re-Useable Software
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...
Ferdinand Wagner, Peter Wolstenholme
IUI
2003
ACM
14 years 26 days ago
A virtual patient based on qualitative simulation
In this paper, we describe the development of a virtual human to be used for training applications in the field of cardiac emergencies. The system integrates AI techniques for sim...
Marc Cavazza, Altion Simo