| |
In CHI '07: Proceedings of the SIGCHI conference on Human factors in computing systems (2007), pp. 1347-1350.
|
| |
|
| |
The Code4Lib Journal, No. 4. (September 2008)
|
| |
|
| |
D-Lib Mag., Vol. 13, No. 3-4. (2007)
|
| |
|
| |
|
| |
|
| |
|
| |
In SIGCSE '02: Proceedings of the 33rd SIGCSE technical symposium on Computer science education (2002), pp. 116-120.
|
| |
Proceedings of the American Society for Information Science and Technology, Vol. 41, No. 1. (2004), pp. 138-146.
|
| |
In VEE '06: Proceedings of the 2nd international conference on Virtual execution environments (2006), pp. 144-153.
|
| |
Commun. ACM, Vol. 51, No. 7. (July 2008), pp. 9-11.
|
| |
Commun. ACM, Vol. 51, No. 7. (July 2008), pp. 60-69.
|
| |
In Proceedings of the 7th IEEE Workshop on Hot Topics in Operating Systems (March 1999), pp. 116-121.
|
| |
Journal of Visual Languages & Computing, Vol. 4, No. 3. (September 1993), pp. 211-266.
|
| |
|
| |
In Revised Lectures on Software Visualization, International Seminar (2002), pp. 176-190.
|
| |
CrossTalk, The Journal of Defense Software Engineering, Vol. 21, No. 1. (January 2008), pp. 28-30.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 178 (2007), pp. 101-109.
|
| |
Reverse Engineering, Working Conference on In WCRE '06: Proceedings of the 13th Working Conference on Reverse Engineering, Vol. 0 (2006), pp. 19-28.
|
| |
Hardware and Software, Verification and Testing (2007), pp. 166-182.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 28, No. 5. (September 2003), pp. 337-346.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 8, No. 3. (17 June 2006), pp. 248-260.
|
| |
In SAVCBS '05: Proceedings of the 2005 conference on Specification and verification of component-based systems (2005)
|
| |
In WODA '05: Proceedings of the third international workshop on Dynamic analysis (2005), pp. 1-7.
|
| |
Concurrency and Computation: Practice and Experience, Vol. 19, No. 3. (2007), pp. 311-325.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2005), pp. 211-226.
|
| |
Acta Physico-Chimica Sinica, Vol. 24, No. 3. (January 2008), pp. 359-363.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 21, No. 2. (April 1987), pp. 33-44.
|
| |
In VEE '07: Proceedings of the 3rd international conference on Virtual execution environments (2007), pp. 137-147.
posted to rd by godmar
on 2008-02-13 20:28:05
as 
|
| |
In EuroSys '07: Proceedings of the 2007 conference on EuroSys (2007), pp. 3-16.
posted to rd by godmar
on 2008-02-13 20:28:05
as
|
| |
In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles (2005), pp. 221-234.
posted to rd by godmar
on 2008-02-13 20:28:05
as
|
| |
In Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification (2000), pp. 331-342.
posted to rd by godmar
on 2008-02-13 20:28:05
as
|
| |
In PADD '91: Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging (1991), pp. 85-96.
posted to rd by godmar
on 2008-02-13 20:28:05
as
|
| |
In PPoPP '03: Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming (2003), pp. 179-190.
posted to rd by godmar
on 2008-02-13 20:28:05
as
|
| |
In PPoPP '03: Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming (2003), pp. 167-178.
posted to rd by godmar
on 2008-02-13 20:28:05
as
|
| |
In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 245-255.
posted to rd by godmar
on 2008-02-13 20:28:05
as
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 320-331.
posted to rd by godmar
on 2008-02-13 20:28:05
as
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 308-319.
posted to rd by godmar
on 2008-02-13 20:28:05
as
|
| |
In CCS '07: Proceedings of the 14th ACM conference on Computer and communications security (2007), pp. 116-127.
|
| |
In ICSE '05: Proceedings of the 27th international conference on Software engineering (2005), pp. 664-665.
|
| |
In WI '03: Proceedings of the 2003 IEEE/WIC International Conference on Web Intelligence (2003)
|
| |
In WI '03: Proceedings of the 2003 IEEE/WIC International Conference on Web Intelligence (2003)
|
| |
In WI '03: Proceedings of the 2003 IEEE/WIC International Conference on Web Intelligence (2003)
|
| |
In WI '03: Proceedings of the 2003 IEEE/WIC International Conference on Web Intelligence (2003)
|
| |
In WI '03: Proceedings of the 2003 IEEE/WIC International Conference on Web Intelligence (2003)
|
| |
ACM Trans. Inf. Syst., Vol. 23, No. 1. (January 2005), pp. 103-145.
|
| |
Next Generation Web Services Practices, 2005. NWeSP 2005. International Conference on In Next Generation Web Services Practices, 2005. NWeSP 2005. International Conference on (2005), 6 pp..
|
| |
|
Search
