Sciweavers

1884 search results - page 31 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
RTAS
1999
IEEE
14 years 1 months ago
MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
Ming Xiong, Krithi Ramamritham, Jayant R. Haritsa,...
NOTERE
2010
13 years 7 months ago
The Design of a Real-Time Event Manager Component
Abstract—We review the issues with the conception of realtime event based applications and propose an event manager component design. We start from the design proposed by the Rea...
Damien Masson, Serge Midonnet
DEXA
2003
Springer
134views Database» more  DEXA 2003»
14 years 2 months ago
Concurrent and Real-Time Update of Access Control Policies
Abstract. Access control policies are security policies that govern access to resources. Real-time update of access control policies, that is, updating policies while they are in e...
Indrakshi Ray, Tai Xin
IVA
2005
Springer
14 years 2 months ago
Hierarchical Motion Controllers for Real-Time Autonomous Virtual Humans
Abstract. Continuous and synchronized whole-body motions are essential for achieving believable autonomous virtual humans in interactive applications. We present a new motion contr...
Marcelo Kallmann, Stacy Marsella
CAV
2003
Springer
155views Hardware» more  CAV 2003»
14 years 15 days ago
An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
Marc Geilen