|
Vol-928
urn:nbn:de:0074-928-1
Copyright ©
2012 for the individual papers
by the papers' authors. Copying permitted only for private and academic purposes.
This volume is published and copyrighted by its editors.
|
CS&P 2012
Concurrency, Specification and Programming
Proceedings of the 21th International Workshop on Concurrency, Specification and Programming
Berlin, Germany, September 26-28, 2012.
Edited by
Humboldt University of Berlin,
Department of Informatics,
Unter den Linden 6, 10099 Berlin, Germany
Table of Contents
-
Relationships Between Length and Coverage of Exact Decision Rules
1-12
Talha Amin, Igor Chikalov, Mikhail Moshkov, Beata Zielosko
-
Greedy Algorithm for Construction of Decision Trees for Tables with Many-Valued Decisions
13-24
Mohammad Azad, Igor Chikalov, Mikhail Moshkov, Beata Zielosko
-
One-counter Circuits
25-36
Vladimir A. Bashkin
-
A Class of Hypernets with Token Creation and Decidable Reachability Problem
37-48
Marek A. Bednarczyk, Piotr Jóźwiak, Wiesław Pawłowski
-
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures
49-60
Marco Bellia, M. Eugenia Occhiuto
-
Equations for Asynchronous Message Passing
61-72
Ludwik Czaja
-
Self-Organizing Feature Maps in Correlating Groups of Time Series: Experiments with Indicators Describing Entrepreneurship
73-78
Marta Czyżewska, Jarosław Szkoła, Krzysztof Pancerz
-
One Graph to Rule Them All - Software Measurment and Management
79-90
Robert Dąbrowski, Krzysztof Stencel, Grzegorz Timoszuk
-
Properties of Languages with Catenation and Shuffle
91-102
Nils Erik Flick, Manfred Kudlek
-
A Hierarchy of Languages with Catenation and Shuffle
103-114
Nils Erik Flick, Manfred Kudlek
-
Computer-Driven Searching for Axiomatization of Rough Sets
115-122
Adam Grabowski
-
Information Flow and Concurrent Imperative Languages
123-134
Damas P. Gruska
-
Test Based Security
135-146
Damas P. Gruska
-
Towards a Computational Steering and Petri Nets Framework for the Modelling of Biochemical Reaction Networks
147-159
Mostafa Herajy, Monika Heiner
-
Average Depth and Number of Misclassifications for Decision Trees
160-169
Igor Chikalov, Shahid Hussain, Mikhail Moshkov
-
Prolog-Based Reasoning Layer for Counter-Strike Agents
170-181
Grzegorz Jaśkiewicz
-
Knowledge Driven Query Sharding
182-190
Adam Krasuski, Marcin Szczuka
-
A New Effective Approach for Modelling and Verification of Security Protocols
191-202
Olga Siedlecka-Lamch, Mirosław Kurkowski, Henryk Piech
-
On the Complexity of Safe, Elementary Hornets
203-214
Michael Köhler-Bußmeier
-
Negotiating Inter-Organisational Processes
215-226
Michael Köhler-Bußmeier
-
Clock Transition Systems
227-238
Didier Lime, Olivier H. Roux, Claude Jard
-
Analyzing Web Service Resource Compatibility
239-250
Irina A. Lomasova, Ivan V. Romanov
-
Rough Set Methods and Submodular Functions
251-260
Hung Son Nguyen, Wojciech Świeboda
-
First Steps towards a Frequent Pattern Mining with Nephrology Data in the Medical Domain
261-268
Matthias Niemann, Danilo Schmidt, Gabriela Lindemann - von Trzebiatowski, Carl Hinrichs
-
Rough Set Flow Graphs and Ant Based Clustering in Classification of Disturbed Periodic Biosignals
269-279
Krzysztof Pancerz, Arkadiusz Lewicki, Ryszard Tadeusiewicz, Jan Warchoł
-
Classification of Voice Signals through Mining Unique Episodes in Temporal Information Systems: A Rough Set Approach
280-291
Krzysztof Pancerz, Wiesław Paja, Mariusz Wrzesień, Jan Warchoł
-
Nearness of Objects. Approximation Space Model Revisited
292-302
James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk
-
On a Notion of Extensionality for Artifacts
303-311
Lech Polkowski, Maria Semeniuk-Polkowska
-
Automatic Forecasting of Design Anti-patterns in Software Source Code
312-323
Łukasz Puławski
-
From EBNF to PEG
324-335
Roman R. Redziejowski
-
Creating driving behavior for artificial agents in a social augmented micro-world
336-342
Martin C. Schneider, Hans-Dieter Burkhard
-
Symbolic Model Checking of Stochastic Reward Nets
343-357
Martin Schwarick
-
Interactive Computational Systems: Rough Granular Approach
358-369
Andrzej Skowron, Andrzej Jankowski, Piotr Wasilewski
-
Generalised Fuzzy Petri Nets for Approximate Reasoning in Decision Support Systems
370-381
Zbigniew Suraj
-
On Minimality and Equivalence of Petri Nets
382-393
Annegret K. Wagler, Jan-Thierry Wegener
-
Universal Query Language
394-403
Piotr Wiśniewski, Krzysztof Stencel
-
Elements of Representation Theory for Pawlak Information Systems
404-415
Marcin Wolski, Anna Gomolińska
-
Rules for Formal and Natural Dialogues in Agent Communication
416-427
Olena Yaskorska, Magdalena Kacprzak, Katarzyna Budzynska
-
On Parameter-Driven Generation of Algorithm Schemes
428-438
Olena Yatsenko
26-Oct-2012: submitted by Louchka Popova-Zeugmann
26-Oct-2012: published on CEUR-WS.org