32 search results - page 4 / 7 » A Model of Computation for MapReduce |
110
click to vote
ECOOPW
1999
Springer
15 years 5 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
ECOOPW
1998
Springer
15 years 5 months ago
1998
Springer
A reflective approach for modeling and implementing authorization systems is presented. The advantages of the combined use of computational reflection and authorization mechanisms...
110
click to vote
ECOOPW
1997
Springer
15 years 5 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
ECOOPW
1999
Springer
15 years 5 months ago
1999
Springer
This paper reports the results of a workshop held at ECOOP’99. The workshop was set up to find answers to questions fundamental to the definition of a semantics for the Unifie...
104
click to vote
ECOOPW
1994
Springer
15 years 5 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....