252 search results - page 18 / 51 » A Scenario-Based Approach to Protocol Design Using Evolution... |
105
click to vote
IWANN
2009
Springer
15 years 6 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
109
click to vote
EUSFLAT
2003
15 years 1 months ago
2003
This paper suggests an evolutionary approach to design coordination strategies, a key issue in distributed intelligent systems. We focus on competitive strategies in the form of f...
IAT
2006
IEEE
15 years 5 months ago
2006
IEEE
A key property of agents is that they are social, and hence the design of agent interactions is a crucial part of an agentoriented software engineering methodology. Agent interact...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...