Sciweavers

4385 search results - page 127 / 877
» Abstraction for Concurrent Objects
Sort
View
CSCW
2000
ACM
15 years 3 months ago
Copies convergence in a distributed real-time collaborative environment
In realāˆ’time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as opāˆ...
Nicolas Vidot, Michèle Cart, Jean Ferri&eac...
RULES
1993
Springer
133views Database» more  RULES 1993»
15 years 3 months ago
Activities in Object Bases
Objects are collected into an object base because of a presumed need for cooperation among them. In classical object bases the cooperation is based on synchronous, preplanned mess...
Peter C. Lockemann, Hans-Dirk Walter
FMOODS
2007
15 years 17 days ago
Pict Correctness Revisited
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
Philippe Bidinger, Adriana B. Compagnoni
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 5 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnershipā€ 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 ā€œModel Transformation: Foundationsā€ Algebraic models for bidirectional m...
Jeffrey Kramer
WOA
2010
14 years 9 months ago
Developing Web Client Applications with JaCa-Web
Abstract--We believe that agent-oriented programming languages and multi-agent programming technologies provide an effective level of abstraction for tackling the design and progra...
Mattia Minotti, Andrea Santi, Alessandro Ricci