Fundamenta Informaticae, Volume 95
Volume 95, Number 1, 2009
Dominic Wist, Ralf Wollowski, Mark Schäfer, Walter Vogler: Avoiding Irreducible CSC Conflicts by Internal Communication. 1-29- Navid Toosizadeh, Safwat G. Zaky: Application of Concurrency in the Asynchronous Design of Write-after-read Operations. 31-52
- Shufan Yang, Stephen B. Furber, Yebin Shi, Luis A. Plana: A Token-Managed Admission Control System for QoS Provision on a Best-Effort GALS Interconnect. 53-72
- Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro: Dynamic Error Handling in Service Oriented Applications. 73-102
- Sun Meng, Farhad Arbab: QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. 103-128
- Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. 129-155
- Jasen Markovski, Erik P. de Vink: Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra. 157-186
- Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz: Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. 187-217
- Agnes Madalinski, Eric Fabre: Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings. 219-244
Volume 95, Numbers 2-3, 2009
- Mehdi Chehel Amirani, Ali Asghar Beheshti Shirazi: Evaluation of the Texture Analysis Using Spectral Correlation Function. 245-262
- Aleksander Byrski, Robert Schaefer: Stochastic Model of Evolutionary and Immunological Multi-Agent Systems: Mutually Exclusive Actions. 263-285
- Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida: Verifying a Class: combining Testing and Proving. 305-324
- Robert Schaefer, Aleksander Byrski, Maciej Smolka: Stochastic Model of Evolutionary and Immunological Multi-Agent Systems: Parallel Execution of Local Actions. 325-348
- Krzysztof Trojanowski: Properties of Quantum Particles in Multi-Swarms for Dynamic Optimization. 349-380
- Sándor Vágvölgyi: Congruences Generated by Extended Ground Term Rewrite Systems. 381-399
Volume 95, Number 4, 2009
- Prithwish Chakraborty, Gourab Ghosh Roy, Swagatam Das, Dhaval Jain, Ajith Abraham: An Improved Harmony Search Algorithm with Differential Mutation Operator. 401-426
- Zhihua Cui, Xingjuan Cai: Integral Particle Swarm Optimization with Dispersed Accelerator Information. 427-447
- Bogdan Kwolek: Particle Swarm Optimization Based Object Tracking. 449-463
- Hongbo Liu, Ajith Abraham, Zuwen Wang: A Multi-swarm Approach to Multi-objective Flexible Job-shop Scheduling Problems. 465-489
- Ming-Tsung Liu, Pao-Ta Yu: Robust Candidate Pruning Approach Based on the PSO-SVM for Fast Corner Detection with Noise Tolerance in Gray-Level Images. 491-510
- Millie Pant, Radha Thangaraj, Ajith Abraham: Low Discrepancy Initialized Particle Swarm Optimization for Solving Constrained Optimization Problems. 511-531
- Sheela Ramanna, Amir H. Meghdadi: Measuring Resemblances Between Swarm Behaviours: A Perceptual Tolerance Near Set Approach. 533-552
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team