192 search results - page 39 / 39 » Simulation, verification and automated composition of web se... |
IJFCS
2007
13 years 4 months ago
2007
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and...
BMCBI
2010
13 years 1 months ago
2010
Background: The behaviour of biological systems can be deduced from their mathematical models. However, multiple sources of data in diverse forms are required in the construction ...