891 search results - page 112 / 179 » Temporal Constraints: A Survey |
164
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
189
click to vote
PAAMS
2010
Springer
15 years 4 months ago
2010
Springer
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...
175
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
We consider a problem central in aerial visual surveillance applications { detection and tracking of small, independently moving objects in long and noisy video sequences. We dire...
163
click to vote
RTAS
2009
IEEE
16 years 27 days ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
180
click to vote
MIDDLEWARE
2007
Springer
16 years 9 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...