2558 search results - page 155 / 512 » Model Composition Contracts |
118
click to vote
CBSE
2007
Springer
15 years 10 months ago
2007
Springer
In component-based software development, the design of components should be carried out separately from the deployment of components, in order to enable composition by independent ...
109
click to vote
SETN
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we propose an automatic mechanism for annotating XML documents. This mechanism relies on a simple data model whose main features are: (1) a modeling of XML documents ...
147
Voted
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper examines the issue of dynamically scheduling applications on a wide-area network computing system. We construct a simulation model for wide-area task allocation problem...
120
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
166
click to vote
ACS
2011
14 years 11 months ago
2011
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...