246 search results - page 49 / 50 » Possibility and Impossibility Results in a Shared Memory Env... |
ASE
2002
13 years 6 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
SAC
2006
ACM
14 years 7 days ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
WWW
2003
ACM
13 years 11 months ago
2003
ACM
This article presents the semantic portal MUSEUMFINLAND for publishing heterogeneous museum collections on the Semantic Web. It is shown how museums with their semantically rich a...
ICVS
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. In recent years, distributed computer vision has gained a lot of attention within the computer vision community for applications such as video surveillance and object tra...
CA
1999
IEEE
13 years 10 months ago
1999
IEEE
The continuously increasing complexity of computer animationsmakes it necessary to rely on the knowledge of various experts to cover the different areas of computer graphics and a...