Sciweavers

6808 search results - page 84 / 1362
» Distributed Concurrency Control
Sort
View
IANDC
2006
81views more  IANDC 2006»
13 years 9 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

Book
688views
15 years 7 months ago
Database Management Systems
A set of presentations covering the book, which includes the following topics ER Model and Conceptual Design, The Relational Model and SQL DDL, Relational Algebra, SQL, Database Ap...
Raghu Ramakrishnan, Johannes Gehrke
GLOBECOM
2006
IEEE
14 years 3 months ago
Multicast Support for a Storage Area Network Switch
— Efficient support of multicast traffic in Storage Area Networks (SANs) enables applications such as remote data replication and distributed multimedia systems, in which a ser...
Andrea Bianco, Paolo Giaccone, Enrico Maria Giraud...
METRICS
2002
IEEE
14 years 1 months ago
Testability Analysis of a UML Class Diagram
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
Benoit Baudry, Yves Le Traon, Gerson Sunyé
UML
1999
Springer
14 years 1 months ago
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
Holger Giese, Jörg Graf, Guido Wirtz