Journal: Electronic Notes in Theoretical Computer Science

Volume 146, Issue 2

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

Volume 146, Issue 1

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