2317 search results - page 328 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
VLDB
1994
ACM
14 years 9 days ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
Search and recommendation systems must include contextual information to effectively model users’ interests. In this paper, we present a systematic study of the effectiveness of...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—Communications are increasingly relying on peer– to–peer models of interaction in which all participating entities have the same level of authority. Such models allow develo...
CSCWD
2008
Springer
13 years 10 months ago
2008
Springer
One of the main objectives in engineering departments of large industries is the implementation of integrated information systems to manage their projects' life cycle. EnViro...