Electronic Notes in Theoretical Computer Science, Volume 146

Volume 146, Number 1, January 2006

• Djamal Benslimane, Chirine Ghedira, Zakaria Maamar:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• David Martin:
  Putting Web Services in Context. 3-16
  Electronic Edition (link) BibTeX
• Christophe Gravier, Jacques Fayolle:
  A Composite Web Service Supporting User Context to Provide an Adapted Remote Control of High Technology Instruments. 17-32
  Electronic Edition (link) BibTeX
• Yasmine Charif, Nicolas Sabouret:
  An Overview of Semantic Web Services Composition Approaches. 33-41
  Electronic Edition (link) BibTeX
• Subramanian Sattanathan, Nanjangud C. Narendra, Zakaria Maamar:
  Ontologies for Specifying and Reconciling Contexts of Web Services. 43-57
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Cinzia Cappiello, Marco Comuzzi, Enrico Mussi, Barbara Pernici:
  Context Management for Adaptive Information Systems. 69-84
  Electronic Edition (link) BibTeX
• Ghita Kouadri Mostéfaoui, Patrick Brézillon:
  Context-Based Constraints in Security: Motivations and First Approach. 85-100
  Electronic Edition (link) BibTeX
• Christos Doulkeridis, Nikos Loutas, Michalis Vazirgiannis:
  A System Architecture for Context-Aware Service Discovery. 101-116
  Electronic Edition (link) BibTeX
• Chirine Ghedira, H. Mezni:
  Through Personalized Web Service Composition Specification: From BPEL to C-BPEL. 117-132
  Electronic Edition (link) BibTeX

Volume 146, Number 2, January 2006

• Ken S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin:
  Preface. 1-3
  Electronic Edition (link) BibTeX
• Ankur Agiwal, Montek Singh:
  Multi-Clock Latency-Insensitive Architecture and Wrapper Synthesis. 5-28
  Electronic Edition (link) BibTeX
• David S. Bormann:
  GALS Test Chip on 130nm Process. 29-40
  Electronic Edition (link) BibTeX
• Julien Boucaron, Jean-Vivien Millo, Robert de Simone:
  Another Glance at Relay Stations in Latency-Insensitive Design. 41-59
  Electronic Edition (link) BibTeX
• Luca P. Carloni:
  The Role of Back-Pressure in Implementing Latency-Insensitive Systems. 61-80
  Electronic Edition (link) BibTeX
• Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alex Yakovlev:
  Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. 81-103
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Julien Ouy:
  A Survey of Desynchronization in a Polychronous Model of Computation. 151-167
  Electronic Edition (link) BibTeX
• Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin:
  A Functional Programming Framework for Latency Insensitive Protocol Validation. 169-188
  Electronic Edition (link) BibTeX
• Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang:
  Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. 189-206
  Electronic Edition (link) BibTeX