Sciweavers

4987 search results - page 293 / 998
» Support Ordered Resolution
Sort
View
JSA
2006
103views more  JSA 2006»
15 years 4 months ago
FMESP: Framework for the modeling and evaluation of software processes
Nowadays, organizations face with a very high competitiveness and for this reason they have to continuously improve their processes. Two key aspects to be considered in the softwa...
Félix García, Mario Piattini, Franci...
ML
2008
ACM
104views Machine Learning» more  ML 2008»
15 years 4 months ago
Many holes in hindley-milner
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...
Sam Lindley
FGCS
2002
133views more  FGCS 2002»
15 years 4 months ago
Computational and data Grids in large-scale science and engineering
As the practice of science moves beyond the single investigator due to the complexity of the problems that now dominate science, large collaborative and multi-institutional teams ...
William E. Johnston
CN
1998
67views more  CN 1998»
15 years 4 months ago
An Extensible Rendering Engine for XML
XML has been proposed in order to bring to the web a markup language free of the shortcomings of HTML, in particular the inextensibility of the set of valid elements (tags). Style...
Paolo Ciancarini, Alfredo Rizzi, Fabio Vitali
IJWET
2010
142views more  IJWET 2010»
15 years 3 months ago
Interaction protocol mediation in web service composition
: This article presents a mediation framework supporting the integration of web services in orchestrated and choreographed services and the conciliation of interaction protocol mis...
Liliana Ardissono, Roberto Furnari, Giovanna Petro...