Sciweavers

2632 search results - page 386 / 527
» Management Issues in Eda
Sort
View
TLDI
2003
ACM
102views Formal Methods» more  TLDI 2003»
15 years 9 months ago
A typed interface for garbage collection
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
Joseph Vanderwaart, Karl Crary
ADC
2003
Springer
173views Database» more  ADC 2003»
15 years 9 months ago
Cooperative Query Answering for Semistructured Data
Semistructured data, in particular XML, has emerged as one of the primary means for information exchange and content management. The power of XML allows authors to structure a doc...
Michael Barg, Raymond K. Wong
CIKM
2003
Springer
15 years 9 months ago
Building XML statistics for the hidden web
There have been several techniques proposed for building statistics for static XML data. However, very little work has been done in the area of building XML statistics for data so...
Ashraf Aboulnaga, Jeffrey F. Naughton
CP
2003
Springer
15 years 9 months ago
Using Constraints for Exploring Catalogs
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
François Laburthe, Yves Caseau
ECAL
2003
Springer
15 years 9 months ago
Building a Hybrid Society of Mind Using Components from Ten Different Authors
Building large complex minds is difficult because we do not understand what the necessary components are or how they should interact. Even if the components were known it is diffic...
Ciarán O'Leary, Mark Humphrys