814 search results - page 145 / 163 » Generic Model Abstraction from Examples |
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
AMAST
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
112
click to vote
CSL
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The notion of graph polynomials definable in Monadic Second Order Logic, MSOL, was introduced in [Mak04]. It was shown that the Tutte polynomial and its generalization, a...
EVOW
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Software configurable analogue arrays offer an intriguing platform for automated design by evolutionary algorithms. Like previous evolvable hardware experiments, these pl...