5101 search results - page 896 / 1021 » Capturing Context Requirements |
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
IUI
2004
ACM
14 years 1 months ago
2004
ACM
Analysis of sketched digital ink is often aided by the division of stroke points into perceptually-salient fragments based on geometric features. Fragmentation has many applicatio...
IUI
2004
ACM
14 years 1 months ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
SENSYS
2004
ACM
14 years 1 months ago
2004
ACM
Developing sensor network applications demands a new set of tools to aid programmers. A number of simulation environments have been developed that provide varying degrees of scala...