7158 search results - page 1329 / 1432 » Anatomy of data integration |
163
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
190
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
135
click to vote
VLDB
1994
ACM
15 years 8 months ago
1994
ACM
A repository is a shareddatabaseof information aboutengineeredartifacts.Wedefinea repository manager to be a databaseapplication that suPports checkout/checkin, version and config...
147
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
141
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Trusted Computing (TC) is an emerging technology towards building trustworthy computing platforms. The Trusted Computing Group (TCG) has proposed several specifications to impleme...