| |
Euro-Par 2007 Parallel Processing (2007), pp. 293-293.
|
| |
In SIGMOD '96: Proceedings of the 1996 ACM SIGMOD international conference on Management of data, Vol. 25, No. 2. (June 1996), pp. 173-182.
|
| |
Lecture Notes in Computer Science : Euro-Par 2005 Parallel Processing (2005), pp. 633-643.
|
| |
Database and Expert Systems Applications, 2006. DEXA '06. 17th International Conference on In Database and Expert Systems Applications, 2006. DEXA '06. 17th International Conference on (2006), pp. 390-394.
|
| |
Web Services, 2007. ICWS 2007. IEEE International Conference on In Web Services, 2007. ICWS 2007. IEEE International Conference on (2007), pp. 591-598.
|
| |
Reliable Distributed Systems, 2006. SRDS '06. 25th IEEE Symposium on In Reliable Distributed Systems, 2006. SRDS '06. 25th IEEE Symposium on (2006), pp. 377-390.
|
| |
|
| |
|
| |
Distributed Computing Systems, 2000. Proceedings. 20th International Conference on In Distributed Computing Systems, 2000. Proceedings. 20th International Conference on (2000), pp. 464-474.
|
| |
Internet Computing, IEEE In Internet Computing, IEEE, Vol. 8, No. 5. (2004), pp. 66-72.
|
| |
In VLDB '01: Proceedings of the 27th International Conference on Very Large Data Bases (2001), pp. 601-610.
|
| |
In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles (2005), pp. 59-74.
|
| |
In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 13-26.
|
| |
Commun. ACM, Vol. 24, No. 1. (January 1981), pp. 9-17.
|
| |
ACM Trans. Comput. Syst., Vol. 3, No. 2. (May 1985), pp. 145-159.
|
| |
ACM Trans. Comput. Syst., Vol. 3, No. 1. (February 1985), pp. 63-75.
|
| |
In Parallel and Distributed Algorithms: proceedings of the International Workshop on Parallel and Distributed Algorithms
|
| |
In PODC '84: Proceedings of the third annual ACM symposium on Principles of distributed computing (1984), pp. 233-242.
|
| |
Security and Privacy, 2000. S&P 2000. Proceedings. 2000 IEEE Symposium on (2000), pp. 230-245.
|
| |
In Proceedings of the 13th Working Conference on Reverse Engineering (2006)
|
| |
In Proceedings of the Network and Distributed System Security Symposium (NDSS 2005) (2005)
|
| |
In Protocol Specification Testing and Verification (1995), pp. 3-18.
|
| |
Formal Methods in System Design, Vol. 1, No. 2/3. (1992), pp. 275-288.
|
| |
In ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis (2000), pp. 14-25.
|
| |
In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science (1990), pp. 1-33.
|
| |
|
| |
Software: Practice and Experience, Vol. 30, No. 7. (2 May 2000), pp. 775-802.
|
| |
|
| |
J. Comput. Secur., Vol. 9, No. 3. (January 2001), pp. 217-250.
|
| |
In SPIN '01: Proceedings of the 8th international SPIN workshop on Model checking of software (2001), pp. 103-122.
|
| |
In SP '05: Proceedings of the 2005 IEEE Symposium on Security and Privacy (2005), pp. 32-46.
|
| |
In SP '05: Proceedings of the 2005 IEEE Symposium on Security and Privacy (2005), pp. 226-241.
|
| |
In OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 32, No. 10. (October 1997), pp. 108-124.
|
| |
In 2nd International Symposium on Programming (April 1976), pp. 106-130.
|
| |
|
| |
The Computer Journal, Vol. 30, No. 1. (1987), pp. 63-69.
|
| |
American Economic Review, Vol. 89, No. 5. (December 1999), pp. 1279-1298.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Computer, Vol. 31, No. 5. (1998), pp. 32-40.
|
| |
|
| |
Commun. ACM, Vol. 46, No. 10. (October 2003), pp. 24-28.
|
| |
In Proc. Second International Conference, DIMVA 2005 (2005)
|
| |
In Computational Complexity (2000), pp. 1-17.
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 35-46.
|
| |
|
| |
|
Search
