2268 search results - page 234 / 454 » The Essence of Form Abstraction |
137
Voted
SIGOPSE
1992
ACM
15 years 6 months ago
1992
ACM
Abstract-- This paper describes the design and implementation1 of IRIS: an intentional resource indicator service. IRIS springs from the concept that end-users should not be bogged...
128
Voted
KI
1990
Springer
15 years 5 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
122
click to vote
HOPL
2007
15 years 5 months ago
2007
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980...
126
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
124
click to vote
DIAGRAMS
2006
Springer
15 years 5 months ago
2006
Springer
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...