Sciweavers

19979 search results - page 355 / 3996
» Decision support systems
Sort
View
220
Voted
HASE
2007
IEEE
15 years 11 months ago
Validation Support for Distributed Real-Time Embedded Systems in VDM++
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen...
AOIS
2006
15 years 9 months ago
ToothAgent: A Multi-agent System for Virtual Communities Support
People tend to form social networks within geographical areas. This can be explained by the fact that generally geographical localities correspond to common interests (e.g. studen...
Volha Bryl, Paolo Giorgini, Stefano Fante
MVA
1996
100views Computer Vision» more  MVA 1996»
15 years 9 months ago
A Support System for the Visually Disabled to Recognize 3D Objects
We have been developing a support system for the visually disabled t,o actively recognize threedimensional objects or environments, an application system of 3D computer vision. Th...
Yoshihiro Kawai, Fumiaki Tomita
EUC
2008
Springer
15 years 8 months ago
A Context Management System for Supporting Context-Aware Applications
This paper presents a context management system for supporting context-aware applications in a smart home. In a ubiquitous computing environment context changes dynamically and th...
Eunhoe Kim, Jaeyoung Choi
CLUSTER
2005
IEEE
16 years 1 months ago
Memory Management Support for Multi-Programmed Remote Direct Memory Access (RDMA) Systems
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
Kostas Magoutis