2558 search results - page 86 / 512 » Model Composition Contracts |
123
Voted
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
Dynamically creating new, composite services "on the fly" using existing ones in a local interaction environment (e.g. a home, meeting room, airport lounge, etc.) presen...
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...
168
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...
129
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 ...
135
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...