Sciweavers

1724 search results - page 264 / 345
» Concurrency in the Data Warehouse
Sort
View
NGC
2001
Springer
116views Communications» more  NGC 2001»
15 years 10 months ago
Scalable IP Multicast Sender Access Control for Bi-directional Trees
Bi-directional shared tree is an efficient routing scheme for interactive multicast applications with multiple sources. Given the open-group IP multicast service model, it is impor...
Ning Wang, George Pavlou
EUROMICRO
1998
IEEE
15 years 10 months ago
Approaches for Scheduling of Triggered Transactions in Real-Time Active Database Systems
A real-time active database system (RTADBS) has to provide capabilities for timely trigger of timeconstrained transactions and at the same time to process them, concurrently with ...
Kam-yiu Lam, Tony S. H. Lee
ROBOCUP
1999
Springer
194views Robotics» more  ROBOCUP 1999»
15 years 10 months ago
Agilo RoboCuppers: RoboCup Team Description
This paper describes the Agilo RoboCuppers 1 – the RoboCup team of the image understanding group (FG BV) at the Technische Universit¨at M¨unchen. With a team of five Pioneer 1...
Thorsten Bandlow, Robert Hanek, Michael Klupsch, T...
DEXA
1998
Springer
90views Database» more  DEXA 1998»
15 years 10 months ago
On the Correctness of a Transaction Model for Mobile Computing
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...
Sanjay Kumar Madria, Bharat K. Bhargava
BIRTHDAY
2007
Springer
15 years 10 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch