Sciweavers

5548 search results - page 954 / 1110
» Programming a Distributed System Using Shared Objects
Sort
View
ICSEA
2007
IEEE
15 years 11 months ago
Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
Frédéric Pourraz, Hervé Verju...
ECOWS
2007
Springer
15 years 11 months ago
A Formal Framework For Building, Checking And Evolving Service Oriented Architectures
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
Hervé Verjus, Frédéric Pourra...
CDC
2009
IEEE
173views Control Systems» more  CDC 2009»
15 years 9 months ago
Sequentially updated Probability Collectives
— Multi-agent coordination problems can be cast as distributed optimization tasks. Probability Collectives (PCs) are techniques that deal with such problems in discrete and conti...
Michalis Smyrnakis, David S. Leslie
PODC
1990
ACM
15 years 9 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
CLUSTER
2001
IEEE
15 years 8 months ago
SOVIA: A User-level Sockets Layer Over Virtual Interface Architecture
The Virtual Interface Architecture (VIA) is an industry standard user-level communication architecture for system area networks. The VIA provides a protected, directlyaccessible i...
Jin-Soo Kim, Kangho Kim, Sung-In Jung