143 search results - page 18 / 29 » Timed CSP: A Retrospective |
KBSE
2006
IEEE
15 years 4 months ago
2006
IEEE
Traditional techniques of traceability detection and management are not equipped to handle evolution. This is a problem for the field of software architecture, where it is critica...
MIAR
2006
IEEE
15 years 4 months ago
2006
IEEE
Segmentation of CSF and pulsative blood flow, based on a single phase contrast MRA (PC-MRA) image can lead to imperfect classifications. In this paper, we present a novel automated...
AIIDE
2008
15 years 13 days ago
2008
Petri Nets can be used for a retrospective analysis of a computer game story, for representing plots in serious games as well as for monitoring the course of the story, as recentl...
WSC
2007
15 years 13 days ago
2007
One of the most important gaps in road safety management practises is the lack of mature methods for estimating reliability. Road safety performance assessment systems have been d...
IVS
2006
14 years 10 months ago
2006
In this paper, we discuss the efforts underway at the Pacific Northwest National Laboratory in understanding the dynamics of multi-party discourse across a number of communication...