2935 search results - page 530 / 587 » An Integrated Approach to High Integrity Software Verificati... |
127
click to vote
EJC
2003
15 years 5 months ago
2003
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...
166
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...
158
click to vote
SISW
2003
IEEE
15 years 9 months ago
2003
IEEE
— Smart cards are widely known for their tamper resistance, but only contain a small amount of memory. Though very small, this memory often contains highly valuable information (...
153
click to vote
CONCURRENCY
2010
15 years 4 months ago
2010
As the complexity and scale of current scientific and engineering applications grow, managing and transporting the large amounts of data they generate is quickly becoming a signif...
182
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper proposes a novel approach to motion capture
from multiple, synchronized video streams, specifically
aimed at recording dense and accurate models of the structure
and ...