Content 2006

Vol. 25, 2006

This volume contains 27 articles.

Content 6/2006

Analysis and Design of Mobile Collaborative Applications Using Contextual Elements
Rosa Alarcón, Luis A. Guerrero, Sergio F. Ochoa, José A. Pino
pp. 469–496
The Role of Shared Context in Group Storytelling
Flávia Maria Santoro, Patrick Brézillon
pp. 497–522
Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation
Pedro Antunes, João Ramires, Ana Respício
pp. 523–546
Analyzing Approaches to Collective Knowledge Recall
Naiana Carminatti, Marcos R. S. Borges, José O. Gomes
pp. 547–570
LaCOLLA: A Middleware to Support Self-sufficient Collaborative Groups
Joan Manuel Marquès, Leandro Navarro
pp. 571–595

Content 5/2006

Formal Verification of Security Model Using SPR Tool
Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang
pp. 353–368
Speaker Recognition in the Biometric Security Systems
Filip Orság
pp. 369–391
Analysis of Greedy Algorithm for Vertex Covering of Random Graph by Cubes
Eduard Toman, Martin Stanek
pp. 393–404
Using Heuristic Search for Solving Single Machine Batch Processing Problems
Thanh-Tung Dang, Baltazár Frankovič, Ivana Budinská, Ben Flood, Con Sheahan, Bao-Lam Dang
pp. 405–420
AgentOWL: Semantic Knowledge Model and Agent Architecture
Michal Laclavík, Zoltán Balogh, Marian Babík, Ladislav Hluchý
pp. 421–439
Testability Analysis and Improvements of Register-Transfer Level Digital Circuits
Josef Strnadel
pp. 441–464

Content 4/2006

High Performance Air Quality Simulation in the European CrossGrid Project
J. Carlos Mouriño, María J. Martín, Patricia González, Ramón Doallo
pp. 253–271
An Algorithmic Evaluation of Information Search in a Mobile Agent-Based Demand-Oriented Information Service System
Iftikhar Ahmed, Muhammad Jafar Sadiq
pp. 273–290
User-focused Reference Modelling for 3G and Beyond Mobile and Wireless Applications
Xiaosong Zheng, Petri Pulli
pp. 291–304
Co-Evolutionary Multi-Agent System with Speciation and Resource Sharing Mechanisms
Rafał Dreżewski
pp. 305–331
Linear-Time In-Place Selection with ε.N Element Moves
Viliam Geffert, Ján Kollár
pp. 333–350

Content 2-3/2006

Explanations and Proof Trees
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
pp. 105–125
A Logical Framework for Identifying and Explaining Unexpected News
Emma Byrne
pp. 127–152
Symbolic Explanation of Similarities in Case-based Reasoning
Eva Armengol, Enric Plaza
pp. 153–171
KLEOR: A Knowledge Lite Approach to Explanation Oriented Retrieval
Lisa Cummins, Derek Bridge
pp. 173–193
Explanations for a Decision Support System based on MCDA
Micheline Bélanger, Jean-Marc Martel
pp. 195–221
An Explanation Oriented Dialogue Approach and Its Application to Wicked Planning Problems
Gengshen Du, Michael M. Richter, Guenther Ruhe
pp. 223–249

Content 1/2006

Improving the Generalization Ability of RBNN Using a Selective Strategy Based on the Gaussian Kernel Function
José M. Valls, Inés M. Galván, Pedro Isasi
pp. 1–15
Comparing a Traditional and a Multi-Agent Load-Balancing System
Andraz Bezek, Matjaz Gams
pp. 17–42
Perceptual Recognition of Arabic Literal Amounts
Labiba Souici-Meslati, Mokhtar Sellami
pp. 43–59
From Eager PFL
Ján Kollár, Jaroslav Porubän, Peter Václavík
pp. 61–80
Model Checking of RegCTL
Tomáš Brázdil, Ivana Černá
pp. 81–97