11168 search results - page 237 / 2234 » Abstract State Processes |
168
click to vote
ACIIDS
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
153
click to vote
FORTE
1998
15 years 7 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
171
click to vote
WOA
2007
15 years 7 months ago
2007
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
152
click to vote
JLP
2007
15 years 6 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
151
click to vote
LOGCOM
2010
15 years 5 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...