Sciweavers

3400 search results - page 29 / 680
» tools 2008
Sort
View
97
Voted
QEST
2008
IEEE
15 years 8 months ago
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Martin Riedl, Johann Schuster, Markus Siegle
QEST
2008
IEEE
15 years 8 months ago
A Tool Supporting Evaluation of Non-markovian Fault Trees
Giacomo Bucci, Laura Carnevali, Enrico Vicario
FSMNLP
2008
Springer
15 years 3 months ago
CLARIN and Free Open Source Finite-State Tools
Kimmo Koskenniemi, Anssi Yli-Jyrä
52
Voted
CHI
2008
ACM
16 years 2 months ago
PieCursor: merging pointing and command selection for rapid in-place tool switching
Azam Khan, George W. Fitzmaurice, Gordon Kurtenbac...
WIAS
2008
57views more  WIAS 2008»
15 years 1 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