8141 search results - page 339 / 1629 » Higher Order Generalization |
189
click to vote
EVOW
2001
Springer
15 years 11 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...
179
click to vote
FASE
2001
Springer
15 years 11 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 ...
217
click to vote
LSSC
2001
Springer
15 years 11 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...
174
click to vote
OOIS
2001
Springer
15 years 11 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...
171
click to vote
PADO
2001
Springer
15 years 11 months ago
2001
Springer
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...