445 search results - page 45 / 89 » Data Integration: A Theoretical Perspective |
125
click to vote
OTM
2009
Springer
16 years 22 days ago
2009
Springer
Natural language-based conceptual modelling as well as the use of diagrams have been essential components of fact-oriented modelling from its inception. However, transforming natur...
156
click to vote
DATE
2008
IEEE
16 years 20 days ago
2008
IEEE
—Latch based circuits are widely adopted in high performance circuits. But there is a lack of accurate latch models for doing timing analysis. In this paper, we propose a new lat...
148
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
143
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Internet and intranet web sites have become an integral part of software development as well as the wider fields of commercial, educational and recreational activity. In order to...
218
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—In most existing wireless networks, end users obtain data content from the wired network, typically, the Internet. In this manner, virtually all of their traffic must go throug...