10707 search results - page 445 / 2142 » Designing executable abstractions |
188
click to vote
LOPSTR
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
139
click to vote
IROS
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract— In this paper we present an experimental evaluation of automatic robotic assembly of complex planar parts. The torque-controlled DLR light-weight robot, equipped with a...
181
click to vote
WIMOB
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract—The adoption of new hardware and software architectures will make future generations of pervasive devices more flexible and extensible. Networks of computational nodes ...
173
click to vote
ICDCSW
2007
IEEE
16 years 16 days ago
2007
IEEE
Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other application...
141
click to vote
ATAL
2007
Springer
16 years 12 days ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...