3 search results - page 1 / 1 » Towards Structural Testing of Superconductor Electronics |
ITC
2003
IEEE
13 years 10 months ago
2003
IEEE
Many of the semiconductor technologies are already facing limitations while new-generation data and telecommunication systems are implemented. Although in its infancy, superconduc...
I3E
2001
13 years 6 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
LREC
2010
13 years 6 months ago
2010
The theoretical characterisation of multiword expressions (MWEs) is tightly connected to their actual occurrences in data and to their representation in lexical resources. We pres...