Sciweavers

231 search results - page 14 / 47
» Testing Exchangeability On-Line
Sort
View
ICAIL
2007
ACM
13 years 11 months ago
An implementation of norm-based agent negotiation
In this paper, we develop our previous outline of a multi-agent architecture for regulated information exchange in crime investigations. Interactions about information exchange be...
Pieter Dijkstra, Henry Prakken, Kees de Vey Mestda...
DAGSTUHL
2004
13 years 9 months ago
UML 2.0 Testing Profile
Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason ...
Zhen Ru Dai
ATAL
2008
Springer
13 years 9 months ago
Ontology-based test generation for multiagent systems
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
ARITH
1999
IEEE
13 years 11 months ago
Moduli for Testing Implementations of the RSA Cryptosystem
Comprehensive testing of any implementation of the RSA cryptosystem requires the use of a number of moduli with specific properties. It is shown how to generate a sufficient varie...
Colin D. Walter
CASCON
2006
98views Education» more  CASCON 2006»
13 years 9 months ago
A lightweight approach to state based security testing
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...
Songtao Zhang, Thomas R. Dean, Scott Knight