2335 search results - page 279 / 467 » Type Checking Type Classes |
101
click to vote
FMCO
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
111
Voted
CAISE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
143
Voted
GEOINFORMATICA
2011
14 years 7 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
150
click to vote
FROCOS
2011
Springer
14 years 12 days ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
130
click to vote
FSTTCS
1992
Springer
15 years 4 months ago
1992
Springer
Levin introduced an average-case complexity measure, based on a notion of \polynomialon average," and de ned \average-case polynomial-time many-one reducibility" amongra...