| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Mauro Caporuscio Mauro Caporuscio, Paola Inverardi , Patrizio Pelliccione : Formal Analysis of Architectural Patterns. EWSA 2004 : 10-24 Mauro Caporuscio, Paola Inverardi , Patrizio Pelliccione : Compositional Verification of Middleware-Based Software Architecture Descriptions. ICSE 2004 : 221-230 Judith A. Stafford , Alexander L. Wolf , Mauro Caporuscio: The Application of Dependence Analysis to Software Architecture Descriptions. SFM 2003 : 52-62 Mauro Caporuscio, Paola Inverardi : Yet Another Framework for Supporting Mobile and Collaborative Work. WETICE 2003 : 81-86 Mauro Caporuscio, Antonio Carzaniga , Alexander L. Wolf : Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications. IEEE Trans. Software Eng. 29 (12): 1059-1071 (2003) Mauro Caporuscio, Antonio Carzaniga , Alexander L. Wolf : An experience in evaluating publish/subscribe services in a wireless network. Workshop on Software and Performance 2002 : 128-133 1 [ 1 ] [ 2 ] 2 [ 3 ] [ 5 ] [ 6 ] 3 [ 5 ] [ 6 ] 4 [ 4 ] 5 [ 1 ] [ 2 ] [ 4 ]  ©2005 Association for Computing Machinery |
