16430 search results - page 3078 / 3286 » On Computable Tree Functions |
SIPS
2006
IEEE
14 years 2 months ago
2006
IEEE
: Molecular electronics is commonly conceived as reproducing diode or transistor action at the molecular level. The quantum-dot cellular automata (QCA) approach offers an attractiv...
SKG
2006
IEEE
14 years 2 months ago
2006
IEEE
Web services (WS) have become a significant part of the Web because of such attractive features as simple to use, platform independence, and XML/SOAP support. However, these featu...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
ACMDIS
2006
ACM
14 years 2 months ago
2006
ACM
This paper presents the main results of a three-year long field and design study of proactive information technology in the home. This technology uses sensors to track human activ...
ACMSE
2006
ACM
14 years 2 months ago
2006
ACM
Standardized middleware is used to build large distributed real-time and enterprise (DRE) systems. These middleware are highly flexible and support a large number of features sin...