6608 search results - page 1075 / 1322 » On the Completeness of Model Checking |
203
click to vote
LATA
2011
Springer
14 years 9 months ago
2011
Springer
In this paper we propose a hierarchy of classes of languages, generated by networks of evolutionary processors with the filters in several special classes of regular sets. More p...
199
click to vote
NAR
2011
14 years 9 months ago
2011
The Arabidopsis Gene Regulatory Information Server (AGRIS; http://arabidopsis.med.ohio-state .edu/) provides a comprehensive resource for gene regulatory studies in the model plan...
222
click to vote
AFL
2011
14 years 6 months ago
2011
In this paper, we propose a new variant of Accepting Networks of Evolutionary Processors, in which the operations can be applied only arbitrarily to the words, while the filters ...
207
click to vote
STACS
2012
Springer
14 years 2 months ago
2012
Springer
Queueing networks are gaining attraction for the performance analysis of parallel computer systems. A Jackson network is a set of interconnected servers, where the completion of a...
205
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...