620 search results - page 94 / 124 » Algorithms and computations on cellular automata |
131
click to vote
PERCOM
2010
ACM
14 years 10 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
94
Voted
LATA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
97
Voted
CIE
2009
Springer
15 years 7 months ago
2009
Springer
We suggest that a process-like notion of strategy is relevant in the context of interactions in systems of self-interested agents. In this view, strategies are not plans formulated...
92
Voted
MFCS
2009
Springer
15 years 7 months ago
2009
Springer
The concept of determinism, while clear and well assessed for string languages, is still matter of research as far as picture languages are concerned. We introduce here a new kind ...
CPAIOR
2007
Springer
15 years 6 months ago
2007
Springer
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...