Sciweavers

2106 search results - page 264 / 422
» Operational Semantics for MSC'96
Sort
View
184
Voted
SCP
2010
172views more  SCP 2010»
15 years 4 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
156
Voted
WEBDB
2000
Springer
128views Database» more  WEBDB 2000»
15 years 9 months ago
Architecting a Network Query Engine for Producing Partial Results
The growth of the Internet has made it possible to query data in all corners of the globe. This trend is being abetted by the emergence of standards for data representation, such ...
Jayavel Shanmugasundaram, Kristin Tufte, David J. ...
ICDCS
1995
IEEE
15 years 9 months ago
Maintaining Consistency of Data in Mobile Distributed Environments
To deal with the frequent, foreseeable and variable disconnections that occur in a mobile environment, we introduce a exible, two-level consistency model. Semantically related or ...
Evaggelia Pitoura, Bharat K. Bhargava
157
Voted
ECSCW
2003
15 years 7 months ago
Customizable Collaborative Editor Relying on treeOPT Algorithm
Research in collaborative editing tends to have been undertaken in isolation rather than as part of a general information or application infrastructure. Our goal is to develop a un...
Claudia-Lavinia Ignat, Moira C. Norrie
ISTA
2001
15 years 7 months ago
A Technique for Information System Integration
: Nowadays, a central topic in database science is the need of an integrated access to large amounts of data provided by various information sources whose contents are strictly rel...
Sergio Greco, Luigi Pontieri, Ester Zumpano