949-824-9127

International Journal of Parallel Programming (IJPP)

Ian G. Harris, Franco Fummi: Guest Editor’s Introduction. International Journal of Parallel Programming (IJPP) 34(1):1-2 (2006) Samar Abdi, Daniel Gajski: Verification of System Level Model Transformations. International Journal of Parallel Programming (IJPP)...

IEEE Computer

Martin Bichler, Kwei-Jay Lin: Service-Oriented Computing. IEEE Computer 39(3): 99-101 (2006)

Electronic Notes in Theoretical Computer Science (ENTCS)

Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin: A Verification Approach for GALS Integration of Synchronous Components. Electr. Notes Theor. Comput. Sci. 146(2): 105-131 (2006)

Communications for the ACM (CACM)

Mark D. Hill, Jean-Luc Gaudiot, Mary W. Hall, Joe Marks, Paolo Prinetto, Donna Baglio: A Wiki for discussing and promoting best practices in research. Commun. ACM 49(9): 63-64 (2006)