252 search results - page 18 / 51 » A Scenario-Based Approach to Protocol Design Using Evolution... |
137
Voted
IWANN
2009
Springer
15 years 10 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...
120
Voted
ICSE
2008
IEEE-ACM
16 years 3 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...
148
Voted
EUSFLAT
2003
15 years 5 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...
130
Voted
IAT
2006
IEEE
15 years 9 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...
124
Voted
IPPS
2003
IEEE
15 years 8 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...