Sciweavers

2343 search results - page 276 / 469
» MedModel - Healthcare Simulation Software
Sort
View
FOSSACS
2003
Springer
15 years 8 months ago
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
Franck van Breugel, Michael W. Mislove, Joël ...
HYBRID
2003
Springer
15 years 8 months ago
On the Application of Hybrid Control to CPU Reservations
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
Luigi Palopoli, Luca Abeni, Giuseppe Lipari
104
Voted
ICCS
2003
Springer
15 years 8 months ago
DDEMA: A Data Driven Environment for Multiphysics Applications
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...
John Michopoulos, Panagiota Tsompanopoulou, Elias ...
147
Voted
EVOW
2010
Springer
15 years 8 months ago
Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs
Abstract. We analyze the convergence properties of our force based genetic algorithm(fga) as a decentralized topology control mechanism distributed among software agents. fga guide...
Cem Safak Sahin, Stephen Gundry, Elkin Urrea, M. &...
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
15 years 8 months ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...