78 search results - page 16 / 16 » Automatic generation of path conditions for concurrent timed... |
SOUPS
2005
ACM
13 years 10 months ago
2005
ACM
Phishing is a model problem for illustrating usability concerns of privacy and security because both system designers and attackers battle using user interfaces to guide (or misgu...
GIS
2004
ACM
14 years 5 months ago
2004
ACM
Aerial video provides strong cues for automatic road extraction that are not available in static aerial images. Using stabilized (or geo-referenced) video data, capturing the dist...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Modern Web 2.0 applications, such as GMail, Live Maps, Facebook and many others, use a combination of Dynamic HTML, JavaScript and other Web browser technologies commonly referred...