Sciweavers

6291 search results - page 392 / 1259
» Components Are from Mars
Sort
View
ITCC
2005
IEEE
16 years 11 days ago
An Analysis of Reliable Delivery Specifications for Web Services
Reliable delivery of messages is now a key component of the Web Services roadmap, with two promising, and competing, specifications in this area viz. WS-Reliability (WSR) from OAS...
Shrideep Pallickara, Geoffrey Fox, Sangmi Lee Pall...
CIKM
2005
Springer
16 years 9 days ago
Structural features in content oriented XML retrieval
The structural features of XML components are an extra source of information that should be used in a contentoriented retrieval task on this type of documents. This paper explores...
Georgina Ramírez, Thijs Westerveld, Arjen P...
SETN
2004
Springer
16 years 3 days ago
Taxonomy-Based Annotation of XML Documents: Application to eLearning Resources
In this paper we propose an automatic mechanism for annotating XML documents. This mechanism relies on a simple data model whose main features are: (1) a modeling of XML documents ...
Birahim Gueye, Philippe Rigaux, Nicolas Spyratos
ICSE
2010
IEEE-ACM
15 years 11 months ago
Oracle-guided component-based program synthesis
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashis...
DAC
1998
ACM
15 years 11 months ago
Efficient Analog Test Methodology Based on Adaptive Algorithms
This papers describes a new, fast and economical methodology to test linear analog circuits based on adaptive algorithms. To the authors knowledge, this is the first time such tec...
Luigi Carro, Marcelo Negreiros