Sciweavers

3259 search results - page 420 / 652
» Modeling Autonomous-System Relationships
Sort
View
COORDINATION
2006
Springer
15 years 8 months ago
Atomic Commit and Negotiation in Service Oriented Computing
In this paper we investigate the relationship between two problems, related to distributed systems, that are of particular interest in the context of Service Oriented Computing: at...
Laura Bocchi, Roberto Lucchi
COORDINATION
2006
Springer
15 years 8 months ago
Evolution On-the-Fly with Paradigm
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...
Luuk Groenewegen, Erik P. de Vink
154
Voted
IFIPTCS
2000
15 years 8 months ago
Hierarchical State Machines
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
Mihalis Yannakakis
159
Voted
PRICAI
2000
Springer
15 years 8 months ago
Functional Understanding Based on an Ontology of Functional Concepts
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...
Yoshinobu Kitamura, Toshinobu Sano, Riichiro Mizog...
RTA
2000
Springer
15 years 8 months ago
Parallelism Constraints
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...
Katrin Erk, Joachim Niehren