1922 search results - page 26 / 385 » Systems biology, models, and concurrency |
197
Voted
IJCSA
2007
15 years 6 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
214
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
164
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
173
click to vote
IROS
2006
IEEE
16 years 23 days ago
2006
IEEE
— The development of a mechanical force sensing device system based on force/vision feedback control for exploring in vitro the contact mechanics of human adherent cervix Epithel...
171
click to vote
TCS
2002
15 years 6 months ago
2002
Membrane systems are models of computation which are inspired by some basic features of biological membranes. In a membrane system multisets of objects are placed in the compartme...