4636 search results - page 864 / 928 » Application of Linguistic Techniques for Use Case Analysis |
105
click to vote
EGITALY
2006
14 years 11 months ago
2006
In recent years the progress of 3D scanning technologies and the consequent growing commercialization of scanners opened a large spectrum of opportunities for many professionals. ...
CSUR
2000
14 years 10 months ago
2000
to extract information at a level of abstraction that is useful to investigators interested in analyzing application usage or evaluating usability. This survey examines computer-ai...
171
Voted
CONCUR
2011
Springer
13 years 10 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Nuno Tom?s Daniel Gon?alves With the growing volume of digital information users must deal with, management and retrieval tasks have become increasingly problematic. A popular way ...
DSN
2002
IEEE
15 years 3 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...