3101 search results - page 384 / 621 » Composing Adaptive Software |
154
click to vote
DPD
2000
15 years 4 months ago
2000
Most of the current Internet trading frameworks, in particular their negotiation and payment phases, are intended for customers frequently connected to the Internet during an entir...
150
click to vote
ECRA
2002
15 years 4 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
115
click to vote
FMSD
2002
15 years 4 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
200
click to vote
ASE
1998
15 years 4 months ago
1998
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
156
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— We present a study on the use of cooperative robots to execute a caging mission on the water’s surface. In particular, we consider the problem of using two robotic boats (und...