1364 search results - page 171 / 273 » Comparative Branching-Time Semantics |
123
click to vote
CSCW
1992
ACM
15 years 7 months ago
1992
ACM
Our work focuses on providing computational support for informal communication among people who are geographically separated. To better understand the use of artifacts in communic...
138
click to vote
SIGSOFT
1993
ACM
15 years 7 months ago
1993
ACM
The software architecture of most systems is described informally and diagrammatically. In order for these descriptions to be meaningful at all, gures are understood by interpreti...
123
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
121
click to vote
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
161
click to vote
PPOPP
1991
ACM
15 years 7 months ago
1991
ACM
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...