4755 search results - page 412 / 951 » An Implementation Model for Collaborative Applications |
119
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
150
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
165
click to vote
IV
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper introduces an immersive virtual reality application that allows users to browse and explore the contents of database systems. We have implemented a visualization metaph...
130
click to vote
CASCON
2006
15 years 6 months ago
2006
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appro...
143
click to vote
WIKIS
2006
ACM
15 years 10 months ago
2006
ACM
Wikipedia is the world’s largest collaboratively edited source of encyclopaedic knowledge. But in spite of its utility, its contents are barely machine-interpretable. Structural...