1604 search results - page 233 / 321 » Development Separation in Lambda-Calculus |
88
Voted
IAAI
2001
15 years 2 months ago
2001
For the last 10 years, airlines have widely supported research on the development of airspaces where aircraft would be free to decide their trajectory: these areas where called Fr...
87
Voted
ECIS
2003
15 years 2 months ago
2003
Today, companies and their information systems are facing a very dynamic and fast changing environment. Fast changing demands require varying information in varying places. Users ...
101
Voted
VMV
2001
15 years 2 months ago
2001
This paper presents an application for semiautomatic repositioning of bone fractures that allows the merging of several fragments. This application has been developed with regard ...
154
Voted
WEBNET
2001
15 years 2 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
WICSA
2004
15 years 2 months ago
2004
Distributed applications that lack a central, trustworthy authority for control and validation are properly termed decentralized. Multiple, independent agencies, or "partners...