70 search results - page 5 / 14 » Foundations on Coordination Languages and Software Architect... |
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
ICRA
2006
IEEE
15 years 4 months ago
2006
IEEE
— The dangerous and time sensitive nature of a disaster area makes it an ideal application for robotic exploration. Our long term goal is to enable humans, software agents, and a...
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
The coordination of layers in computer and software systems is one of the main challenges in designing such systems today. In this paper we consider Holistic System Design as a wa...
SAC
2003
ACM
15 years 3 months ago
2003
ACM
DICE (DIstributed Constraint Environment) is a framework for the construction of distributed constraint solvers from software components in a number of predefined categories. The...
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...