3686 search results - page 170 / 738 » Comprehensive comprehensions |
FSEN
2009
Springer
14 years 1 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
ECAI
2006
Springer
14 years 26 days ago
2006
Springer
We present a comprehensive study of the use of value precedence constraints to break value symmetry. We first give a simple encoding of value precedence into ternary constraints th...
EGICE
2006
14 years 26 days ago
2006
Situated design computing is an approach to the use of computers in design based on situated cognition. It is founded on two concepts: situatedness and constructive memory. These h...
EMO
2006
Springer
14 years 26 days ago
2006
Springer
This paper presents a comprehensive comparison between the performance of state-of-the-art genetic algorithms NSGA-II, SPEA2 and IBEA and their differential evolution based variant...
ERSHOV
2006
Springer
14 years 26 days ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...