5671 search results - page 681 / 1135 » A Semantic Approach to Interpolation |
181
click to vote
POPL
1993
ACM
15 years 11 months ago
1993
ACM
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
203
click to vote
EUROCAST
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
172
click to vote
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...
185
click to vote
AIRS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents an approach for image annotation propagation to images which have no annotations. In some specific domains, the assumption that visual similarity impl...
217
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...