7918 search results - page 182 / 1584 » Model Composition Directives |
102
click to vote
SETN
2004
Springer
15 years 8 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 ...
129
click to vote
IPPS
2002
IEEE
15 years 8 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...
111
click to vote
FM
2006
Springer
15 years 6 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...
152
click to vote
ACS
2011
14 years 10 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...
128
click to vote
ICCAD
2003
IEEE
16 years 10 hour ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...