default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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 - Olivier Finkel, Pierre Simonnet:
On Recognizable Tree Languages Beyond the Borel Hierarchy. 287-303 - 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
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.
last updated on 2025-12-04 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
