1860 search results - page 139 / 372 » A Temporal Logic of Robustness |
90
Voted
ICCAD
2004
IEEE
15 years 9 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 ...
82
Voted
TIME
2006
IEEE
15 years 6 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...
120
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
108
click to vote
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
A new concurrent form of game semantics is introduced. This overcomes the problems which had arisen with previous, sequential forms of game semantics in modelling Linear Logic. It...
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...