skip to main content
Skip header Section
Interactive Computation: The New ParadigmOctober 2006
Publisher:
  • Springer-Verlag
  • Berlin, Heidelberg
ISBN:978-3-540-34666-1
Published:01 October 2006
Skip Bibliometrics Section
Bibliometrics
Abstract

No abstract available.

Cited By

  1. ACM
    Dodd C and Cordella A It Takes Two to Tango Proceedings of the 20th Annual International Conference on Digital Government Research, (389-397)
  2. ACM
    Burgin M and Dodig-Crnkovic G A Taxonomy of Computation and Information Architecture Proceedings of the 2015 European Conference on Software Architecture Workshops, (1-8)
  3. ACM
    Chatty S, Magnaudet M and Prun D Verification of properties of interactive components from their executable code Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, (276-285)
  4. Jankowski A, Skowron A and Swiniarski R (2014). Perspectives on Uncertainty and Risk in Rough Sets and Interactive Rough-Granular Computing, Fundamenta Informaticae, 129:1-2, (69-84), Online publication date: 1-Jan-2014.
  5. Banu-Demergian I and Stefanescu G (2019). Towards a Formal Representation of Interactive Systems, Fundamenta Informaticae, 131:3-4, (313-336), Online publication date: 1-Jul-2014.
  6. ACM
    Sarkar S, Sharma V and Agarwal R Creating design from requirements and use cases Proceedings of the 5th India Software Engineering Conference, (3-12)
  7. Cabessa J and Villa A (2012). The expressive power of analog recurrent neural networks on infinite input streams, Theoretical Computer Science, 436, (23-34), Online publication date: 1-Jun-2012.
  8. ACM
    Aho A (2011). Ubiquity symposium: Computation and Computational Thinking, Ubiquity, 2011:January, Online publication date: 1-Jan-2011.
  9. Dodig-Crnkovic G (2011). Significance of Models of Computation, from Turing Model to Natural Computation, Minds and Machines, 21:2, (301-322), Online publication date: 1-May-2011.
  10. ACM
    Denning P (2010). Ubiquity symposium 'What is computation?', Ubiquity, 2010:October, Online publication date: 1-Oct-2010.
  11. ACM
    Reeves S and Sherwood S Five design challenges for human computation Proceedings of the 6th Nordic Conference on Human-Computer Interaction: Extending Boundaries, (383-392)
  12. ACM
    Denning P (2010). Ubiquity symposium 'What is computation?', Ubiquity, 2010:November, Online publication date: 1-Nov-2010.
  13. ACM
    Conery J (2010). Ubiquity symposium 'What is computation?', Ubiquity, 2010:November, Online publication date: 1-Nov-2010.
  14. Skowron A and Wasilewski P Information systems in modeling interactive computations on granules Proceedings of the 7th international conference on Rough sets and current trends in computing, (730-739)
  15. Skowron A Discovery of processes and their interactions from data and domain knowledge Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I, (12-21)
  16. ACM
    Bell M, Reeves S, Brown B, Sherwood S, MacMillan D, Ferguson J and Chalmers M EyeSpy Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, (123-132)
  17. Jankowski A, Skowron A and Szczuka M Interactive Granular Computing in Rightly Judging Systems Proceedings of the 4th International Conference on Rough Sets and Knowledge Technology, (1-16)
  18. Barrett C, Bisset K, Eubank S, Feng X and Marathe M EpiSimdemics Proceedings of the 2008 ACM/IEEE conference on Supercomputing, (1-12)
  19. Wiedermann J and Leeuwen J How We Think of Computing Today Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms, (579-593)
  20. Dragoi C and Stefanescu G On compiling structured interactive programs with registers and voices Proceedings of the 34th conference on Current trends in theory and practice of computer science, (259-270)
  21. Sánchez C, Slanina M, Sipma H and Manna Z The reaction algebra Pillars of computer science, (596-619)
  22. ACM
    Denning P (2007). Computing is a natural science, Communications of the ACM, 50:7, (13-18), Online publication date: 1-Jul-2007.
  23. Reisig W, Bretschneider J, Fahland D, Lohmann N, Massuthe P and Stahl C Services as a paradigm of computation Formal methods and hybrid real-time systems, (521-538)
  24. ACM
    Wegner P and Goldin D (2006). Principles of problem solving, Communications of the ACM, 49:7, (27-29), Online publication date: 1-Jul-2006.
  25. Arbab F and Kok J Interaction and coordination of tools for structured data Proceedings of the First international conference on Leveraging Applications of Formal Methods, (1-8)
Contributors
  • Brown University
  • Stony Brook University
  • Brown University

Recommendations