525 search results - page 36 / 105 » New Active Tools for Supporting Narrative Structures |
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
The fast growth and spread of Web 2.0 environments have demonstrated the great willingness of general Web users to contribute and share various type of content and information. Ma...
TAMODIA
2004
13 years 9 months ago
2004
This paper takes a pragmatic approach to the design of a task analysis support tool. Instead of proposing a new approach to analysis, it looks at the common requirements for provi...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
— Bayesian networks play a key role in decision support within health care. Physicians rely on Bayesian networks to give medical treatment, generate what-if scenarios, and other ...
GROUP
2003
ACM
14 years 29 days ago
2003
ACM
We describe a new collaborative technology that is mid-way between the informality of email and the formality of shared workspaces. Email and other ad hoc collaboration systems ar...