121 search results - page 16 / 25 » The complexity of temporal logic over the reals |
110
click to vote
IANDC
2011
14 years 6 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
DEXAW
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...
102
click to vote
ECRTS
2008
IEEE
15 years 6 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
92
Voted
CDB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
110
click to vote
KR
2000
Springer
15 years 3 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...