12981 search results - page 2322 / 2597 » Model Checking (Abstract) |
109
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We consider systems of finite automata performing together computation on an input string. Each automaton has its own read head that moves independently of the other head...
129
click to vote
IH
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Currently knownbasic anonymitytechniques dependon identity veri cation. If veri cation of user identities is not possible due to the related management overhead or a gene...
129
click to vote
FOCS
1997
IEEE
15 years 8 months ago
1997
IEEE
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...
134
click to vote
KI
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In Distributed Problem-solving (DPS) systems a group of purposefully designed computational agents interact and co-ordinate their activities so as to jointly achieve a gl...
135
click to vote
RT
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper presents how the image-based rendering technique of viewdependent texture-mapping (VDTM) can be efficiently implemented using projective texture mapping, a fea...