Sciweavers

7057 search results - page 1173 / 1412
» Tasks, domains, and languages
Sort
View
CP
2007
Springer
16 years 24 days ago
Hierarchical Hardness Models for SAT
Abstract. Empirical hardness models are a recent approach for studying NP-hard problems. They predict the runtime of an instance using efficiently computable features. Previous res...
Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
EPIA
2007
Springer
16 years 24 days ago
Using Ontologies for Software Development Knowledge Reuse
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
Bruno Antunes, Nuno Seco, Paulo Gomes
ICLP
2007
Springer
16 years 23 days ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
MIDDLEWARE
2007
Springer
16 years 23 days ago
The case for aspect-oriented reflective middleware
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
Paul Grace, Eddy Truyen, Bert Lagaisse, Wouter Joo...
POLICY
2007
Springer
16 years 22 days ago
Policy-Driven Negotiation for Authorization in the Grid
In many Grid services deployments, the clients and servers reside in different administrative domains. Hence, there is a requirement both to discover each other’s authorization ...
Ionut Constandache, Daniel Olmedilla, Frank Sieben...
« Prev « First page 1173 / 1412 Last » Next »