1737 search results - page 275 / 348 » On Interpolation in Existence Logics |
162
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Logical reorganization of data and requirements of differentiated QoS in information systems necessitate bulk data migration by the underlying storage layer. Such data ...
165
click to vote
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a methodology for accurate propagation of delay information through a gate for the purpose of static timing analysis (STA) in the presence of noise. Convention...
180
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
159
click to vote
MSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper proposes STORAGEDB: a paradigm for implementing storage virtualation using databases. It describes details for storing the logical-to-physical mapping information as ta...
164
click to vote
WECWIS
2005
IEEE
15 years 11 months ago
2005
IEEE
The concept of MDA (model driven architecture) aims at the goal of longevity (through business logic and architecture migration between different platforms) and quality improvemen...