2488 search results - page 223 / 498 » An improvement in formal verification |
110
click to vote
ROOM
2000
15 years 2 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
111
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...
124
click to vote
FORMATS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
128
click to vote
IFM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
108
click to vote
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...