Sciweavers

1206 search results - page 215 / 242
» Concurrent Abstract Predicates
Sort
View
VLDB
1999
ACM
131views Database» more  VLDB 1999»
15 years 4 months ago
High-Performance Extensible Indexing
Today’s object-relational DBMSs (ORDBMSs) are designed to support novel application domains by providing an extensible architecture, supplemented by domain-specific database ex...
Marcel Kornacker
121
Voted
AGP
1996
IEEE
15 years 4 months ago
Modular Analysis of Suspension Free cc Programs
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
Enea Zaffanella
97
Voted
EWHCI
1993
15 years 4 months ago
The MSM Framework: A Design Space for Multi-Sensori-Motor Systems
One of the new design goals in Human Computer Interaction is to extend the sensory-motor capabilities of computer systems to better match the natural communication means of human b...
Joëlle Coutaz, Laurence Nigay, Daniel Salber
158
Voted
GPC
2010
Springer
15 years 4 months ago
Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
Wei-Jen Wang, Carlos A. Varela, Fu-Hau Hsu, Cheng-...
109
Voted
BIRTHDAY
2007
Springer
15 years 4 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