3073 search results - page 421 / 615 » Real World Verification |
158
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
157
click to vote
WDAG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. First-in-first-out (FIFO) queues are among the most fundamental and highly studied concurrent data structures. The most effective and practical dynamic-memory concurren...
181
click to vote
WEBDB
2004
Springer
15 years 11 months ago
2004
Springer
XML and semi-structured data is usually modeled using graph structures. Structural summaries, which have been proposed to speedup XML query processing have graph forms as well. Th...
155
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The eXtensible Markup Language (XML) is regarded generally as having promise of becoming established as the general purpose framework for enabling transfer of data amongst heterog...
177
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
Conventional tracking approaches assume proximity in space, time and appearance of objects in successive observations. However, observations of objects are often widely separated ...