4209 search results - page 510 / 842 » Abstract Dialectical Frameworks |
141
click to vote
ANTSW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. For solving combinatorial optimisation problems, exact methods accurately exploit the structure of the problem but are tractable only up to a certain size; approximation ...
148
click to vote
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
127
Voted
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
122
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
136
click to vote
ERCIMDL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper describes a digital library architecture and implementation that is configurable, extensible and dynamic in the way it presents content and in the services it ...