|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
|
 |
3
|
|
| |
4
|
Penrose, R. The Emperor's New Mind. Oxford University Press, Oxford, England, 1989.
|
| |
5
|
|
| |
6
|
Turing, A. Computing machinery and intelligence. Mind 59, 236 (1950), 33-60.
|
| |
7
|
|
| |
8
|
Wegner, P. Interactive foundations of object-based programming. IEEE Comp~t. 28, 10 (1995), 70-72.
|
| |
9
|
|
| |
10
|
Wegner, P Interactive software technology. In Handbook of Computer Science and Engineering, A. Tucker, ed. CRC Press, Boca Raton, Fla., 1997.
|
| |
11
|
Wegner, P. Frameworks for active compound documents. Brown Univ. tech. rep. CS-97-1. www'cs'br~wn'edu/pe~ple/pw'
|
CITED BY 72
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dina Q. Goldin , Scott A. Smolka , Paul C. Attie , Elaine L. Sonderegger, Turing machines, transition systems, and interaction, Information and Computation, v.194 n.2, p.101-128, November 1, 2004
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Walter Dosch , Pornsiri Muenchaisri , Wuttipong Ruanthong , Annette Stümpel, Model checking for input/output properties of a black-box model, Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology, p.120-127, April 02-04, 2007, Phuket, Thailand
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
John Krogstie , Kalle Lyytinen , Andreas Lothe Opdahl , Barbara Pernici , Keng Siau , Kari Smolander, Research areas and challenges for mobile information systems, International Journal of Mobile Communications, v.2 n.3, p.220-234, September 2004
|
|
|
|
|
|
|
|
|
Carsten Sørensen , Adel Al-Taitoon , Jan Kietzmann , Daniele Pica , Gamel Wiredu , Silvia Elaluf-Calderwood , Kofi Boateng , Masao Kakihara , David Gibson, Exploring enterprise mobility: Lessons from the field, Information-Knowledge-Systems Management, v.7 n.1,2, p.243-271, April 2008
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Longbing Cao , Ruwei Dai , Mengchu Zhou, Metasynthesis: M-space, M-interaction, and M-computing for open complex giant systems, IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, v.39 n.5, p.1007-1021, September 2009
|
|
|
|
INDEX TERMS
Primary Classification:
H.
Information Systems
H.5
INFORMATION INTERFACES AND PRESENTATION (I.7)
H.5.2
User Interfaces (D.2.2, H.1.2, I.3.6)
Subjects:
Theory and methods
Additional Classification:
F.
Theory of Computation
F.1
COMPUTATION BY ABSTRACT DEVICES
F.1.1
Models of Computation
Subjects:
Bounded-action devices (e.g., Turing machines, random access machines);
Computability theory
F.4
MATHEMATICAL LOGIC AND FORMAL LANGUAGES
H.
Information Systems
H.1
MODELS AND PRINCIPLES
H.5
INFORMATION INTERFACES AND PRESENTATION (I.7)
H.5.2
User Interfaces (D.2.2, H.1.2, I.3.6)
Subjects:
Interaction styles (e.g., commands, menus, forms, direct manipulation)
General Terms:
Algorithms,
Theory,
Verification
|