Sciweavers

2521 search results - page 242 / 505
» Semantic Component Composition
Sort
View
ENTCS
2008
99views more  ENTCS 2008»
15 years 24 days ago
A Categorical Model of the Fusion Calculus
We provide a categorical presentation of the Fusion calculus. Working in a suitable category of presheaves, we describe the syntax as initial algebra of a signature endofunctor, a...
Marino Miculan
JNW
2008
164views more  JNW 2008»
15 years 22 days ago
Improving Multi-Agent Based Resource Coordination in Peer-to-Peer Networks
The distributed nature of peer-to-peer networks offers a solid ground for the deployment of environments where multiple agents, managing several resources, can cooperate in pursuin...
António Luis Lopes, Luís Miguel Bote...
ENTCS
2007
89views more  ENTCS 2007»
15 years 21 days ago
Quantum Programs With Classical Output Streams: (Extended Abstract)
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...
Dominique Unruh
222
Voted
AMW
2011
14 years 4 months ago
Subqueries in SPARQL
Subqueries are a poweful feature which allows to enforce reuse, composition, rewriting and optimization in a query language. In this paper we perform a comprehensive study of the i...
Renzo Angles, Claudio Gutierrez
102
Voted
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
15 years 2 months ago
Modular construction of finite and complete prefixes of Petri net unfoldings
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
Agnes Madalinski, Eric Fabre