45 search results - page 8 / 9 » asm 2008 |
140
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
— As each of us perceives and conceptualizes the same world differently, imposing a single global schema for all users can seriously interfere with individual work and lead to er...
128
click to vote
HASKELL
2008
ACM
15 years 6 months ago
2008
ACM
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
137
click to vote
FAC
2008
15 years 5 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
138
Voted
FORTE
2008
15 years 6 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
124
click to vote
ENTCS
2008
15 years 5 months ago
2008
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...