Sciweavers

1173 search results - page 116 / 235
» On the Compositionality of Round Abstraction
Sort
View
WWW
2006
ACM
15 years 6 months ago
ASDL: a wide spectrum language for designing web services
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
Monika Solanki, Antonio Cau, Hussein Zedan
NCA
2010
IEEE
14 years 7 months ago
Composable continuous-space programs for robotic swarms
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...
Jonathan Bachrach, Jacob Beal, James McLurkin
91
Voted
RELMICS
2009
Springer
15 years 5 months ago
Foundations of Concurrent Kleene Algebra
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
C. A. R. Hoare, Bernhard Möller, Georg Struth...
96
Voted
CACM
2008
84views more  CACM 2008»
15 years 25 days ago
Taming heterogeneous agent architectures
argely on the ability of used architectural abstractions to support the separate handling of agent-specific concerns since an early state of design. The applied architectural style...
Alessandro Garcia, Carlos José Pereira de L...
88
Voted
DM
2010
108views more  DM 2010»
15 years 24 days ago
Locally toroidal polytopes and modular linear groups
When the standard representation of a crystallographic Coxeter group G (with string diagram) is reduced modulo the integer d 2, one obtains a finite group Gd often the automorphi...
Barry Monson, Egon Schulte