Sciweavers

19003 search results - page 399 / 3801
» We Need Assurance
Sort
View
ITC
2003
IEEE
161views Hardware» more  ITC 2003»
16 years 4 days ago
DFFT : Design For Functional Testability
Creating functional tests that work on an ATE has always been a significant challenge [1]. This paper identifies the fundamental mechanisms for functional test failures of an SOC ...
Haluk Konuk, Leon Xiao
JCDL
2003
ACM
114views Education» more  JCDL 2003»
16 years 4 days ago
Music Representation in a Digital Music Library
The Variations2 digital music library currently supports music in audio and score-image formats. In a future version, we plan to add music in a symbolic form. This paper describes...
Donald Byrd, Eric J. Isaacson
CAISE
2003
Springer
16 years 3 days ago
Towards a Component based Privacy Protector Architecture
The development of mobile communication technology and ubiquitous computing paradigm and the emergence of m-healthcare, m-business and m-education services have raised the urgency ...
Amr Ali Eldin, René W. Wagenaar
ECAL
2003
Springer
16 years 3 days ago
Simulating Evolution's First Steps
We demonstrate a simple artificial chemistry environment in which two small evolutionary transitions from the simplest self-replicators to larger ones are observed. The replicator...
Tim J. Hutton
ICFEM
2003
Springer
16 years 2 days ago
A Z Based Approach to Verifying Security Protocols
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
Benjamin W. Long, Colin J. Fidge, Antonio Cerone