7329 search results - page 1058 / 1466 » Software Architectural Transformation |
202
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
155
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
DiamondSpin is a toolkit for the efficient prototyping of and experimentation with multi-person, concurrent interfaces for interactive shared displays. In this paper, we identify ...
277
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
This paper extends relational processing and optimization to the FISQL/FIRA languages for dynamic schema queries over multidatabases. Dynamic schema queries involve the creation a...
289
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
We introduce XPORT, a profile-driven distributed data dissemination system that supports an extensible set of data types, profile types, and optimization metrics. XPORT efficientl...
295
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
Clio, the IBM Research system for expressing declarative schema mappings, has progressed in the past few years from a research prototype into a technology that is behind some of I...