Sciweavers

1528 search results - page 119 / 306
» Implementing Generalized Operator Overloading
Sort
View
142
Voted
DATE
2006
IEEE
136views Hardware» more  DATE 2006»
15 years 8 months ago
Defect tolerance of QCA tiles
Quantum dot Cellular Automata (QCA) is one of the promising technologies for nano scale implementation. The operation of QCA systems is based on a new paradigm generally referred ...
Jing Huang, Mariam Momenzadeh, Fabrizio Lombardi
ISCAS
2006
IEEE
90views Hardware» more  ISCAS 2006»
15 years 8 months ago
A novel ternary more, less and equality circuit using recharged semi-floating gate devices
— This paper presents a novel Ternary More, Less and Equality (MLE) Circuit implemented with Recharged SemiFloating Gate Transistors. The circuit is a ternary application, and te...
Henning Gundersen, Yngvar Berg
CCS
2005
ACM
15 years 8 months ago
Formal security analysis of basic network-attached storage
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
Avik Chaudhuri, Martín Abadi
ESWS
2005
Springer
15 years 8 months ago
Pedro Ontology Services: A Framework for Rapid Ontology Markup
Semantic Web technologies offer the possibility of increased accuracy and completeness in search and retrieval operations. In recent years, curators of data resources have begun f...
Kevin L. Garwood, Phillip W. Lord, Helen Parkinson...
MIDDLEWARE
2005
Springer
15 years 8 months ago
Managing the follow-me semantics to build large-scale pervasive applications
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
Iara Augustin, Adenauer C. Yamin, Cláudio F...