10038 search results - page 1787 / 2008 » Model Checking for Managers |
139
click to vote
ICDCSW
2005
IEEE
15 years 10 months ago
2005
IEEE
Publish/subscribe is emerging as an appropriate communication paradigm for large-scale, widely-distributed systems. In this paper, we describe our work on integrating active datab...
186
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
– The main task of a voice-enabled tour-guide robot in mass exhibition setting is to engage visitors in dialogue and provide as much exhibit information as possible in a limited ...
140
click to vote
INFOVIS
2005
IEEE
15 years 10 months ago
2005
IEEE
Exploratory visualization environments allow users to build and browse coordinated multiview visualizations interactively. As the number of views and amount of coordination increa...
155
Voted
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
247
click to vote
MMM
2005
Springer
15 years 10 months ago
2005
Springer
The efficient management of complex objects has become an enabling technology for modern multimedia information systems as well as for many novel database applications. Unfortunat...