2060 search results - page 173 / 412 » The Composition of Event-B Models |
142
click to vote
AUSAI
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
143
click to vote
UML
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
141
click to vote
JUCS
2008
15 years 4 months ago
2008
: This article provides a comparison among different methods for estimating the aggregation of Internet traffic resulting from different users, network-access types and correspondi...
149
Voted
ECRA
2002
15 years 4 months ago
2002
Web Services will transform the web from a collection of information into a distributed computational device. In order to employ their full potential, appropriate description means...
148
click to vote
JOT
2007
15 years 4 months ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...