Result 1 to 20 of 42 total
A refinement-based correctness proof of symmetry reduced model checking. (English)
Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 231-244 (2010).
1
Priscilla McLean: symphony of seasons (English)
Computer Music Journal 34, No. 3, 81-85 (2010).
2
A refinement-based correctness proof of symmetry reduced model checking (English)
ASM, 231-244 (2010).
3
Automatic generation of integrated formal models corresponding to UML system models (English)
TOOLS (47), 357-367 (2009).
4
Automatic generation of CSP$ allel $B skeletons from xUML models. (English)
Fitzgerald, John S. (ed.) et al., Theoretical aspects of computing ‒ ICTAC 2008. 5th international colloquium, Istanbul, Turkey, September 1‒3, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85761-7/pbk). Lecture Notes in Computer Science 5160, 364-379 (2008).
5
Object modelling in the SystemB industrial project. (English)
Börger, Egon (ed.) et al., Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16‒18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). Lecture Notes in Computer Science 5238, 359 (2008).
6
Automatic generation of CSP || B skeletons from xuml models (English)
ICTAC, 364-379 (2008).
7
Object modelling in the systemb industrial project (English)
ABZ, 359 (2008).
8
Personal adaptive clusters as containers for scientific jobs. (English)
Clust. Comput. 10, No. 3, 339-350 (2007).
9
Symmetry reduction for B by permutation flooding (English)
B, 79-93 (2007).
10
Symmetry reduced model checking for B (English)
TASE, 25-34 (2007).
11
Retaining majors through the introductory sequence (English)
SIGCSE, 24-28 (2007).
12
Visualising larger state spaces in ProB. (English)
Treharne, Helen (ed.) et al., ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13‒15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25559-1/pbk). Lecture Notes in Computer Science 3455, 6-23 (2005).
13
Visualising larger state spaces in pro B (English)
ZB, 6-23 (2005).
14
Teaching entering students to think like computer scientists (English)
SIGCSE, 307-311 (2005).
15
Boundary test elements. (English)
Myasnikov, A.G. (ed.) et al., Group theory, statistics, and cryptography. AMS special session combinatorial and statistical group theory, New York University, NY, USA, April 12‒13, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3444-4/pbk). Contemporary Mathematics 360, 119-132 (2004).
16
Privacy on the web: an examination of user concerns, technology, and implications for business organizations and individuals (English)
IS Management 20, No. 1, 8-18 (2003).
17
A gendered view of computer professionals: preliminary results of a survey (English)
SIGCSE Bulletin 34, No. 2, 101-104 (2002).
18
Representing the graphics context to support understanding plural anaphora in multi-modal interfaces. (English)
Akman, Varol (ed.) et al., Modeling and using context. 3rd international and interdisciplinary conference, CONTEXT 2001, Dundee, GB, July 27-30, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2116, 330-342 (2001).
19
Using explicit, A priori contextual knowledge in an intelligent web search agent. (English)
Akman, Varol (ed.) et al., Modeling and using context. 3rd international and interdisciplinary conference, CONTEXT 2001, Dundee, GB, July 27-30, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2116, 343-352 (2001).
20
Result 1 to 20 of 42 total
Start
Contact
Print
General Help
