1624 search results - page 88 / 325 » Modelling Variability for System Families |
FMCO
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
ICECCS
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
MEDINFO
2007
13 years 11 months ago
2007
Large-scale implementation of electronic prescribing systems (e-PS) is likely to introduce at least some machinerelated errors that will harm patients. We present a dynamic system...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract-- This paper focuses on the identification of nonlinear hybrid systems involving unknown nonlinear dynamics. The proposed method extends the framework of [1] by introducin...
CIBCB
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...