


Остановите войну!
for scientists:
Electronic Notes in Theoretical Computer Science, Volume 82
Volume 82, Number 1, 2003
- H. Peter Gumm:
6th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003. Electronic Notes in Theoretical Computer Science 82(1), Elsevier 2003 [contents]
Volume 82, Number 2, 2003
- Jens Knoop, Wolf Zimmermann:
Preface. 343-344 - Ernst-Rüdiger Olderog:
Translation and Optimization in the Verification of Real-Time Systems. 345 - Henning Dierks:
Moby/RT: A Tool for Specification and Verification of Real-Time Systems. 346 - Manuel M. T. Chakravarty, Gabriele Keller
, Patryk Zadarnowski:
A Functional Perspective on SSA Optimisation Algorithms. 347-361 - Andreas Hartmann, Wolfram Amme, Jeffery von Ronne
, Michael Franz:
Code Annotation for Safe and Efficient Dynamic Object Resolution. 362-376 - Stefan Berghofer, Martin Strecker:
Extracting a formally verified, fully executable compiler from a proof assistant. 377-394 - Christophe Alias, Denis Barthou:
On the Recognition of Algorithm Templates. 395-409 - Sabine Glesner, Jan Olaf Blech
:
Classifying and Formally Verifying Integer Constant Folding. 410-425 - Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie:
A Java Card CAP converter in PVS. 426-442 - Gerolf Hoflehner, Daniel M. Lavery, David C. Sehr:
The compiler as a validation and evaluation tool. 443-460
Volume 82, Number 3, 2003
April 2003
- Barrett R. Bryant, João Saraiva
:
Preface. 461-462 - Jan Kort, Ralf Lämmel
:
A Framework for Datatype Transformation. 463-482 - Tom Mens
, Serge Demeyer
, Bart Du Bois, Hans Stenten, Pieter Van Gorp:
Refactoring: Current Research and Future Trends. 483-499 - Alexey Ya. Kalinov, Alexander S. Kossatchev
, Alexander K. Petrenko
, Mikhail Posypkin
, Vladimir Shishkov:
Coverage-driven Automated Compiler Test Suite Generation. 500-514 - Kent Lee:
A Formally Verified Register Allocation Framework. 515-531 - Eva Magnusson, Görel Hedin:
Circular Reference Attributed Grammars - Their Evaluation and Applications. 532-554 - Eric Van Wyk:
Aspects as Modular Language Extensions. 555-574 - Mark van den Brand
, Steven Klusener, Leon Moonen
, Jurgen J. Vinju
:
Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation. 575-591 - Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard:
The metafront System: Extensible Parsing and Transformation. 592-611 - Gennaro Costagliola
, Vincenzo Deufemia
, Filomena Ferrucci, Carmine Gravino
:
Exploiting XPG for Visual Languages: Definition, Analysis and Development. 612-627 - Jean-Michel Hufflen:
Mixing Two Bibliography Style Languages. 628-642 - Marisol Sánchez, Pedro J. Clemente
, Juan Manuel Murillo
, Juan Hernández Núñez
:
CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment. 643-658
Volume 82, Number 4, 2003
April 2003
- Zdzislaw Pawlak:
Probability, Truth and Flow Graph. 1-9 - Mohua Banerjee, Mihir K. Chakraborty:
Foundations of Vagueness : a Category-theoretic Approach. 10-19 - Jan G. Bazan, James F. Peters, Andrzej Skowron
, Hung Son Nguyen
, Marcin S. Szczuka
:
Rough Set Approach to Pattern Extraction from Classifiers. 20-29 - Malcolm J. Beynon:
Introduction and Elucidation of the Quality of Sagacity in the Extended Variable Precision Rough Sets Model. 30-39 - Jerzy Blaszczynski, Roman Slowinski:
Incremental Induction of Decision Rules from Dominance-based Rough Approximations. 40-51 - Zbigniew Bonikowski:
Algebraic Structures of Rough Sets in Representative Approximation Spaces. 52-63 - Gianpiero Cattaneo, Davide Ciucci
:
An Algebraic Approach to Shadowed Sets. 64-75 - Agnieszka Dardzinska-Glebocka
:
Rule Discovery Based on New Attributes Construction. 76-83 - Krzysztof Dembczynski, Roman Pindur, Robert Susmaga:
Dominance-based Rough Set Classifier without Induction of Decision Rules. 84-95 - Krzysztof Dembczynski, Roman Pindur, Robert Susmaga:
Generation of Exhaustive Set of Rules within Dominance-based Rough Set Approach. 96-107 - Mazen El-Sayed, Daniel Pacholczyk:
Towards a Symbolic Interpretation of Approximate Reasoning. 108-119 - Anna Gomolinska:
Variable-Precision Compatibility Spaces. 120-131 - Jerzy W. Grzymala-Busse:
A Comparison of Three Strategies to Rule Induction from Data with Numerical Attributes. 132-140 - Bozena Kostek
:
"Computing with words" Concept Applied to Musical Information Retrieval. 141-152 - Barbara Marszal-Paszek, Piotr Paszek:
Evidence Theory and VPRS model. 153-163 - Alicja Mieszkowicz-Rolka
, Leszek Rolka
:
Fuzziness in Information Systems. 164-173 - Mikhail Ju. Moshkov:
Greedy Algorithm for Set Cover in Context of Knowledge Discovery Problems. 174-185 - Tetsuya Murai, Yoshiharu Sato, Germano Resconi, Michinori Nakata:
Granular Reasoning Using Zooming In & Out: Aristotle's Categorical Syllogism. 186-197 - Hung Son Nguyen
:
On the Decision Table with Maximal Number of Reducts. 198-205 - Krzysztof Pancerz
, Zbigniew Suraj
:
Modelling Concurrent Systems Specified by Dynamic Information Systems: A Rough Set Approach. 206-218 - Lech Polkowski
, Boleslaw Araszkiewicz:
A Rough Set Approach to Estimating the Game Value and the Shapley Value from Data. 219-227 - Jaroslaw Stepaniuk
, Katarzyna Kierzkowska:
Hybrid Classifier Based on Rough Sets and Neural Networks. 228-238 - Robert Susmaga:
Reducts Versus Constructs: an Experimental Evaluation. 239-250 - Dominik Slezak, Jakub Wroblewski, Marcin S. Szczuka
:
Neural Network Architecture for Synthesis of the Probabilistic Rule Based Classifiers. 251-262 - Dominik Slezak, Wojciech Ziarko:
Attribute Reduction in the Bayesian Version of Variable Precision Rough Set Model. 263-273 - Shusaku Tsumoto:
Statistical Independence as Linear Independence. 274-285 - Shusaku Tsumoto:
Rule Induction with Grouping Target Concepts based on Rough Sets. 286-297 - Alicja Wieczorkowska
, Andrzej Czyzewski:
Rough Set Based Automatic Classification of Musical Instrument Sounds. 298-309 - Yidong Lan, Lin Zhang, Liancheng Liu:
A Method for Extracting Rules from Incomplete Information System. 310-317 - Andrzej Skowron, Marcin S. Szczuka:
Preface. 318-319
Volume 82, Number 5, 2003
April 2003
- Alexander Christoph:
Design Aspects and GRS-based AOD: The GREAT transformation framework. 1-7 - Youssef Hassoun, Constantinos A. Constantinides:
The development of generic definitions of hyperslice packages in Hyper/J. 8-20 - Johann Oberleitner, Thomas Gschwind:
Transforming Application Compositions with XSLTs. 21-32 - Uwe Aßmann
:
Automatic Roundtrip Engineering. 33-41 - Andrés Farías, Yann-Gaël Guéhéneuc:
On the coherence of component protocols. 42-53 - Jens H. Jahnke, Luay Kawasme:
Generation of Asynchronous Component Adapters. 54-69 - Jianxiong Pang, Lynne Blair:
Separating Interaction Concerns from Distributed Feature Components. 70-84 - Welf Löwe, Jonas Lundberg:
A Low-Level Analysis Library for Architecture Recovery. 85-97 - Jonas Lundberg, Welf Löwe:
Architecture Recovery by Semi-Automatic Component Identification. 98-114 - Ursula Scheben, Arnd Poetzsch-Heffter:
Concepts and Techniques simplifying the Assembly Process for Component Instances. 115-131 - Samira Sadaoui:
Composition of Structured Process Specifications. 132-143 - Pieter Schollaert, Wim Vanderperren, Davy Suvée, Viviane Jonckers:
Online reconfiguration of component-based applications in PacoSuite. 144-155 - Máire Casey, Claus Pahl
:
Web Components and the Semantic Web. 156-163 - Anh-Tuyet Le, Jorge Villalobos
, Jacky Estublier:
Multi-Level Composition for Software Federations. 164-173 - Uwe Aßmann, Elke Pulvermüller, Isabelle Borne, Noury Bouraqadi, Pierre Cointe:
Preface - SC 2003: Workshop on Software Composition Affiliated with ETAPS 2003. 174-175
Volume 82, Number 6, 2003
April 2003
- Alexander Pretschner:
Compositional Generation of MC/DC Integration Test Suites. 1-10 - Charalampos Z. Patrikakis
, Thomas Kalamaris, Vaios Kakavas:
Performing integrated system tests using Malicious Component Insertion. 11-21 - Hans-Gerhard Groß, Nikolas Mayer:
Built-In Contract Testing in Component Integration Testing. 22-32 - Reiko Heckel, Marc Lohmann:
Towards Model-Driven Testing. 33-43 - Antonia Bertolino
, Eda Marchetti
, Andrea Polini:
Integration of "Components" to Test Software Components. 44-54 - Leonardo Mariani
:
A Fault Taxonomy for Component-Based Software. 55-65 - Alessandro Fantechi, Emilio Spinicci:
Modelling and Validating a multiple-configuration railway signalling system using SDL. 66-76 - Bartosz Lawniczek, Grzegorz Majka, Pawel Slowikowski, Krzysztof Zielinski, Slawomir Zielinski
:
Grid Infrastructure Monitoring Service Framework Jiro/JMX Based Implementation. 77-88 - Giovanni Denaro
, Leonardo Mariani
, Mauro Pezzè:
Self-Test Components for Highly Reconfigurable Systems. 89-98 - Henry Muccini, André van der Hoek:
Towards Testing Product Line Architectures. 99-109 - Kiyohito Itoh, Hiromi Kobayashi:
A Safety Mechanism Using Software Patterns. 110-120 - Luigi Lavazza
, Sandro Morasca
, Angelo Morzenti:
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems. 121-132 - Giuseppe Lipari, Enrico Bini
, Gerhard Fohler
:
A Framework for Composing Real-Time Schedulers. 133-146 - James Skene, Wolfgang Emmerich:
Model Driven Performance Analysis of Enterprise Information Systems. 147-157 - Antonia Bertolino
, Raffaela Mirandola:
Modeling and Analysis of Non-functional Properties in Component-based Systems. 158-168 - Ismael Rodríguez
, Fernando Rubio
:
A Framework for Selecting Components Automatically: A First Approach. 169-179 - Ana M. Roldán
, Ernesto Pimentel
, Antonio Brogi:
Safe Composition of Linda-based Components. 180-189 - A. S. M. Sajeev, Bugi Wibowo:
UML Modeling for Regression Testing of Component Based Systems. 190-198 - Andrea Baldini, Paolo Prinetto, Giovanni Denaro
, Mauro Pezzè:
Design for Testability for Highly Reconfigurable Component-Based Systems. 199-208 - Mauro Pezzè:
Preface. 209-210
Volume 82, Number 7, 2003
April 2003
- Hartmut Ehrig:
Behaviour and Instantiation of High-Level Net Processes. 1-15 - Milan Urbásek:
Modeling Petri Net Based Systems by Net Transformations: New Developments. 16-33 - Julia Padberg:
Case Study: Modelling Telecom Services with Petri Net Modules. 34-45 - Jörg Desel, Gabriel Juhás
, Robert Lorenz:
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. 46-62 - Fernando Orejas
, Hartmut Ehrig:
Components for Algebra Transformation Systems. 63-78 - Sabine Kuske, Peter Knirsch:
Modeling Agent Systems with Distributed Transformation Units. 79-90 - Niels Van Eetvelde, Dirk Janssens:
A Hierarchical Program Representation for Refactoring. 91-104 - Mark Minas:
XML-based Specification of Diagram Editors. 105-119 - Paolo Bottoni
:
Dynamic aspects of visual modelling languages. 120-132 - Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann:
Model-Based Verification and Validation of Properties. 133-150 - Stuart Kent, Robert Smith:
The Bidirectional Mapping Problem. 151-165 - Roswitha Bardohl, Hartmut Ehrig:
Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. 166-167
Volume 82, Number 8, 2003
April 2003
- Kim B. Bruce:
Some challenging typing issues in object-oriented languages. 1-29 - Giuseppe Milicia, Vladimiro Sassone:
Temporal constraints for concurrent object synchronisation. 30-32 - Lorenzo Bettini
, Sara Capecchi
, Betti Venneri
:
Extending Java to dynamic object behaviors. 33-52 - Christopher Anderson, Sophia Drossopoulou:
BabyJ: from object based to class based programming via types. 53-81 - Gavin M. Bierman, Matthew J. Parkinson:
Effects and effect inference for a core Java calculus. 82-107 - Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou:
Can addresses be types? (A case study: objects with delegation). 108-129 - Ferruccio Damiani
, Paola Giannini
:
Alias types for "environment-aware" computations. 130-150 - Viviana Bono
, Michele Bugliesi:
First Workshop on Object Oriented Developments - Preface. 151-152

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.