2002 search results - page 81 / 401 » Interactive technical illustration |
CCS
2005
ACM
14 years 3 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
DISCEX
2003
IEEE
14 years 3 months ago
2003
IEEE
The MYSEA project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mechanis...
ICDAR
2003
IEEE
14 years 3 months ago
2003
IEEE
Line detection algorithms constitute the basis for technical document analysis and recognition. The performance of these algorithms decreases as the quality of the documents degra...
GI
2009
Springer
14 years 2 months ago
2009
Springer
: This paper illustrates the future role of mobile computing for the response in emergencies and mass casualty incidents (MCIs). Furthermore it describes the different components a...
CSCW
1996
ACM
14 years 1 months ago
1996
ACM
In order to understand some problems associated with workflow, we set out an analysis of workflow systems, identifying a number of basic issues in the underlying technology. This ...