1686 search results - page 179 / 338 » Higher Order Deforestation |
124
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives an...
150
click to vote
EVOW
2001
Springer
15 years 9 months ago
2001
Springer
Augmenting an existing network with additional links to achieve higher robustness and survivability plays an important role in network design. We consider the problem of augmenting...
143
click to vote
FASE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
167
click to vote
LSSC
2001
Springer
15 years 9 months ago
2001
Springer
A Boundary Integral Method (BIM) for simulation of foam formation and dynamics in viscous flows is presented. The main features of the numerical method are: Nonsingular contour in...
133
click to vote
OOIS
2001
Springer
15 years 9 months ago
2001
Springer
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...