12452 search results - page 2471 / 2491 » An exploration of program as language |
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
A broad spectrum of data is available on the Web in distinct heterogeneous sources, and stored under different formats. As the number of systems that utilize this heterogeneous da...
ECBS
1996
IEEE
15 years 1 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
107
click to vote
ZUM
1997
Springer
15 years 1 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
ISER
1993
Springer
15 years 1 months ago
1993
Springer
The interaction of an autonomous mobile robot with the real world critically depends on the robots morphology and on its environment. Building a model of these aspects is extremel...
102
click to vote
SIGGRAPH
1993
ACM
15 years 1 months ago
1993
ACM
The most expensive geometric operation in image synthesis is visibility determination. Classically this is solved with hidden surface removal algorithms that render only the parts...