3028 search results - page 201 / 606 » Integrating Temporal Logics |
184
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Negative Bias Temperature Instability (NBTI), a PMOS aging phenomenon causing significant loss on circuit performance and lifetime, has become a critical challenge for temporal re...
162
click to vote
FMSD
2002
15 years 7 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
175
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we study unsatisļ¬able queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system...
179
click to vote
SACMAT
2003
ACM
16 years 14 days ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBACā...
210
click to vote
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
āIn distributed real-time embedded systems (DRE), it is common to model an application as a set of task chains. Each chain is activated cyclically and must complete before an end...