Sciweavers

2021 search results - page 131 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
SETN
2004
Springer
15 years 10 months ago
Taxonomy-Based Annotation of XML Documents: Application to eLearning Resources
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 ...
Birahim Gueye, Philippe Rigaux, Nicolas Spyratos
ISSTA
2004
ACM
15 years 10 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
IPPS
2002
IEEE
15 years 10 months ago
Distributed Dynamic Scheduling of Composite Tasks on Grid Computing Systems
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...
Hongtu Chen, Muthucumaru Maheswaran
128
Voted
FM
2006
Springer
124views Formal Methods» more  FM 2006»
15 years 8 months ago
Compositional Binding in Network Domains
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...
Pamela Zave
175
Voted
ACS
2011
15 years 2 days ago
The Compositional Construction of Markov Processes
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...
Luisa de Francesco Albasini, Nicoletta Sabadini, R...