15635 search results - page 2707 / 3127 » A Designing Model of XML-Dataweb |
160
click to vote
ESOP
1999
Springer
15 years 9 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
132
click to vote
DEXAW
1998
IEEE
15 years 9 months ago
1998
IEEE
Huge size and high complexity of legacy software are the main sources of today's software evolution problems. While we can ease software evolution with re-engineering tools, ...
123
click to vote
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper addresses some performance limits of the kneed and non-kneed passive-dynamic walking machines discovered by McGeer [10, 11]. Energetic inefficiency is measured by the s...
149
click to vote
PPDP
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
172
click to vote
ROBOCUP
1999
Springer
15 years 9 months ago
1999
Springer
Virtual RoboCup is a real-time 3D visualization tool for 2D simulated soccer games as played in the RoboCup simulation league. Players are modeled as anthropmorphic gures and anima...