Volume 146, Number 1, January 2006

Proceedings of the First International Workshop on Context for Web Services (CWS 2005)

• 
  Djamal Benslimane, Chirine Ghedira, Zakaria Maamar: Preface. 1-2
• 
  David Martin: Putting Web Services in Context. 3-16
• 
  Christophe Gravier, Jacques Fayolle: A Composite Web Service Supporting User Context to Provide an Adapted Remote Control of High Technology Instruments. 17-32
• 
  Yasmine Charif, Nicolas Sabouret: An Overview of Semantic Web Services Composition Approaches. 33-41
• 
  Sattanathan Subramanian, Nanjangud C. Narendra, Zakaria Maamar: Ontologies for Specifying and Reconciling Contexts of Web Services. 43-57
• 
  Liliana Ardissono, Antonio Di Leva, Giovanna Petrone, Marino Segnan, Michele Sonnessa: Adaptive Medical Workflow Management for a Context-Dependent Home Healthcare Assistance Service. 59-68
• 
  Cinzia Cappiello, Marco Comuzzi, Enrico Mussi, Barbara Pernici: Context Management for Adaptive Information Systems. 69-84
• 
  Ghita Kouadri Mostéfaoui, Patrick Brézillon: Context-Based Constraints in Security: Motivations and First Approach. 85-100
• 
  Christos Doulkeridis, Nikos Loutas, Michalis Vazirgiannis: A System Architecture for Context-Aware Service Discovery. 101-116
• 
  Chirine Ghedira, Haithem Mezni: Through Personalized Web Service Composition Specification: From BPEL to C-BPEL. 117-132

Volume 146, Number 2, January 2006

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design (FMGALS 2005)

• 
  Ken S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin: Preface. 1-3
• 
  Ankur Agiwal, Montek Singh: Multi-Clock Latency-Insensitive Architecture and Wrapper Synthesis. 5-28
• 
  David S. Bormann: GALS Test Chip on 130nm Process. 29-40
• 
  Julien Boucaron, Jean-Vivien Millo, Robert de Simone: Another Glance at Relay Stations in Latency-Insensitive Design. 41-59
• 
  Luca P. Carloni: The Role of Back-Pressure in Implementing Latency-Insensitive Systems. 61-80
• 
  Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alexandre Yakovlev: Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. 81-103
• 
  Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin: A Verification Approach for GALS Integration of Synchronous Components. 105-131
• 
  Frank K. Gürkaynak, Stephan Oetiker, Hubert Kaeslin, Norbert Felber, Wolfgang Fichtner: Design Challenges for a Differential-Power-Analysis Aware GALS-based AES Crypto ASIC. 133-149
• 
  Julien Ouy: A Survey of Desynchronization in a Polychronous Model of Computation. 151-167
• 
  Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin: A Functional Programming Framework for Latency Insensitive Protocol Validation. 169-188
• 
  Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang: Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. 189-206