Sciweavers

2838 search results - page 394 / 568
» Verifying Controlled Components
Sort
View
DATE
2005
IEEE
224views Hardware» more  DATE 2005»
14 years 4 months ago
Low-Cost Multi-Gigahertz Test Systems Using CMOS FPGAs and PECL
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 ...
David C. Keezer, C. Gray, A. M. Majid, N. Taher
DEXAW
2005
IEEE
104views Database» more  DEXAW 2005»
14 years 4 months ago
A System Perspective on Cognition for Autonomic Computing and Communication
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...
Arjan J. H. Peddemors, Ignas G. Niemegeers, Henk E...
EH
2005
IEEE
217views Hardware» more  EH 2005»
14 years 4 months ago
Space Bionanorobotic Systems: Design and Applications
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...
Constantinos Mavroidis, Ajay Ummat
ICAC
2005
IEEE
14 years 4 months ago
Architecture-Based Autonomous Repair Management: Application to J2EE Clusters
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
Sara Bouchenak, Fabienne Boyer, Daniel Hagimont, S...
ICDE
2005
IEEE
109views Database» more  ICDE 2005»
14 years 4 months ago
Advanced Metadata for Privacy-Aware Representation of Credentials
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...
Paolo Ceravolo, Ernesto Damiani, Sabrina De Capita...