Sciweavers

29143 search results - page 179 / 5829
» A Sortation System Model
Sort
View
APN
2004
Springer
15 years 11 months ago
Petri Net Based Model Validation in Systems Biology
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
Monika Heiner, Ina Koch
ICCS
2005
Springer
15 years 12 months ago
Dynamic Data Driven Methodologies for Multiphysics System Modeling and Simulation
We are presenting a progress overview associated with our work on a data-driven environment for multiphysics applications (DDEMA). In this paper, we emphasize the dynamic-data-driv...
John Michopoulos, Charbel Farhat, Elias N. Houstis...
LCN
2003
IEEE
15 years 11 months ago
A Worst-Case Model for Co-Channel Interference in the Bluetooth Wireless System
This paper presents a model for the expected throughput in a Bluetooth network in presence of a number of other Bluetooth networks that cause radio interference. The analysis cons...
Simon Baatz, Matthias Frank, Peter Martini, Christ...
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 11 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
DMSN
2009
ACM
16 years 28 days ago
Message models and aggregation in knowledge based middleware for rich sensor systems
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...
Joseph B. Kopena, William C. Regli, Boon Thau Loo