19003 search results - page 143 / 3801 » We Need Assurance! |
TAP
2008
Springer
13 years 9 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
JSS
2002
13 years 9 months ago
2002
This paper presents an architectural design and evaluation result of an efficient Web-crawling system. The design involves a fully distributed architecture, a URL allocating algor...
JIIS
2007
13 years 8 months ago
2007
Mining frequent patterns on streaming data is a new challenging problem for the data mining community since data arrives sequentially in the form of continuous rapid streams. In t...
TRUST
2010
Springer
13 years 7 months ago
2010
Springer
Physical Uncloneable Functions (PUF) are systems whose physical behavior to different inputs can be measured reliably, yet cannot be cloned in a physical replica. Existing designs ...
WOTE
2010
13 years 7 months ago
2010
Abstract. This paper presents a method for adding end-to-end verifiability to any optical-scan vote counting system. A serial number and set of letters, paired with every candidat...