3028 search results - page 151 / 606 » Integrating Temporal Logics |
150
click to vote
TIP
2010
15 years 3 months ago
2010
—There has recently been a great deal of interest in the development of algorithms that objectively measure the integrity of video signals. Since video signals are being delivere...
129
click to vote
BSN
2006
IEEE
15 years 10 months ago
2006
IEEE
Context-aware sensing is an integral part of the Body Sensor Network (BSN) design and it allows the understanding of intrinsic characteristics of the sensed signal and determinati...
118
click to vote
DEON
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
127
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we model each task ...
118
click to vote
TIME
2006
IEEE
15 years 10 months ago
2006
IEEE
An increasing number of documents in companies and other organizations are now only available electronically, and exist in several versions updated at different times. In order to...