634 search results - page 32 / 127 » Groundwork for Weak Analysis |
101
click to vote
PDP
2010
IEEE
15 years 7 months ago
2010
IEEE
—Data security is one of the major challenges that prevents the wider acceptance of mobile devices, especially within business and government environments. It is non-trivial to p...
130
click to vote
ISICT
2003
15 years 3 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
133
Voted
CVPR
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper gives an algorithm for detecting and reading text in natural images. The algorithm is intended for use by blind and visually impaired subjects walking through city scen...
115
click to vote
DBPL
2007
Springer
15 years 5 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
125
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...