6308 search results - page 220 / 1262 » Modeling Urgency in Timed Systems |
119
Voted
FASE
2001
Springer
15 years 9 months ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
125
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
A new method for computation of timing jitter in a PLL is proposed. The computational method is based on the representation of the circuit as a linear time-varying system with mod...
157
Voted
CODES
1999
IEEE
15 years 9 months ago
1999
IEEE
raction levels of communication models to allow designers to trade off between performance and accuracy. Contrary to [2][3], we present an optimization method which preserves the a...
198
click to vote
UMC
2000
15 years 8 months ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
146
Voted
SI3D
1995
ACM
15 years 8 months ago
1995
ACM
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...