Sciweavers

3400 search results - page 29 / 680
» tools 2008
Sort
View
QEST
2008
IEEE
15 years 11 months ago
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Martin Riedl, Johann Schuster, Markus Siegle
QEST
2008
IEEE
15 years 11 months ago
A Tool Supporting Evaluation of Non-markovian Fault Trees
Giacomo Bucci, Laura Carnevali, Enrico Vicario
FSMNLP
2008
Springer
15 years 6 months ago
CLARIN and Free Open Source Finite-State Tools
Kimmo Koskenniemi, Anssi Yli-Jyrä
WIAS
2008
57views more  WIAS 2008»
15 years 5 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