2890 search results - page 537 / 578 » A Multi-agent Model to Develop Knowledge Management Systems |
TLDI
2003
ACM
15 years 3 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
DAWAK
2001
Springer
15 years 2 months ago
2001
Springer
We present a framework for visualizing remote distributed data sources using a multi-user immersive virtual reality environment. DIVE-ON is a system prototype that consolidates dis...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and con...
IFIP13
2004
14 years 11 months ago
2004
: Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of t...
MIDDLEWARE
2005
Springer
15 years 3 months ago
2005
Springer
These last years, the evolution of nomadic terminals and mobile networks has yield to the development of the ubiquitous computing. In this context, actual query evaluation and opt...