292 search results - page 9 / 59 » A Formal Architecture for the 3APL Agent Programming Languag... |
133
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
146
Voted
INFSOF
1998
15 years 5 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
100
Voted
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
104
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
152
click to vote
POPL
2012
ACM
14 years 27 days ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...