5251 search results - page 158 / 1051 » A Framework for Ontology Integration |
118
click to vote
DGO
2010
15 years 3 months ago
2010
Decisions regarding major urban transportation projects and land use policies are frequently political and controversial, as well as having significant economic, social, and envir...
140
click to vote
INFORMATICALT
2007
15 years 1 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
130
click to vote
APSEC
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
126
click to vote
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper, we propose a new technique, referred to as virtual probe (VP), to efficiently measure, characterize and monitor both inter-die and spatially-correlated intra-die va...
137
click to vote
ICCAD
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper introduces a CAD framework for co-simulation of hybrid circuits containing CMOS and SET (Single Electron Transistor) devices. An improved analytical model for SET is al...