4298 search results - page 377 / 860 » Computing at the top of the world |
165
click to vote
CONCUR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
185
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
In its current implementation, the World-Wide Web lacks much of the explicit structure and strong typing found in many closed hypertext systems. While this property has directly f...
223
click to vote
PODC
1990
ACM
15 years 11 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
197
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a web-based application that allows a user to, walk through, see, and interact with a fully threedimensional model of an old Mexican city. The city itself motivates thi...
154
click to vote
STACS
2000
Springer
15 years 10 months ago
2000
Springer
Motivated by description logics, we investigate what happens to the complexity of modal satisfiability problems if we only allow formulas built from literals, , 3, and 2. Previous...