1895 search results - page 167 / 379 » Using ATL for Checking Models |
143
Voted
EVOW
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes a novel representation and ordering model that, aided by an evolutionary algorithm, is used in solving the graph k-colouring problem. Its strength lies in redu...
151
click to vote
PTS
2004
15 years 6 months ago
2004
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...
178
click to vote
POPL
2012
ACM
14 years 19 days ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
127
click to vote
SIGPLAN
2002
15 years 4 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
148
Voted
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...