10848 search results - page 1896 / 2170 » Programming in Biomolecular Computation |
170
click to vote
HVC
2005
Springer
16 years 4 days ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
144
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...
159
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
A union-find data structure maintains a collection of disjoint sets under makeset, union and find operations. Kaplan, Shafrir and Tarjan [SODA 2002] designed data structures for ...
184
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
182
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...