334 search results - page 31 / 67 » Timed Property Sequence Chart |
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
102
Voted
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
-We solve the problem of time-optimal network queue control: what are the input data rates that make network queue sizes converge to their ideal size in the least possible time aft...
89
Voted
FM
2008
Springer
15 years 2 months ago
2008
Springer
We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is ...
134
Voted
CRV
2005
IEEE
15 years 2 months ago
2005
IEEE
In this paper, we present an approach for video surveillance involving (a) moving object detection, (b) tracking and (c) normal/abnormal event recognition. The detection step uses...
83
Voted
COR
2007
15 years 20 days ago
2007
Minimizing Waiting Time Variance (WTV) is a job scheduling problem where we schedule a batch of n jobs, for servicing on a single resource, in such a way that the variance of thei...