Sciweavers

1745 search results - page 144 / 349
» A Context-Based Model of Attention
Sort
View
STACS
2010
Springer
14 years 3 months 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
PCI
2009
Springer
14 years 3 months ago
A Foundation for Defining Security Requirements in Grid Computing
—Despite the wide adoption by the scientific community, grid technologies have not been given the appropriate attention by enterprises. This is merely due to the lack of enough s...
Antonios Gouglidis, Ioannis Mavridis
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
14 years 3 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
CA
1999
IEEE
14 years 3 months ago
A Behavioral Interface to Simulate Agent-Object Interactions in Real-Time
This paper shows a new approach to model and control interactive objects for simulations with virtual human agents when real time interactivity is essential. A general conceptuali...
Marcelo Kallmann, Daniel Thalmann
PADS
1998
ACM
14 years 2 months ago
Synchronized Data Distribution Management in Distributed Simulations
A considerable amount of effort in the DIS community has been devoted to developing efficient, scaleable, mechanisms for distributing state updates and interaction information in ...
Ivan Tacic, Richard Fujimoto