Sciweavers

2902 search results - page 174 / 581
» Simple Local Models for Complex Dynamical Systems
Sort
View
TSMC
2008
113views more  TSMC 2008»
15 years 4 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
RTSS
2000
IEEE
15 years 8 months ago
Efficient Scheduling of Sporadic, Aperiodic, and Periodic Tasks with Complex Constraints
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...
Damir Isovic, Gerhard Fohler
254
Voted
OTM
2005
Springer
15 years 10 months ago
A Framework Supporting Dynamic Workflow Interoperation
In this paper, we propose a framework supporting dynamic interoperation between heterogeneous workflow systems and workflow-based dynamic Enterprise Application Integration (EAI)....
Jaeyong Shim, Myungjae Kwak, Dongsoo Han
ICARIS
2004
Springer
15 years 10 months ago
Immunity Through Swarms: Agent-Based Simulations of the Human Immune System
Abstract. We present a swarm-based, 3-dimensional model of the human immune system and its response to first and second viral antigen exposure. Our model utilizes a decentralized ...
Christian Jacob, Julius Litorco, Leo Lee
DSD
2010
IEEE
110views Hardware» more  DSD 2010»
15 years 5 months ago
A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour
—The design of new embedded systems is getting more and more complex as more functionality is integrated into these systems. To deal with the design complexity, a predictable des...
Sander Stuijk, Marc Geilen, Twan Basten