Sciweavers

5653 search results - page 64 / 1131
» Distributed Conceptual Structures
Sort
View
IANDC
2006
81views more  IANDC 2006»
13 years 10 months ago
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
Samy Abbes, Albert Benveniste
FASE
2001
Springer
14 years 2 months ago
Strengthening UML Collaboration Diagrams by State Transformations
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
Reiko Heckel, Stefan Sauer
CONCUR
2009
Springer
14 years 4 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
ICDCS
2005
IEEE
14 years 3 months ago
Content-Based Publish-Subscribe over Structured Overlay Networks
Roberto Baldoni, Carlo Marchetti, Antonino Virgill...