Sciweavers

182 search results - page 5 / 37
» Design by Contract Deontic Design Language for Multiagent Sy...
Sort
View
ATAL
2006
Springer
15 years 3 months ago
TANDEM - a design method for integrating web services into multi-agent systems
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
Steve Goschnick, Sandrine Balbo, Leon Sterling, Ch...
DLS
2010
170views Languages» more  DLS 2010»
14 years 9 months ago
Contracts for first-class classes
First-class classes add expressive power to class-based object-oriented languages. Most importantly, programmers ract over common scenarios with first-class classes. When it comes...
T. Stephen Strickland, Matthias Felleisen
ATAL
2005
Springer
15 years 5 months ago
A secure architectural description language for agent systems
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...
Haralambos Mouratidis, Manuel Kolp, Stéphan...
CIA
2004
Springer
15 years 5 months ago
Society-Centered Design for Socially Embedded Multiagent Systems
To realize large-scale socially embedded multiagent systems, this paper proposes a new system design methodology towards society-centered design. We have already developed the scen...
Toru Ishida
JTRES
2010
ACM
14 years 11 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens