Sciweavers

2067 search results - page 228 / 414
» Modeling and Simulation of Operating System Behavior
Sort
View
SEFM
2005
IEEE
15 years 3 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
78
Voted
RTAS
2002
IEEE
15 years 3 months ago
Achieving End-to-end Predictability in the TAO Real-time CORBA ORB
End-to-end predictability of operations is essential for many fixed-priority distributed real-time and embedded (DRE) applications, such as command and control systems, manufactu...
Irfan Pyarali, Douglas C. Schmidt, Ron Cytron
SIGADA
2007
Springer
15 years 4 months ago
AADL modeling and analysis of hierarchical schedulers
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
Frank Singhoff, Alain Plantec
EVOW
2009
Springer
14 years 7 months ago
Evolutionary Approaches for Strain Optimization Using Dynamic Models under a Metabolic Engineering Perspective
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
Pedro Evangelista, Isabel Rocha, Eugénio C....
CERA
2004
93views more  CERA 2004»
14 years 10 months ago
Virtual-Build-to-Order as a Mass Customization Order Fulfilment Model
: Virtual-build-to-order (VBTO) is a form of order fulfilment system in which the producer has the ability to search across the entire pipeline of finished stock, products in produ...
Philip G. Brabazon, Bart L. MacCarthy