1980 search results - page 129 / 396 » Compositional Model Checking of Real Time Systems |
211
click to vote
ICDCS
2012
IEEE
13 years 4 months ago
2012
IEEE
Abstract—In this paper we have proposed and designed FindingHuMo (Finding Human Motion), a real-time user tracking system for Smart Environments. FindingHuMo can perform device-f...
102
click to vote
FORTE
1990
15 years 2 months ago
1990
A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...
118
click to vote
PAMI
2006
15 years 1 months ago
2006
We propose an HMM model for contour detection based on multiple visual cues in spatial domain and improve it by joint probabilistic matching to reduce background clutter. It is fu...
105
click to vote
DATE
2000
IEEE
15 years 6 months ago
2000
IEEE
The composite signal flow model of computation targets systems with significant control and data processing parts. It builds on the data flow and synchronous data flow models ...
125
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...