7557 search results - page 700 / 1512 » Modeling Timed Concurrent Systems |
192
click to vote
APN
2006
Springer
15 years 11 months ago
2006
Springer
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study value semantics of nested nets rather than reference semantics, and apply nested ne...
152
click to vote
WSC
2008
15 years 9 months ago
2008
Managing healthcare delivery systems plays an important role for healthcare providers in order to have high quality service performances. Inpatient pharmacy delivery systems are o...
185
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— A design scheme of the finite-time tracking controller is given for a general class of nonholonomic systems including extended chained systems, extended power systems,...
180
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
The bottle-neck in most cloth simulation systems is that time steps must be small to avoid numerical instability. This paper describes a cloth simulation system that can stably ta...
173
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...