| |
|
| |
|
| |
|
| |
(30 June 2005)
posted to no-tag by 7oby
on 2007-02-20 13:50:50
as 
|
| |
|
| |
Software, IEEE, Vol. 12, No. 6. (1995), pp. 42-50.
|
| |
|
| |
|
| |
|
| |
Computer, Vol. 24, No. 8. (August 1991), pp. 52-60.
|
| |
In SOSP '67: Proceedings of the first ACM symposium on Operating System Principles (1967)
|
| |
|
| |
|
| |
|
| |
Computer, Vol. 39, No. 5. (2006), pp. 33-42.
|
| |
|
| |
IEEE Software, Vol. 20, No. 5. (September 2003), pp. 11-13.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Proc. of Windows Hardware Engineering Conference (May 2004)
|
| |
In Proceedings, International Component Users Conference (1996)
|
| |
In ICSE '94: Proceedings of the 16th international conference on Software engineering (1994), pp. 279-287.
|
| |
In {DIMACS} Partial Order Methods Workshop {IV} (1996)
|
| |
In Proc. 7th USENIX Security Conference (January 1998), pp. 63-78.
|
| |
In Foundations of Component-Based Systems (2000), pp. 47-68.
|
| |
|
| |
IEEE Computer, Vol. 40-51, No. 10. (October 1992)
|
| |
Communications of the ACM, Vol. 15, No. 12. (December 1972), pp. 1053-1058.
|
| |
|
| |
In Proceedings of the NATO Conference on Software Engineering (October 1968), pp. 138-155.
|
| |
In ICSE '03: Proceedings of the 25th International Conference on Software Engineering (2003), pp. 660-667.
|
| |
Lecture Notes in Computer Science In Proceedings of the 14th International Conference on Computer-Aided Verification (CAV), Vol. 2404 (2002), pp. 428-441.
|
| |
In Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), pp. 109-120.
|
| |
Inf. Process. Lett., Vol. 12, No. 3. (1981), pp. 115-116.
|
| |
Dr. Dobb's Journal, Vol. 30, No. 3. (2005)
|
| |
Electronics, Vol. 38, No. 8. (April 1965)
|
| |
Lecture Notes in Computer Science, Vol. 2211 (2001), pp. 148-165.
|
| |
ACM Comput. Surv., Vol. 3, No. 2. (1971), pp. 67-78.
|
| |
Lecture Notes in Computer Science, Vol. 2057 (2001), pp. 103-122.
|
| |
Queue, Vol. 3, No. 9. (2005), pp. 34-41.
|
| |
|
Search
