UML Scrapbook and Realization of Snapshot Programming Environment

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

Volumn 3233, Issue , 2004, Pages 281-295

  Sato, Osamu ^a   Potter, Richard ^a   Yamamoto, Mitsuharu ^b   Hagiya, Masami ^b  

^a UNIVERSITY OF TOKYO   (Japan)

^b CHIBA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER OPERATING SYSTEMS; INTRUSION DETECTION; LINUX; MODEL CHECKING;

CHECK POINTING; DESIGN AND IMPLEMENTATIONS; MULTI-THREADED PROGRAMS; PROGRAMMING ENVIRONMENT; PROGRAMMING INTERFACE; SANDBOXING; SOFTWARE MODEL CHECKING; USER-MODE LINUX;

NETWORK SECURITY;

EID: 35048861790     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-37621-7_15     Document Type: Article

References (12)

1. The User-mode Linux Kernel Home Page [http://user-mode-linux.sourceforge. net/]
2. Patrice Godefroid. "Model Checking for Programming Languages using VeriSoft", Proceedings of the 24th ACM Symposium on Principles of Programming Languages, pages 174-186, Paris, January 1997.
3. M. Musuvathi, D. Park, A. Chou, D. Engler, and D. Dill. "CMC: A Pragmatic Approach to Model Checking Real Code", Usenix Association, OSDI 2002.
4. Richard Potter, "Computation Scrapbook of Emacs Lisp Runtime State", Symposia on Human-Centric Computing Languages and Environments, September 2001.
5. Richard Potter and Masami Hagiya, "Computation Scrapbooks for Software Evolution" , Fifth International Workshop on Principles of Software Evolution, IWPSE 2002. 143-147, May 2002.
6. Software Suspend for Linux [http://swsusp.sourceforge.net/]
7. Network Transferable Computer [http://staff.aist.go.Jp/k.suzaki/NTC/]
8. Hua Zhong and Jason Nieh, "CRAK: Linux Checkpoint/Restart As a Kernel Module", Technical Report CUCS-014-01, Department of Computer Science, Columbia University, November 2001.
9. Kazuhiko Kato and Yoshihiro Oyama, "SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation", Software Security -Theories and Systems, Volume 2609 of Lecture Notes in Computer Science, Springer-Verlag, February 2003.
10. Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled, "Model Checking", The MIT.Press, 1999.
11. VMware [http://www.vmware.com/]
12. Tristan Richardson, Quentin Stafford-Eraser, Kenneth R. Wood & Andy Hopper, "Virtual Network Computing", IEEE Internet Computing, Vol.2 No.l, Jan/Feb 1998 pp33-38.