Sciweavers

3400 search results - page 29 / 680
» tools 2008
Sort
View
QEST
2008
IEEE
14 years 3 months ago
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Martin Riedl, Johann Schuster, Markus Siegle
QEST
2008
IEEE
14 years 3 months ago
A Tool Supporting Evaluation of Non-markovian Fault Trees
Giacomo Bucci, Laura Carnevali, Enrico Vicario
FSMNLP
2008
Springer
13 years 10 months ago
CLARIN and Free Open Source Finite-State Tools
Kimmo Koskenniemi, Anssi Yli-Jyrä
WIAS
2008
57views more  WIAS 2008»
13 years 8 months ago
Tools for analyzing intelligent agent systems
When developing sophisticated multi-agent systems whose behaviors include collaboration, negotiation, and conflict resolution, analyzing and (empirically) verifying agent system be...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber