3028 search results - page 431 / 606 » Integrating Temporal Logics |
143
click to vote
ICCD
2005
IEEE
16 years 1 months ago
2005
IEEE
— Since rapid progress has been made in device improvement and integration of small carbon nanotube fieldeffect transistors (CNFETs) circuits, the time has come for developing c...
181
click to vote
IDEAS
2009
IEEE
15 years 11 months ago
2009
IEEE
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
125
Voted
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose DINPeer, an optimized peer-to-peer (P2P) overlay network for service discovery by overcoming limitations in current multicast discovery approaches and P2...
147
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
166
click to vote
SCCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...