Sciweavers

4600 search results - page 864 / 920
» Presentation Of The Eurolang Project
Sort
View
ENTCS
2007
171views more  ENTCS 2007»
15 years 6 months ago
A Certifying Code Generation Phase
Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...
Jan Olaf Blech, Arnd Poetzsch-Heffter
ENVSOFT
2007
157views more  ENVSOFT 2007»
15 years 6 months ago
Assessment of erosion hotspots in a watershed: Integrating the WEPP model and GIS in a case study in the Peruvian Andes
This paper presents a case study in assessment of erosion hotspots in an Andean watershed. To do this, we made use of an interface called Geospatial Modelling of Soil Erosion (GEM...
Guillermo A. Baigorria, Consuelo C. Romero
JSS
2006
88views more  JSS 2006»
15 years 6 months ago
A formal representation of functional size measurement methods
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
Marjan Hericko, Ivan Rozman, Ales Zivkovic
JWSR
2006
170views more  JWSR 2006»
15 years 6 months ago
Managing Semantic Metadata for Web/Grid Services
Web/Gridservices'metadataandsemanticsarebecomingincreasingimportantforservicesharing and effective reuse. In this paper we present a generic framework for engineering and man...
Liming Chen, Nigel R. Shadbolt, Carole A. Goble, F...
LRE
2006
99views more  LRE 2006»
15 years 6 months ago
A lexicon for Vietnamese language processing
Only very recently have Vietnamese researchers begun to be involved in the domain of Natural Language Processing (NLP). As there does not exist any published work in formal linguis...
Thi Minh Huyen Nguyen, Laurent Romary, Mathias Ros...