827 search results - page 112 / 166 » Patterns for Timed Property Specifications |
165
click to vote
CORR
2009
Springer
15 years 29 days ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
141
click to vote
SIAMCOMP
1998
15 years 2 months ago
1998
Abstract. String matching is rich with a variety of algorithmic tools. In contrast, multidimensional matching has had a rather sparse set of techniques. This paper presents a new a...
132
click to vote
ICPPW
2005
IEEE
15 years 8 months ago
2005
IEEE
Energy constraints in a wireless sensor network are crucial issues criticallyaffectingthe network lifetime and connectivity. To realize true energysavingin a wireless environment,t...
141
click to vote
EACL
1993
ACL Anthology
15 years 4 months ago
1993
ACL Anthology
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
122
click to vote
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
Embodying robot morphologies evolved in simulation can present serious problems for an engineer when translating simplified simulated mechanisms into working devices, often drawing...