29 search results - page 4 / 6 » Automating the transformation-based analysis of visual langu... |
CAV
2000
Springer
13 years 11 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
DAGSTUHL
2001
13 years 8 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
DGO
2008
13 years 9 months ago
2008
We are developing an automated crime reporting and investigative interview system. The system incorporates cognitive interview techniques to maximize witness memory recall, and in...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
While most collaboration technologies are concerned with supporting particular tasks such as workflows or meetings, many work groups do not have the teamwork skills essential to e...
VL
2007
IEEE
14 years 1 months ago
2007
IEEE
Web macros automate the interactions of end users with web sites and related information systems. Though web macro recorders and players have grown in sophistication over the past...