Sciweavers

2139 search results - page 201 / 428
» Connecting language to the world
Sort
View
WWW
2002
ACM
15 years 12 months ago
An incremental XSLT transformation processor for XML document manipulation
In this paper, we present an incremental transformation framework called incXSLT. This framework has been experimented for the XSLT language defined at the World Wide Web Consorti...
Lionel Villard, Nabil Layaïda
GECCO
2009
Springer
163views Optimization» more  GECCO 2009»
15 years 5 months ago
Dealing with inheritance in OO evolutionary testing
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
Javier Ferrer, J. Francisco Chicano, Enrique Alba
LPNMR
2009
Springer
15 years 5 months ago
A Module-Based Framework for Multi-language Constraint Modeling
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...
Matti Järvisalo, Emilia Oikarinen, Tomi Janhu...
DASFAA
2005
IEEE
177views Database» more  DASFAA 2005»
15 years 4 months ago
SemEQUAL: Multilingual Semantic Matching in Relational Systems
In an increasingly multilingual world, it is critical that information management tools organically support the simultaneous use of multiple natural languages. A pre-requisite for ...
A. Kumaran, Jayant R. Haritsa
TPHOL
2005
IEEE
15 years 4 months ago
Mechanized Metatheory for the Masses: The PoplMark Challenge
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbair...