Sciweavers

29172 search results - page 241 / 5835
» Modeling Systems in CLP
Sort
View
ATC
2006
Springer
15 years 10 months ago
Multi-level Model-Based Self-diagnosis of Distributed Object-Oriented Systems
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...
A. Reza Haydarlou, Benno J. Overeinder, Michel A. ...
WSC
1996
15 years 8 months ago
Modeling issues in a shipping system
We describe the application of simulation and statistical analyses to the improvement of a shipping and distribution system supporting a component-fabrication plant and two automo...
Edward J. Williams, Susan Khoubyari
WCE
2007
15 years 7 months ago
Modelling of Reciprocal Transducer System Accounting for Nonlinear Constitutive Relations
—The dynamics of reciprocal transducer systems is modelled accounting for a nonlinear constitutive relation between the electric displacement and the electric field as reported ...
Linxiang X. Wang, Morten Willatzen, Roderick V. N....
ICSE
2009
IEEE-ACM
16 years 1 months ago
Taming Dynamically Adaptive Systems using models and aspects
Since software systems need to be continuously available under varying conditions, their ability to evolve at runtime is increasingly seen as one key issue. Modern programming fra...
Brice Morin, Olivier Barais, Grégory Nain, ...
IRI
2006
IEEE
16 years 19 days ago
Applying the layered decision model to the design of language-based security systems
Safeguarding practices for networked systems involves decisions in at least three areas: identification of welldefined security policies, selection of cost-effective defense strat...
Huaqiang Wei, Jim Alves-Foss