Sciweavers

1511 search results - page 166 / 303
» A Methodology for Developing Agent Based Systems
Sort
View
ATAL
2010
Springer
15 years 12 days ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
AAMAS
2007
Springer
14 years 11 months ago
An algebra for commitment protocols
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
Ashok U. Mallya, Munindar P. Singh
ISTA
2004
15 years 20 days ago
Object-Relational Mapping Techniques for .NET Framework
: The paper concerns the problem of building an object-relational mapping framework based on the Microsoft .Net platform. The work uses design patterns methodology and proposes to ...
Anatoly E. Doroshenko, Vlad Romanenko
ATAL
2010
Springer
15 years 12 days ago
Argumentative alternating offers
This paper presents an argumentative version of the well known alternating offers negotiation protocol. The negotichanism is based on an abstract preference based argumentation fr...
Nabila Hadidi, Yannis Dimopoulos, Pavlos Moraitis
SAC
2010
ACM
15 years 6 months ago
Ontology-based generation of IT-security metrics
Legal regulations and industry standards require organizations to measure and maintain a specified IT-security level. Although several IT-security metrics approaches have been de...
Stefan Fenz