4666 search results - page 53 / 934 » Equations on Timed Languages |
LR
2011
13 years 1 months ago
2011
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...
ICFP
2001
ACM
14 years 10 months ago
2001
ACM
QUESTA
2006
13 years 10 months ago
2006
In this paper we study a single-server queue where the inter-arrival times and the service times depend on a common discrete time Markov Chain. This model generalizes the well-kno...
PE
2008
Springer
13 years 10 months ago
2008
Springer
We consider single-server and multi-server queues with deterministic reneging times motivated by the timeout mechanisms used in application servers.. A Volterra integral equation ...
CVPR
2004
IEEE
15 years 24 days ago
2004
IEEE
We model the dynamic geometry of a time-varying scene as a 3D isosurface in space-time. The intersection of the isosurface with planes of constant time yields the geometry at a si...