Sciweavers

194 search results - page 5 / 39
» A Model for Temporal Interval Authorizations
Sort
View
STACS
2010
Springer
14 years 22 days ago
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
Angelo Montanari, Pietro Sala, Guido Sciavicco
CLIMA
2007
13 years 9 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas
WILF
2005
Springer
96views Fuzzy Logic» more  WILF 2005»
14 years 1 months ago
Imprecise Temporal Interval Relations
Abstract. When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper we propose a representation for 13 relation...
Steven Schockaert, Martine De Cock, Etienne E. Ker...
WSC
2004
13 years 9 months ago
Exploiting Temporal Uncertainty in Process-Oriented Distributed Simulations
Existing research has defined a new type of simulation time called Approximate Time, where the simulation's knowledge about the values that represent time is uncertain. The a...
Margaret L. Loper, Richard M. Fujimoto
ESORICS
2007
Springer
14 years 1 months ago
Incorporating Temporal Capabilities in Existing Key Management Schemes
The problem of key management in access hierarchies studies ways to assign keys to users and classes such that each user, after receiving her secret key(s), is able to independentl...
Mikhail J. Atallah, Marina Blanton, Keith B. Frikk...