3161 search results - page 186 / 633 » Documenting framework behavior |
203
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conc...
217
click to vote
WIOPT
2010
IEEE
15 years 5 months ago
2010
IEEE
—Wireless ad hoc networks are seldom characterized by one single performance metric, yet the current literature lacks a flexible framework to assist in characterizing the design...
183
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
207
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Performing experimental evaluation of fault tolerant distributed systems is a complex and tedious task, and automating as much as possible of the execution and evaluation of exper...
158
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe Automated Red Teaming (ART), a concept that uses Evolutionary Algorithm (EA), Parallel Computing and Simulation to complement the manual Red Teaming eff...