| |
|
| |
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on In Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on (2006), 7 pp..
|
| |
In TACAS '97: Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems (1997), pp. 259-274.
|
| |
In WWW '07: Proceedings of the 16th international conference on World Wide Web (2007), pp. 973-982.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (1996), pp. 35-48.
|
| |
|
| |
In WWW '05: Proceedings of the 14th international conference on World Wide Web (2005), pp. 148-159.
|
| |
In WWW '04: Proceedings of the 13th international conference on World Wide Web (2004), pp. 621-630.
|
| |
Business Process Management (2007), pp. 271-287.
|
| |
Service-Oriented Computing – ICSOC 2007 (2007), pp. 56-68.
|
| |
|
| |
Formal Techniques in Real-Time and Fault-Tolerant Systems (1994), pp. 19-40.
|
| |
Data & Knowledge Engineering In Contact-driven coordination and collaboration in the Internet context, Vol. 51, No. 1. (October 2004), pp. 109-147.
|
| |
World Wide Web, Vol. 1, No. 2. (1 June 1998), pp. 101-108.
|
| |
World Wide Web, Vol. 6, No. 1. (1 March 2003), pp. 49-91.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004), Vol. 180, No. 2. (26 June 2007), pp. 55-70.
|
| |
Software Engineering Workshop, 2007. SEW 2007. 31st IEEE In Software Engineering Workshop, 2007. SEW 2007. 31st IEEE (2007), pp. 256-268.
|
| |
SIGPLAN Not., Vol. 40, No. 8. (August 2005), pp. 34-39.
|
| |
Advanced Topics in Exception Handling Techniques (2006), pp. 200-220.
|
| |
The Computer Journal, Vol. 47, No. 6. (1 June 2004), pp. 651-661.
|
| |
ECOOP 2007 – Object-Oriented Programming (2007), pp. 151-175.
|
| |
J. Syst. Softw., Vol. 59, No. 2. (November 2001), pp. 197-222.
|
| |
Theoretical Aspects of Computing – ICTAC 2007 (2007), pp. 260-274.
|
| |
Business Intelligence for the Real-Time Enterprises (2007), pp. 143-156.
|
| |
Concurr. Comput. : Pract. Exper., Vol. 20, No. 3. (March 2008), pp. 297-309.
|
| |
In PPPJ '07: Proceedings of the 5th international symposium on Principles and practice of programming in Java (2007), pp. 175-184.
|
| |
Journal of Systems Architecture, Vol. 47, No. 9. (March 2002), pp. 763-781.
|
| |
|
| |
Journal of Systems and Software, Vol. 59, No. 2. (15 November 2001), pp. 197-222.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 34, No. 4. (October 2000), pp. 21-31.
|
| |
|
| |
Service-Oriented Computing – ICSOC 2006 (2006), pp. 434-439.
|
| |
In ICEC '04: Proceedings of the 6th international conference on Electronic commerce (2004), pp. 31-40.
|
| |
Technologies for E-Services (2003), pp. 78-90.
|
| |
Web Services, E-Business, and the Semantic Web (2002), pp. 68-77.
|
| |
In BASYS '02: Proceedings of the IFIP TC5/WG5.3 Fifth IFIP/IEEE International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services (2002), pp. 87-96.
|
| |
On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE (2002), pp. 91-106.
|
| |
|
| |
Web Services, 2006. ECOWS '06. 4th European Conference on In Web Services, 2006. ECOWS '06. 4th European Conference on (2006), pp. 297-305.
|
| |
e-Business Engineering, 2006. ICEBE '06. IEEE International Conference on In e-Business Engineering, 2006. ICEBE '06. IEEE International Conference on (2006), pp. 307-314.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2006), pp. 233-250.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Vol. 105 (10 December 2004), pp. 133-145.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Journal of Logic and Algebraic Programming In Web Services and Formal Methods, Vol. 70, No. 1. (January 2007), pp. 96-118.
|
Search
