4209 search results - page 335 / 842 » Abstract Dialectical Frameworks |
194
click to vote
ESOP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
149
click to vote
EUC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper we have developed a method for an efficient Quality-ofService provision and adaptation in dynamic, heterogeneous systems, based on our Matrix framework for...
173
click to vote
EUROCAST
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper the author presents three approaches to parallel Tabu Search, applied to several instances of the Capacitated Vehicle Routing Problem with soft Time Windows...
163
click to vote
FORMATS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
182
click to vote
HYBRID
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We use discrete quadratic Lyapunov functions to design controllers for a class of systems where time intervals between state measurements are longer than time intervals b...