


Остановите войну!
for scientists:
Electronic Notes in Theoretical Computer Science, Volume 263
Volume 263, June 2010
- Sun Meng, Bernhard Schätz:
Preface. 1-3 - Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix:
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. 5-30 - Philippe Balbiani
, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko
:
Composition of Services with Constraints. 31-46 - Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch:
Behaviour Protocols for Interacting Stateful Components. 47-66 - Andreas Both, Wolf Zimmermann, René Franke:
Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. 67-94 - Antonio Cansado, Carlos Canal
, Gwen Salaün, Javier Cubo
:
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. 95-110 - Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier:
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. 111-127 - Narges Khakpour, Saeed Jalili
, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
:
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. 129-143 - Johannes Kloos, Robert Eschbach:
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. 145-160 - Giovanni Lagorio, Marco Servetto, Elena Zucca:
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. 161-177 - Markus Lumpe:
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata. 179-195 - Mila E. Majster-Cederbaum, Nils Semmelrock:
Reachability in Tree-Like Component Systems is PSPACE-Complete. 197-210 - James R. Williams, Fiona A. C. Polack:
Automated Formalisation for Verification of Diagrammatic Models. 211-226

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.