5904 search results - page 449 / 1181 » Requirements for a Composition Language |
145
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
BUILD-IT is an up-and-running system putting at work highly intuitive, videobased interaction technology to support complex planning and configuration tasks. It makes state-of-the...
209
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
166
click to vote
SIGADA
1997
Springer
15 years 11 months ago
1997
Springer
All students attending the U.S. Air Force Academy are required to take an introductory course in computer science. Last year we transitioned to Ada in this course. In this paper w...
178
click to vote
ASPLOS
1994
ACM
15 years 11 months ago
1994
ACM
Despite improvements in network interfaces and software messaging layers, software communication overhead still dominates the hardware routing cost in most systems. In this study,...
180
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...