Sciweavers

8190 search results - page 275 / 1638
» From Timed to Hybrid Systems
Sort
View
LDTA
2010
15 years 6 months ago
Embedding a web-based workflow management system in a functional language
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. ...
IAAI
2003
15 years 8 months ago
A Probabilistic Vehicle Diagnostic System Using Multiple Models
In addition to being accurate, it is important that diagnostic systems for use in automobiles also have low development and hardware costs. Model-based methods have shown promise ...
Matthew L. Schwall, J. Christian Gerdes, Bernard B...
ECRTS
2006
IEEE
16 years 23 days ago
On a Theory of Media Processing Systems Behavior, with Applications
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...
M. A. Weffers-Albu, Johan J. Lukkien, Elisabet F. ...
ISORC
2000
IEEE
15 years 11 months ago
Experimentation in CPU Control with Real-Time Java
This paper describes experiences in using an O.O. language (Java) in designing, prototyping and evaluating a CPU manager. QoS Animator facilitates the execution of object oriented...
Gerasimos Xydas, Jerome Tassel
APCCM
2009
15 years 7 months ago
Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
Andreas Schäfer, Mathias John