Sciweavers

545 search results - page 15 / 109
» Concepts and models for typing events for event-based system...
Sort
View
DSRT
2005
IEEE
14 years 2 months ago
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
Hessam S. Sarjoughian, Dongping Huang
ASM
2008
ASM
13 years 10 months ago
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
Jean-Charles Chaudemar, Charles Castel, Christel S...
EMSOFT
2005
Springer
14 years 2 months ago
From statecharts to ESP: programming with events, states and predicates for embedded systems
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
Vugranam C. Sreedhar, Maria-Cristina V. Marinescu
AIME
2001
Springer
14 years 1 months ago
Interface of Inference Models with Concept and Medical Record Models
Medical information systems and standards are increasingly based on principled models of at least three distinct sorts of information – patient data, concepts (terminology), and ...
Alan L. Rector, Peter D. Johnson, Samson W. Tu, Ch...
CIBCB
2006
IEEE
14 years 2 months ago
A Stochastic model to estimate the time taken for Protein-Ligand Docking
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
Preetam Ghosh, Samik Ghosh, Kalyan Basu, Sajal K. ...