Result 21 to 40 of 137 total
On convergence of concurrent systems under regular interactions. (English)
Bravetti, Mario (ed.) et al., CONCUR 2009 ‒ concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1‒4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 527-541 (2009).
21
Power of randomization in automata on infinite strings. (English)
Bravetti, Mario (ed.) et al., CONCUR 2009 ‒ concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1‒4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 229-243 (2009).
22
Query automata for nested words. (English)
Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2009. 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24‒28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03815-0/pbk). Lecture Notes in Computer Science 5734, 561-573 (2009).
23
Deciding branching time properties for asynchronous programs. (English)
Theor. Comput. Sci. 410, No. 42, 4169-4179 (2009).
24
STORMED hybrid games. (English)
Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13‒15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 480-484 (2009).
25
Comment: projection methods require black border removal (English)
IEEE Trans. Pattern Anal. Mach. Intell. 31, No. 4, 762 (2009).
26
Power of randomization in automata on infinite strings (English)
CONCUR, 229-243 (2009).
27
On convergence of concurrent systems under regular interactions (English)
CONCUR, 527-541 (2009).
28
Query automata for nested words (English)
MFCS, 561-573 (2009).
29
Verifying tolerant systems using polynomial approximations (English)
IEEE Real-Time Systems Symposium, 181-190 (2009).
30
Taking IT management services to a cloud (English)
IEEE CLOUD, 175-182 (2009).
31
Simulation + hypothesis testing for model checking of probabilistic systems (English)
QEST, 3 (2009).
32
STORMED hybrid games (English)
HSCC, 480-484 (2009).
33
A counterexample guided abstraction-refinement framework for Markov decision processes. (English)
Comput. Res. Repos. 2008, Article No. 0807.1173 (2008).
34
Least upper bounds for probability measures and their applications to abstractions. (English)
van Breugel, Franck (ed.) et al., CONCUR 2008 ‒ concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19‒22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 264-278 (2008).
35
Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20‒23, 2008. Proceedings. (English)
Lecture Notes in Computer Science 5311. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). xiv, 430~p. \$~89.95 (2008).
36
A decidable class of planar linear hybrid systems. (English)
Egerstedt, Magnus (ed.) et al., Hybrid systems: Computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22‒24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78928-4/pbk). Lecture Notes in Computer Science 4981, 401-414 (2008).
37
STORMED hybrid systems. (English)
Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7‒11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 136-147 (2008).
38
Modular preservation of safety properties by cookie-based DoS-protection wrappers. (English)
Barthe, Gilles (ed.) et al., Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4‒6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68862-4/pbk). Lecture Notes in Computer Science 5051, 39-58 (2008).
39
Least upper bounds for probability measures and their applications to abstractions (English)
CONCUR, 264-278 (2008).
40
Result 21 to 40 of 137 total
Start
Contact
Print
General Help
