12981 search results - page 2294 / 2597 » Model Checking (Abstract) |
135
Voted
MIDDLEWARE
2004
Springer
15 years 10 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 ...
161
Voted
MOZ
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...
135
click to vote
OTM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ï¬...
145
click to vote
OTM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. To date, ontology research seems to have come to an equilibrium: there is a wide variety of theories, methods and tools for extracting, representing, storing and browsing...
131
click to vote
PATMOS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Crosstalk causes logical errors due to data dependent delay degradation as well as energy consumption and is considered the biggest signal integrity challenge for long on...