827 search results - page 83 / 166 » Patterns for Timed Property Specifications |
139
click to vote
RTSS
2000
IEEE
15 years 6 months ago
2000
IEEE
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...
131
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents protocols and strategies for coalition formation with incomplete information under time constraints. It focuses on strategies for coalition members to distribu...
111
Voted
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract-- A network of nodes communicate via noisy channels. Each node has some real-valued initial measurement or message. The goal of each of the nodes is to acquire an estimate...
214
click to vote
POPL
2010
ACM
16 years 20 days ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
122
click to vote
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. There is considerable interest in techniques capable of identifying anomalies and unusual events in busy outdoor scenes, e.g. road junctions. Many approaches achieve this...