Sciweavers

8555 search results - page 1358 / 1711
» Property Based Coordination
Sort
View
159
Voted
COCO
2007
Springer
75views Algorithms» more  COCO 2007»
16 years 1 months ago
On the Theory of Matchgate Computations
Valiant has proposed a new theory of algorithmic computation based on perfect matchings and Pfaffians. We study the properties of matchgates—the basic building blocks in this n...
Jin-yi Cai, Vinay Choudhary, Pinyan Lu
197
Voted
COREGRID
2007
Springer
16 years 1 months ago
Simplifying Grid Application Programming Using Web-Enabled Code Transfer Tools
This paper deals with one of the fundamental properties of grid computing – transferring code between grid nodes and executing it remotely on heterogeneous hosts. Contemporary mi...
Catalin Dumitrescu, Jan Dünnweber, Philipp L&...
176
Voted
ECOWS
2007
Springer
16 years 1 months ago
Transactional BPEL Processes with AO4BPEL Aspects
Recently, OASIS approved two standards respectively for Web Service composition and for Web Service transactions. Nevertheless, it is still unclear how WS-BPEL and the WS-TX famil...
Anis Charfi, Benjamin Schmeling, Mira Mezini
206
Voted
EMSOFT
2007
Springer
16 years 1 months ago
The algebra of connectors: structuring interaction in BIP
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
Simon Bliudze, Joseph Sifakis
198
Voted
ER
2007
Springer
184views Database» more  ER 2007»
16 years 1 months ago
Collection Type Constructors in Entity-Relationship Modeling
Abstract. Collections play an important part in everyday life. Therefore, conceptual data models should support collection types to make data modeling as natural as possible for it...
Sven Hartmann, Sebastian Link
« Prev « First page 1358 / 1711 Last » Next »