1415 search results - page 203 / 283 » Verified systems by composition from verified components |
MMM
2007
Springer
14 years 2 months ago
2007
Springer
Recently, much attention has been paid on data-driven (or swarm-like) based live streaming systems due to its rapid growth in deployment over Internet. In such systems, nodes rando...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
ICDAR
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we describe an application of OCR techniques to quality control in industrial production. The purpose of the system is to verify the correct printing of numerical in...
MTV
2003
IEEE
14 years 1 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
DATE
2002
IEEE
14 years 24 days ago
2002
IEEE
In this paper, we analyze the use of UML as a starting point to go from design issues to end of production testing of complex embedded systems. The first point is the analysis of ...