2838 search results - page 394 / 568 » Verifying Controlled Components |
DATE
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper describes two research projects that develop new low-cost techniques for testing devices with multiple high-speed (2 to 5 Gbps) signals. Each project uses commercially ...
DEXAW
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper we present a conceptual view on the incorporation of cognitive processing capabilities in future generation computer systems. We argue that cognition is at the heart...
EH
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper describes novel concepts of space bionanorobotic systems that are based on revolutionary bio-nano-mechanisms formed by protein and DNA based nano-components. Nano-robot...
ICAC
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
ICDE
2005
IEEE
14 years 4 months ago
2005
IEEE
Semantic Web languages like OWL and RDFS promise to be viable means for representing metadata describing users and resources available over the Internet. Recently, interest has be...