1206 search results - page 210 / 242 » Concurrent Abstract Predicates |
97
Voted
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...
105
Voted
PCM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper, we propose a Java-based collaborative authoring system for multimedia presentation. Our system is composed of an Editing System, a Media Object Manager and...
104
Voted
SACRYPT
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
111
click to vote
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
139
click to vote
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...