2060 search results - page 53 / 412 » The Composition of Event-B Models |
124
click to vote
JUCS
2006
15 years 3 months ago
2006
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
166
click to vote
ICWS
2009
IEEE
15 years 1 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
153
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
127
click to vote
SEC
2008
15 years 5 months ago
2008
The performance of an intrusion detector depends on several factors, like its internal architecture and the algorithms it uses. Thus, distinct detectors can behave distinctly when ...
134
click to vote
JLP
2007
15 years 3 months ago
2007
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the...