Sciweavers

2135 search results - page 198 / 427
» An Operational Semantics for JavaScript
Sort
View
SCP
2010
172views more  SCP 2010»
15 years 23 days 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
WEBDB
2000
Springer
128views Database» more  WEBDB 2000»
15 years 6 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. ...
ICDE
1997
IEEE
114views Database» more  ICDE 1997»
16 years 3 months ago
Modeling Multidimensional Databases
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
Rakesh Agrawal, Ashish Gupta, Sunita Sarawagi
HOTOS
1999
IEEE
15 years 6 months ago
The Box: A Replacement for Files
The file is a well-understood and very simple abstraction, which has been successfully used in both centralized and distributed systems. However, files are not expressive enough t...
Francisco J. Ballesteros, Sergio Arévalo
ICDCS
1995
IEEE
15 years 6 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