2060 search results - page 306 / 412 » The Composition of Event-B Models |
148
click to vote
CGI
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
122
click to vote
IH
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Traditionally, cryptographic protocols are described as a sequence of steps, in each of which one principal sends a message to another. It is assumed that the fundamental...
128
click to vote
CONCUR
1998
Springer
15 years 9 months ago
1998
Springer
Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system compo...
170
click to vote
ARTS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
146
click to vote
ECHT
1994
15 years 8 months ago
1994
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...