Sciweavers

1746 search results - page 104 / 350
» Architecture for Agent Programming Languages
Sort
View
GPCE
2005
Springer
14 years 1 months ago
A Versatile Kernel for Multi-language AOP
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
Éric Tanter, Jacques Noyé
POPL
2001
ACM
14 years 8 months ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
ATAL
2003
Springer
14 years 1 months ago
Model checking agentspeak
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
Rafael H. Bordini, Michael Fisher, Carmen Pardavil...
AOSD
2007
ACM
14 years 5 days ago
Expressive programs through presentation extension
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...
Andrew David Eisenberg, Gregor Kiczales
TOOLS
1999
IEEE
14 years 13 days ago
Design and Evolution of Software Architecture in Practice
With special focus on software architectural issues, we report from the first two major phases of a software development project. Our experience suggests that explicit focus on so...
Michael Christensen, Christian Heide Damm, Klaus M...