A calculus for the refinement and evolution of multi-user mobile applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3941 LNCS, Issue , 2006, Pages 137-148

  Phillips, W Greg ^a   Graham, T C Nicholas ^b   Wolfe, Christopher ^b  

^a ROYAL MILITARY COLLEGE OF CANADA   (Canada)

^b QUEEN S UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; SEMANTICS;

MOBILE APPLICATIONS; REFINEMENT PROCESS;

COMPUTER ARCHITECTURE;

EID: 33745865542     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11752707_12     Document Type: Conference Paper

References (13)

1. Y. Amir, C. Danilov and J. Stanton. A low latency, loss tolerant architecture and protocol for wide area group communication. In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2000), p.327, IEEE Computer Society, June 2000. Also available from www.spread.org.
2. L. Braubach, A. Pokahr, D. Moldt, A. Bartelt, and W. Lamersdorf. Toolsupported interpreter-based user interface architecture for ubiquitous computing. In Proceedings of the Ninth International Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS '02), pages 89-103. Springer-Verlag, 2002.
3. P. Dewan. Architectures for collaborative applications. In M. Beaudouin-Lafon, editor, Computer Supported Co-operative Work. John Wiley & Sons Ltd., January 1999. ISBN 0471-96736-X.
4. W.K. Edwards. Core Jini. Prentice Hall PTR, 2nd edition, 2000. ISBN 0-13089-408-7.
5. T.C.N. Graham, T. Urnes, and R. Nejabi. Efficient distributed implementation of semireplicated synchronous groupware. In Proceedings of the ACM Symposium on User Interface Software and Technology (UIST '96, Seattle, WA, USA, Nov. 6-8), pages 1-10. ACM Press, 1996.
6. G.E. Krasner and S.T. Pope. A cookbook for using the Model-View-Controller user interface paradigm in Smalltalk-80. Journal of Object- Oriented Programming, 1(3):2649, August/September 1988.
7. Y. Laurillau and L. Nigay. Clover architecture for groupware. In Proceedings of the ACM Conference on Computer-Supported Cooperative Work (CSCW '02, New Orleans, LA, USA), pages 236-245. ACM Press, 2002.
8. R. Litiu and A. Prakash. Developing adaptive groupware applications using a mobile component framework. In Proceedings of the ACM Conference on Computer-Supported Cooperative Work (CSCW '00, Philadelphia, PA, USA), pages 107-116. ACM Press, 2000.
9. W.G. Phillips. Architectures for synchronous groupware. Technical Report 1999-425, Queen's University, Kingston, Ontario, Canada, May 1999. Available from www.cs.queensu.ca.
10. W.G. Phillips and T.C.N. Graham. Workspace Model Specification, version 1.0. Technical report 2005-493. Queen's University, Kingston, Ontario, Canada. March, 2005. Available from www.cs.queensu.ca.
11. W.G. Phillips and T.C.N. Graham. Workspaces: A multi-level architectural style for synchronous groupware. In Proceedings of the Tenth International Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS '03), number 2844 in LNCS, pages 92-106. Springer-Verlag, 2003.
12. C. Sun and C. Ellis. Operational transformation in real-time group editors: Issues, algorithms, and achievments. In Proceedings of the ACM Conference on ComputerSupported Cooperative Work (CSCW '98, Seattle, WA, USA), pages 59-68. ACM Press, 1998.
13. R. van Renesse, K.P. Birman and S. Maffeis. Horus, a flexible group communication system, Communications of the ACM, volume 39, issue 4, pp.76-83,April 1996.