| |
|
| |
|
| |
|
| |
In SOSP '09: Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles (2009), pp. 87-102.
by Jeff H. Perkins, Sunghun Kim, Sam Larsen, et al.Saman Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng F. Wong, Yoav Zibin, Michael D. Ernst, Martin Rinard
|
| |
Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on In Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on (7 July 1994), pp. 458-465.
|
| |
Sci. Comput. Program., Vol. 69, No. 1-3. (2007), pp. 35-45.
|
| |
In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 282-291.
|
| |
IEEE Transactions on Dependable and Secure Computing In Dependable and Secure Computing, IEEE Transactions on, Vol. 1, No. 1. (January 2004), pp. 11-33.
|
| |
ACM Trans. Inf. Syst. Secur., Vol. 2, No. 3. (August 1999), pp. 295-331.
|
| |
|
| |
Software Testing, Verification and Reliability, Vol. 16, No. 1. (2006)
|
| |
In ISSTA '96: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 21, No. 3. (May 1996), pp. 209-215.
|
| |
In Software Testing, Verification and Validation Workshops, 2009. ICSTW '09. International Conference on (April 2009), pp. 255-262.
|
| |
|
| |
|
| |
In AMCIS 2007 (9--12 August 2007)
|
| |
In 7th World Multiconference on Systemics, Cybernetics and Informatics (2003), pp. 345-348.
|
| |
Formal Methods in System Design, Vol. 24, No. 2. (1 March 2004), pp. 129-155.
|
| |
In DIMEA '07: Proceedings of the 2nd international conference on Digital interactive media in entertainment and arts (2007), pp. 113-120.
|
| |
Cluster Computing and the Grid, 2008. CCGRID '08. 8th IEEE International Symposium on In Cluster Computing and the Grid, 2008. CCGRID '08. 8th IEEE International Symposium on (2008), pp. 584-589.
|
| |
Comput. Netw., Vol. 52, No. 9. (2008), pp. 1838-1845.
|
| |
INFOCOM 2001. Twentieth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. IEEE In INFOCOM 2001. Twentieth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. IEEE, Vol. 1 (2001), pp. 104-113 vol.1.
|
| |
In NetGames '04: Proceedings of 3rd ACM SIGCOMM workshop on Network and system support for games (2004), pp. 134-138.
|
| |
|
| |
In ACE '06: Proceedings of the 2006 ACM SIGCHI international conference on Advances in computer entertainment technology (2006), 4.
|
| |
In NetGames '05: Proceedings of 4th ACM SIGCOMM workshop on Network and system support for games (2005), pp. 1-8.
|
| |
|
| |
In Seattle Weekly (10 July 2007)
|
| |
In Kotaku (16 September 2008)
|
| |
In The Sunday Times (27 April 2008)
|
| |
|
| |
IEEE Transactions on Software Engineering In Software Engineering, IEEE Transactions on, Vol. 30, No. 12. (2004), pp. 859-872.
|
| |
|
| |
|
| |
|
| |
In To Be Announced (2010)
|
| |
In Gamasutra (15 August 2003)
|
| |
In Proceedings of AIIDE 2004 (2004)
|
| |
Ars Technica (15 February 2009)
|
| |
|
| |
|
| |
Journal of Computer-Mediated Communication, Vol. 13, No. 4. (2 September 2008), pp. 993-1018.
|
| |
In Changing Views: Worlds in Play (2005)
|
| |
In Situated Play (September 2007), pp. 349-356.
|
| |
International Journal of Internet Research Ethics, Vol. 2, No. 1. (February 2009), pp. 5-37.
|
| |
|
| |
|
| |
CyberPsychology & Behavior, Vol. 7, No. 5. (2004), pp. 511-518.
|
| |
Games and Culture, Vol. 1, No. 4. (1 October 2006), pp. 318-337.
|
| |
|
Search
