1922 search results - page 26 / 385 » Systems biology, models, and concurrency |
122
click to vote
IJCSA
2007
15 years 1 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...
132
click to vote
FMCO
2008
Springer
15 years 3 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...
108
click to vote
ATAL
2006
Springer
15 years 5 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...
106
click to vote
IROS
2006
IEEE
15 years 8 months 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...
113
click to vote
TCS
2002
15 years 1 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...