Submit a Paper

Propose a Workshop

The Second International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

September 25-30, 2011 - Rome, Italy

Preliminary Program

ComputationWorld 2011


Conference Hotel
Via Pietro Blaserna, 101 (Quartiere Marconi)
Roma  00146
Phone: (39) 06 556 52 15
Fax: (39) 06 559 32 63

Conference rooms
Time slots

Room A

Room B

Room C

Room D

Sunday, September 25


Registration starts
The registration desk is located in front of the conference rooms
Opened during the entire conference

14:00 - 16:30


Programming-based Systems Biology

by Prof. Dr. Corrado Priami
University of Trento, Italy
President & CEO of The Microsoft Research - University of Trento, Italy

16:30 - 16:45


16:45 - 19:15


Linguistic Geometry Tools: Solving Intractable Search Problems without Search

by Prof. Dr. Boris Stilman
University of Colorado Denver, USA
Chairman & CEO of STILMAN Advanced Strategies, USA


19:30 - 20:30

Welcome Cocktail
You must have your badge to attend the cocktail

Monday, September 26

09:00 - 09:15

Opening session

09:15 - 10:15

Keynote Speaker

The Sky Looks Cloudy but there is a Clear Corner

by Prof. Dr. Massimo Villari
University of Messina, Italy

10:15 - 10:30

Coffee Break

10:30 - 12:15





12:15 - 13:45

Lunch on your own

13:45 - 15:30





15:30 - 15:45

Coffee break

15:45 - 17:30





17:30 - 19:00


Topic: Challenges on Services, Computation, and Cloud Approaches

Massimo Villari, University of Messina, Italy

Peter Van Roy, Université Catholique de Louvain, Belgium
Guadalupe Ortiz Bellot, University of Cádiz, Spain
Kendall Nygard, North Dakota State University, USA
Massimo Villari, University of Messina, Italy

2. Special Topics
3. On-line Journals

Tuesday, September 27

09:15 - 10:15

Keynote Speaker

Linguistic Geometry (LG): Adversarial Reasoning for Real Life Problems

by Prof. Dr. Boris Stilman
University of Colorado Denver, USA
Chairman & CEO STILMAN Advanced Strategies, USA

10:15 - 10:30

Coffee Break

10:30 - 12:15





12:15 - 13:45

Lunch on your own

13:45 - 15:30





15:30 - 15:45

Coffee break

15:45 - 17:30





17:30 - 19:00


Topic: Advanced Mechanisms in Capturing Adaptive and Cognitive Behaviors

Terry Bossomaier, Charles Sturt University, Australia 

Jorge Fox, Institute of Information Science and Technology, CNR, Italy
Andreas Rausch, Technische Universität Clausthal, Germany
Terry Bossomaier, Charles Sturt University, Australia

2. Special Topics
3. On-line Journals

Wednesday, September 28

9:15 -10:15

Keynote Speaker

Content Management: An Area of Research and a Melting Pot of Approaches from Neighboring Fields

by Dr. Hans-Werner Sehring
T-Systems Multimedia Solutions GmbH, Germany

10:15 - 10:30

Coffee Break

10:30 - 12:15





12:15 - 13:45

Lunch on your own

13:45 - 15:30





15:30 - 15:45

Coffee break

15:45 - 17:30






20:30 - 24:00

ComputationWorld 2011 Gala Dinner

Il Giardino di Albino

Via Zucchelli 29 Roma
near "Barberini - Fontana di Trevi" Metro Station

Phone: 064885202 330623111 - Fax: 064885202

Thursday, September 29

9:15 -10:15

Keynote Speaker

Nature-Inspired Optimization: Human and Animal Decision-Making

by Prof. Dr. Hideyasu Sasaki
Chinese University of Hong Kong, Hong Kong

10:15 - 10:30 Coffee break

10:30 - 12:15





12:15 - 13:45

Lunch on your own

13:45 - 15:30





15:30 - 15:45

Coffee break

15:45 - 17:30


Topic: Looking for Patterns in Content: From Design to End-Users Consumption

Hans-Werner Sehring, T-Systems Multimedia Solutions GmbH, Germany

Wolfgang Fohl, HAW Hamburg , Germany
Fritz Laux, Reutlingen University, Germany
Hassan Gomaa, George Mason University - Fairfax , USA
Hans-Werner Sehring, T-Systems Multimedia Solutions GmbH, Germany

2. Special Topics
3. On-line Journals

17:30 - 18:30

Business through Technologies or Technologies through Business

Vagan Terziyan, University of Jyvaskyla, Finland
Petre Dini, Concordia University, Canada / China Space Agency Center, China
Santanu Roy, Institute of Management Technology (IMT), Ghaziabad, India

18:30 - 19:00 Closing session

Friday, September 30

8:00 - 17:00

check the exact timing at the conference
registration desk

One day trip
One day Roma guided visit
(see the registration form, lunch included)
(by bus and walking)

8:00 am: meeting point on via della Conciliazione (Tourist bus parking), main avenue leading to Saint Peter's Basilica or other place close to the church

8:30 - 10:00: climbing of the Cupola of St Peter's Basilica

10:30 - 12:00: guided tour of the Vatican Museums, Sistine Chapel and St. Peter's Basilica.

12:00 - 2:00 pm: walking to the "Trattoria Polese" and lunch break

2:00 - 5:00 pm: walking tour of the city-center to see Piazza Navona, Pantheon and Trevi fountain + panoramic tour and transfer back to hotel.




ADAPTIVE 2011, The Third International Conference on Adaptive and Self-Adaptive Systems and Applications

ADAPTIVE 1: Adaptive applications
Session chair: Marc Kurz

Facilitating Context-Awareness in Composite Mashup Applications
Stefan Pietschmann, Carsten Radeck, Klaus Meißner

Input-adaptive QMC-Kalman filters for track fitting
Rodolfo G. Esteves, Christiane Lemieux, Michael McCool

An Adaptable Process Planning Tool - A Tool for Information, Comunication, and Interaction in a Robot Cell
Fredrik Danielsson, Linn Gustavsson Christiernin

ADAPTIVE 2: Self-adaptation applications
Session chair: Heiko Desruelle

Fungi as Metaphors for Resource Management
Eilidh McAdam, Ruth Falconer, James Bown, John Crawford

Adapting to the Unknown With a few Simple Rules: The glideinWMS Experience
Igor Sfiligoi, Benjamin Hass, Frank Würthwein, Burt Holzman

A Case Study on Self-Sufficiency of Individual Robotic Modules in an Arena With Limited Energy Resources
Humza Qadir Raja, Oliver Scholz

Dependable and Usage-Aware Service Binding
Holger Klus, Dirk Niebuhr, Andreas Rausch

ADAPTIVE 3: Adaptive mechanisms
Session chair: Jorge Fox

The Role of Corticothalamic Feedback in the Response Mode Transition of Thalamus
Jia-xin Cui, Chun-feng Shang

Adaptive Mobile Web Applications Through Fine-Grained Progressive Enhancement
Heiko Desruelle, Dieter Blomme, Frank Gielen

LTE Uplink Power Control and its Impact on Service Performance
Elena-Roxana Cîrstea, Silviu Ciochină

Temporal Mechanisms for Communications in Real-Time Networks
Pascal Lorenz

ADAPTIVE 4: Fundamentals and metrics
Session chair: Heiko Desruelle

A Formal Orchestration Model for Dynamically Adaptable Services with COWS
Jorge Fox

Real-Time Transfer and Evaluation of Activity Recognition Capabilities in an Opportunistic System
Marc Kurz, Gerold Hölzl, Alois Ferscha, Alberto Calatroni, Daniel Roggen, Gerhard Tröster

Self-Adaptive Agents for Debugging Multi-Agent Simulations
Franziska Klügl, Carole Bernon

Mathematical model for the optimal utilization percentile in M/M/1 systems: a contribution about knees in performance curves
Francisco Alejandro Gonzalez-Horta, Rogerio Adrian Enriquez-Caldera, Juan Manuel Ramirez-Cortes, Jorge Martinez-Carballido, Eldamira Buenfil-Alpuche


BUSTECH 2011, The First International Conference on Business Intelligence and Technology

BUSTECH 1: BPM and intelligence
Session chair: Vagan Terziyan

SBVR Based Representation of SPARQL Queries and SWRL Rules for Analyzing Semantic Relations
Algirdas Sukys, Lina Nemuraite, Bronius Paradauskas, Edvinas Sinkevicius

Enterprise Knowledge Modeling and Data Mining Integration
Aukse Stravinskiene, Saulius Gudas

A Business Intelligence Infrastructure Supporting Respiratory Health Analysis
Ricardo Dinis, Alexandre Ribeiro, Maribel Y. Santos, Jorge Cruz, Artur Teles de Araújo

Enforcing the Repeated Execution of Logic in Workflows
Mirko Sonntag, Dimka Karastoyanova

BUSTECH 2: Integration and interoperability
Session chair: Olga Levina

Towards "Executable Reality": Business Intelligence on Top of Linked Data
Vagan Terziyan, Olena Kaykova

Ontology-based Foundations for Data Integration
Virginija Uzdanaviciute, Rimantas Butleris

Facilitating Business Process Discovery using Email Analysis
Matin Mavaddat, Ian Beeson, Stewart Green, Jin Sa

BUSTECH 3: Features of business/technology development
Session chair: Algirdas Sukys

Development of a Validation Method for an Information Technology Governance, Risk Management and Compliance Health Care Framework (PRESENTATION)
Mike Krey, Steven Furnell, Bettina Harriehausen, Matthias Knoll

Reusable Decision Models Supporting Organizational Design in Business Process Management'
Olga Levina, Oliver Holschke

Design Engineering Practices in Indian Manufacturing Firms: An Empirical Study
Santanu Roy, Parthasarathi Banerjee

ValidKI: A Method for Designing Key Indicators to Monitor the Fulfillment of Business Objectives
Olav Skjelkvåle Ligaarden, Atle Refsdal, Ketil Stølen


CLOUD COMPUTING 2011, The Second International Conference on Cloud Computing, GRIDs, and Virtualization

CLOUD COMPUTING 1: Clod computing I
Session chair: Yong Woo Lee

A Workflow Engine for Computing Clouds
Daniel Franz, Jie Tao, Holger Marten, Achim Streit

FCM: an Architecture for Integrating IaaS Cloud Systems
Attila Csaba Marosi, Gabor Kecskemeti, Attila Kertesz, Peter Kacsuk

One Click to Build An On Demand Virtual Cluster in Cloud Web-based Operating System with Dynamic Loading Prediction Scheduling Algorithm
Chang-Hsing Wu, Yi-Lun Pan, Hsi-En Yu, Hui-Shan Chen, Ching-Wen Yu

Understanding Cloud Requirements - A Supply Chain Lifecycle Approach
Maik A. Lindner, Fiona McDonald, Gerard Conway, Edward Curry

CLOUD COMPUTING 2: Cloud computing II
Session chair: Jie Tao

A Service-Level Agreement Approach Towards Termination Analysis of Service-Oriented Systems
Mandy Weissbach, Wolf Zimmermann

Cloud Federation
Tobias Kurze, Markus Klems, David Bermbach, Alexander Lenk, Stefan Tai, Marcel Kunze

IaaS Clouds vs. Clusters for HPC: A Performance Study
Philip Church, Andrzej Goscinski

Introducing Federated WebDAV Access to Cloud Storage Providers
Sebastian Rieger, Harald Richter, Yang Xiang

CLOUD COMPUTING 3: Cloud computing III
Session chair: Tobias Kurze

Cloud Capacity Reservation for Optimal Service Deployment
Iñigo San Aniceto Orbegozo, Rafael Moreno-Vozmediano, Ruben S. Montero, Ignacio M. Llorente

Debit: A Diversity-based Method for Implicit Role Transition in RBAC Deployments
Shanshan Li, Qingbo Wu, Lianyue He, Lisong Shao, Jie Yu

Trust Model for File Sharing in Cloud Computing
Edna Dias Canedo, Robson de Oliveira Albuquerque, Rafael Timóteo de Sousa Junior

Security Management of a Cloud-based U-City Management System
Sung Min Kim, Jun Oh Kim, Chang Ho Yun, Jong Won Park, Hae Sun Jung, Yong Woo LEE

Evaluating a Distributed Identity Provider Trusted Network with Delegated Authentications for Cloud Federation
Antonio Celesti, Francesco Tusa, Massimo Villari, Antonio Puliafito

CLOUD COMPUTING 4: Challenging features I
Session chair: Michal Nagy

Testing the Suitability of Cassandra for Cloud Computing Environments
Felix Beyer, Arne Koschel, Christian Schulz, Michael Schäfer, Irina Astrova, Stella Gatziu Grivas, Marc Schaaf, Alexander Reich

Designing an Elastic and Scalable Social Network Application
Xavier De Coster, Matthieu Ghilain, Boris Mejías, Peter Van Roy

A Social Network Approach to Provisioning and Management of Cloud Computing Services for Enterprises
Eric Kuada, Henning Olesen

Competitive P2P Scheduling of Users’ Jobs in Cloud
Beniamino Di Martino, Rocco Aversa, Salvatore Venticinque, Luigi Buonanno

CLOUD COMPUTING 5: Challenging features II
Session chair: Peter Van Roy

Towards Green HPC Blueprints
Goran Martinovic, Zdravko Krpic

A Risk Assessment Framework and Software Toolkit for Cloud Service Ecosystems
Karim Djemame, Django Armstrong, Mariam Kiran, Ming Jiang

A Linear Programming Approach for Optimizing Workload Distribution in a Cloud
Vadym Borovskiy, Johannes Wust, Christian Schwarz, Wolfgang Koch, Alexander Zeier

Chaavi: A Privacy Preserving architecture for Webmail Systems
Karthick Ramachandran, Hanan Lutfiyya, Mark Perry

CLOUD COMPUTING 6: Platforms, infrastructures and applications I
Session chair: Karthick Ramachandran

Distributed Storage Support in Private Clouds Based on Static Scheduling Algorithms
Dariusz Król, Jacek Kitowski

Open Environment for Collaborative Cloud Ecosystems
Oleksiy Khriyenko, Michael Cochez

Measuring Elasticity for Cloud Databases
Thibault Dory, Boris Mejías, Peter Van Roy, Nam-Luc Tran

Facilitating Bioinformatic Research with Mobile Cloud
Jinhui Yao, Jingyu Zhang, Shiping Chen, Chen Wang, David Levy

CLOUD COMPUTING 7: Platforms, infrastructures and applications II
Session chair: Takahiro Hirofuchi

Efficient Management of Hybrid Clouds
Sofie Van Hoecke, Tom Waterbley, Jan Devos, Tijl Deneut, Johan De Gelas

Cloud Computing and its Application to Blended Learning in Engineering
Sanda Porumb, Bogdan Orza, Aurel Vlaicu, Cosmin Porumb, Ioan Hoza

On-demand Data Integration On the Cloud
Mahmoud Barhamgi, Parisa Ghodous, Djamal Benslimane

UnaCloud: Opportunistic Cloud Computing Infrastructure as a Service
Eduardo Rosales, Harold Castro, Mario Villamizar

CLOUD COMPUTING 8: Virtualization, Grid
Session chair: Jie Tao

Making VM Consolidation More Energy-efficient by Postcopy Live Migration
Takahiro Hirofuchi, Hidemoto Nakada, Satoshi Itoh, Satoshi Sekiguchi

Deterministic Execution of Multiprocessor Virtual Machines
Junkang Nong, Qingbo Wu, Yusong Tan

A Generalized Approach for Fault Tolerance and Load Based Scheduling of Threads in Alchemi .Net
Vishu Sharma, Manu Vardhan, Shakti Mishra, Dharmender Singh Kushwaha

Reducing the Human Cost of Grid Computing With glideinWMS
Igor Sfiligoi, Frank Würthwein, Jeffrey M. Dost, Ian MacNeill, Burt Holzman, Parag Mhashilkar

On the Performance Isolation Across Virtual Network Adapters in Xen
Blazej Adamczyk, Andrzej Chydzinski


COGNITIVE 2011, The Third International Conference on Advanced Cognitive Technologies and Applications

Session chair: Yakim Mihov

Analysis of the Effect of Cognitive Load on Gait with off-the-shelf Accelerometers
Eladio Martin, Ruzena Bajcsy

The Entry Point in the Identification of Familiar Objects
Barbara Bazzanella, Paolo Bouquet

From fMRI Data To Cognitive Models: Testing the ACT-R Brain Mapping Hypothesis with an Ex-Post Model
Jan Charles Lenk, Claus Möbus, Jale Özyurt, Christiane Margarete, Arno Claassen

Discovering the phase of a dynamical system from a stream of partial observations with a multi-map self-organizing architecture
Bassem Khouzam, Hervé Frezza-Buet

Global Context Influences Local Decisions
Terry Bossomaier, Michael Harre

Session chair: Terry Bossomaier

Cognitive System with VoIP Secondary Users over VoIP Primary Users
Yakim Y. Mihov, Boris P. Tsankov

Refining a User Behaviour Model Based on the Observation of Emotional States
Yuska Aguiar, Maria Vieira, Edith Galy, Jean-Marc Mercantini, Charles Santoni

Knowledge Representation in Visual Design
Ewa Grabska, Grażyna Ślusarczyk, Szymon Gajek

Task-based Guidance of Multiple UAV Using Cognitive Automation
Johann Uhrmann, Axel Schulte

Session chair: Florin Leon

Learning Odors for Social Robots: The URBANO experience
Daniel Galán, Ramón Galán, Ángel Luis Martínez, Iveth Moreno

PREVIRNEC A new platform for cognitive tele-rehabilitation
Javier Solana, Cesar Caceres, Enrique J. Gomez, Sandra Ferrer-Celma, Maria Ferre-Bergada, Pedro Garcia-Lopez, Alberto Garcia-Molina, Alejandro Garcia-Rudolph, Teresa Roig, Jose Maria Tormos

Improvements on Relational Reinforcement Learning to Solve Joint Attention
Renato Silva, Roseli Romero

Qualitative Spatial Knowledge Acquisition Based on the Connection Relation
Tiansi Dong, Tim vor der Brueck

Thought Experiments in Linguistic Geometry
Boris Stilman

Session chair: Tiansi Dong

Informed Virtual Geographic Environments for Knowledge Representation and Reasoning in Multiagent Geosimulations
Mehdi Mekni, Bernard Moulin

A Holonic Approach for Providing Composite Services
Irina Diaconita, Florin Leon, Andrei Dan Leca

Education Portal for Reactive and Proactive Service Provision
Stanimir Stoyanov, Georgi Cholakov, Veselina Valkanova, Mincho Sandalski

Supporting Adaptability in Agent-Based Digital Healthcare Ecosystems
Victor Rentea, Fabrizio Ricci, Luca Dan Serbanati, Andrei Vasilateanu

Session chair: Maria Rodas

A new Ranking Technique for Integration among Higher-Level and Lower-Level Domain Ontologies and its Application to the Electromagnetic Domain
Alessandra Esposito, Marco Zappatore, Luciano Tarricone

Generalized Implicative Model of a Fuzzy Rule Base and its Properties
Martina Dankova

Incremental Modified Adaptive Neuro-Fuzzy Inference System for Autonomous Emotion Development (POSTER)
Qing Zhang, Sungmoon Jeong, Minho Lee

A Two-Level Decision Support System For Supplier Diversification
Evrim Ursavas Guldogan, Onder Bulut

Session chair: Ewa Grabska

Developing a Decision Tool to Evaluate Unmanned System's Command and Control Technologies in Network Centric Operations Environments
Maria Olinda Rodas, Mark C. Veronda, Christian X. Szatkoski

A Framework for Creativity-oriented Autonomy based on Online Social Networks
Balasubramaniam Shekar, Shamit Bagchi

Inverse ACO Applied for Exploration and Surveillance in Unknown Environments
Rodrigo Calvo, Janderson Rodrigo de Oliveira, Mauricio Figueiredo, Roseli A. Francelin Romero

Basic Study for Human Brain Activity Based on the Spatial Cognitive Task
Shunji Shimizu, Noboru Takahashi, Hiroyuki Nara, Hiroaki Inoue, Yukihiro Hirata


COMPUTATION TOOLS 2011, The Second International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

COMPUTATION TOOLS 1: Advanced computation techniques
Session chair: Emanuele Covino

Netty: A Prover's Assistant
Lev Naiman, Eric Hehner

Balanced Reduction of an IDE-based Spatio-Temporal Model
Kenneth Scerri, Michael Dewar, Parham Aram, Dean Freestone, Visakan Kadirkamanathan, David Grayden

A Tool for Signal Probability Analysis of FPGA-Based Systems
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Paolo Masci

Session chair: Kenneth Scerri

Formal Verification of Parameterized Multi-agent Systems Using Predicate Diagrams*
Cecilia E. Nugraheni

JClassic+ DE: A Description logic Reasoning tool: Application to dynamic access control
Narhimene Boustia, Aicha Mokhtari

A Tool for the Evaluation of the Complexity of Programs Using C++ Templates
Nicola Corriero, Emanuele Covino, Giovanni Pani

CONTENT 2011, The Third International Conference on Creative Content Technologies

Session chair: Marc Jentsch

Webcasting From Challenging Locations
Ronald Marsh, Timothy Young

Location-Based Mobile Collaborative Digital Narrative Platform
Sicai Lin, Tzu-Chieh Tsai, Sheng-Chih Chen, Shindi Lee

Content Management in the Context of Collaboration
Marius Ioan Podean, Stefan Ioan Nitchi, Dan Benta

Content Modeling Based on Concepts in Contexts
Hans-Werner Sehring

Session chair: Hans-Werner Sehring

Magic Wako - User Interaction in a Projector-based Augmented Reality Game
Daniel Franzen, Ignacio Avellino, Fabio Mauri, Marc Jentsch, Andreas Zimmermann

Real-Time Deformable Soft-Body Simulation using Distributed Mass-Spring Approximations
Ben Kenwright, Rich Davison, Graham Morgan

Classification of Pathologic and Innocent Heart Murmur Based on Multimedia Presentations of Acoustic Heart Signals
Božo Tomas, Darko Zelenika, Željko Rončević, Antonija Krtalić

Speaker Labelling Using Closed -Captioning
Keita Yamamuro, Katunobu Itou

Session chair: Riccardo Bernardini

Effect of Contrast on the Quality of 3D Visual Perception
Mahsa T. Pourazad, Zicong Mai, Panos Nasiopoulos

SPS: A Web Content Search System Utilizing Semantic Processing
Joseph Leone, Dong-Guk Shin

A Framework for Creativity in Search Results
James Sawle, Fania Raczinski, Hongji Yang

Realtime Computation of a VST Audio Effect Plugin on the Graphics Processor
Wolfgang Fohl, Julian Dessecker

A Collaborative Content Publisher
Wan-Ning Wang, Hsiang-An Wang

Session chair: Pascal Lorenz

Using Frame-based Lexical Chains for Extracting Key Points from Texts
Sudabeh Mohamadi, Kambiz Badie, Ali Moeini

PPETP: A Peer-to-Peer Overlay Multicast Protocol for Multimedia Streaming
Riccardo Bernardini, Roberto Cesco Fabbro, Roberto Rinaldo

A Quality Evaluation Framework Based on Distribution Measurement in Service Computing Environment
Zhenyu Liu

Scientific Gateway: Grid and Cloud-based Visualization
Eva Pajorová, Ladislav Hluchý

FUTURE COMPUTING 2011, The Third International Conference on Future Computational Technologies and Applications

FUTURE COMPUTING 1: Computational intelligence strategies
Session chair: Andrea Santi

Efficient Swarm Algorithms to Constrained Resource Allocation
Peng-Yeng Yin, Jing-Yu Wang

A Multi-Answer Character Recognition Method and Its Implementation on a High-Performance Computing Cluster
Qing Wu, Morgan Bishop, Robinson Pino, Richard Linderman, Qinru Qiu

Extracting Market Trends from the Cross Correlation between Stock Time Series
Mieko Tanaka-Yamawaki, Takemasa Kido

Virtual Team Tasks Performance Evaluation Based on Multi-level Fuzzy Comprehensive Method
Dalia Kriksciuniene, Sandra Strigunaite

The Development and Implementation of a Short Term Prediction Tool Using Artificial Neural Networks
Aubai Alkhatib, Siegfried Heier, Melih Kurt

FUTURE COMPUTING 2: Large-scale computing strategies
Session chair: Morgan Bishop

Process Management Reviewed
Mohsen Sharifi, Seyedeh Leili Mirtaheri, Ehsan Mousavi Khaneghah, Zeinolabedin Mosavi Khaneghah

Parallel Processing for 3-D Slope Stability Problems
Cheng Yung Ming, Li Na

Agent-Oriented Computing: Agents as a Paradigm for Computer Programming and Software Development
Alessandro Ricci, Andrea Santi

Towards Ubiquitous Computing Clouds
Ahmed Khalifa, Riham Hassan, Mohamed Eltoweissy

FUTURE COMPUTING 3: Mechanism-oriented computing
Session chair: Kendall Nygard

The Hopfield-type Memory Without Catastrophic Forgetting
Iakov Karandashev, Boris Kryzhanovsky, Leonid Litinskii

An Artificial Intelligence Approach Towards Sensorial Materials
Florian Pantke, Stefan Bosse, Michael Lawo, Dirk Lehmhus, Matthias Busse

A Soft Case-based Reasoning System for Travelling Time Estimation
Lixing Wang, Wai-Hung Ip

Optimizing the Area Under the ROC Curve in Multilayer Perceptron-based Classifiers
Raúl Ramos-Pollán, Miguel Angel Guevara López, Naimy Naimy González de Posada

FUTURE COMPUTING 4: Computing technologies
Session chair: Florian Pantke

Schrödinger’s Register: Foundational Issues and Physical Realization
Stephen Pink, Stanley Martens

A Real-Time PC Based Software Radio DVB-T Receiver
Shu-Ming Tseng, Jian-Cheng Yu, Yueh-Teng Hsu

Evaluation of Seed Throwing Optimization Meta Heuristic in Terms of Performance and Parallelizability
Oliver Weede, Stefan Zimmermann, Björn Hein, Heinz Wörn

A Case Study on the Design Trade-off of a Thread Level Data Flow based Many-core Architecture
Zhibin Yu, Andrea Righi, Roberto Giorgi

FUTURE COMPUTING 5: Technology-oriented computing
Session chair: Morgan Bishop

Theoretical Analysis and Simulation to Investigate the Fundamental Rules of Trust Signaling Games in Network-based Transactions
So Young Kim, Junseok Hwang

A Two-Phase Security Algorithm for Hierarchical Sensor Networks
Jingjun Zhao, Kendall E. Nygard

Cloud Computing and the Enterprise Needs for Data Freedom
Dalia Kriksciuniene, Donatas Mazeika

A Computational Intelligence Algorithm for Simulation-driven Optimization Problems
Yoel Tenne, Kazuhiro Izui, Shinji Nishiwaki

PATTERNS 2011, The Third International Conferences on Pervasive Patterns and Applications

PATTERNS 1: Domain-oriented patterns
Session chair: Alessandro Torrisi

Information Demand Patterns
Kurt Sandkuhl

A Pattern Language for UbiComp Application Design (POSTER)
René Reiners

A Pattern Language for Architecture Assessments of Service-oriented Enterprise Systems
Alfred Zimmermann, Fritz Laux, René Reiners

A Novel Live 3D Objects Reconstruction Scheme
Hui Zheng, Jie Yuan, Sidan Du

Application of Feature Point Detection and matching in 3D Objects Reconstruction
Jie Yuan, Ting Feng, Yu Zhou, Yao Yu

PATTERNS 2: Patterns at work
Session chair: Alfred Zimmermann

Boosted Wireless Capsule Endoscopy Frames Classification
Giovanni Gallo, Alessandro Torrisi

Improved Trend Following Trading Model by Recalling Past Strategies in Derivatives Market
Simon Fong, Jackie Tai

Visualizing Multiple Websites with Views of Structural Growth, Dynamic Performance and Peer Comparison
Simon Fong, Si Meng Ho, Cheng I Ma

Application of Motion Vector in Live 3D Object Reconstruction
Renshu Gu, Jie Yuan, Sidan Du

PATTERNS 3: Discovery and decision patterns
Session chair: Jerry Overton

Proposal of Enterprise Information System for Searching Distributed Data Easily (POSTER)
Yukihisa Fujita, Osamu Imaichi, Tomohiro Hanai, Ken Naono

Patterns of Emotion Driven by Affect State and Environment
Paul Joseph, Haim Levkowitz

Towards an Adaptive Forecasting of Earthquake Time Series from Decomposable and Salient Characteristics
Simon Fong, Nannan Zhou

Introducing new Pattern Language Concepts and an Extended Pattern Structure for Ubiquitous Computing Application Design Support
René Reiners, Irina Astrova, Alfred Zimmermann

Word Spotting for Arabic Handwritten Historical Document Retrieval using Generalized Hough Transform
Nabil Aouadi, Afef Kacem

PATTERNS 4: Software patterns I
Session chair: Paul Joseph

Practical Math and Simulation in Software Design
Jerry Overton

Evaluating Data Modeling Aspects for Home Telemonitoring
Vilmos Szűcs, Ádám Zoltán Végh, Miklós Kasza, Vilmos Bilicki

A Rewriting Logic-based Meta-Model for Design Patterns Formalization
Halima Douibil, Kamel Boukhelfa, Faiza Belala

Pattern-based Software Design and Adaptation
Hassan Gomaa

PATTERNS 5: Software patterns II
Session chair: Roberto Ortiz

Issues of Persistence Service Integration in Enterprise Systems
Ádám Zoltán Végh, Vilmos Szűcs, Miklós Kasza, Vilmos Bilicki

Case Study Towards Implementation of Pure Aspect-oriented Factory Method Design Pattern
Žilvinas Vaira, Albertas Čaplinskas

A Language for Modeling Patterns for Extra-Functional Requirements
Brahim Hamid

A Formalization of UML AD Refinement Patterns in Event B
Ahlem Ben Younes, Leila Jemni Ben Ayed

A Quality Control System using Texture Analysis in Metallurgy
Jonathan Blackledge, Dmitriy Dubovitskiy

PATTERNS 6: Security patterns
Session chair: Žilvinas Vaira

Prediction of Distortion Patterns in Image Steganography by Means of Fractal Computing
Shanyu Tang, YongFeng Huang

Reducing User Error by Establishing Encryption Patterns
Anthony Gabrielson, Haim Levkowitz

Application-Domain Classification for Security Patterns
Michaela Bunke, Rainer Koschke, Karsten Sohr

Patterns Combining Reliability and Security
Ingrid A. Buckley, Eduardo B. Fernandez, Maria M. Larrondo-Petrie

A Systematic Security Analysis of Information Systems
Roberto Ortiz, Santiago Moral-Rubio, Javier Garzás, Eduardo Fernandez-Medina


SERVICE COMPUTATION 2011, The Third International Conferences on Advanced Service Computing

SERVICE COMPUTATION 1: Service innovation, evaluation and delivery I
Session chair: Matthias Olzmann

Collecting Factors for Motivating Energy-Saving Behavior
Marc Jentsch, Marco Jahn, René Reiners, Uwe Kirschenmann

A Novel Mobile Communication for the Future Internet
Min-Taig Kim, Dae-Sik Kim

A Domain Ontology for Designing Management Services
Ingo Pansa, Matthias Reichle, Christoph Leist, Sebastian Abeck

SERVICE COMPUTATION 2: Service innovation, evaluation and delivery II
Session chair: Ingo Pansa

Designing Reusable Management Services
Ingo Pansa, Christoph Leist, Matthias Reichle, Sebastian Abeck

Evaluating Service-oriented Vendor Platforms with a Dedicated Architecture Maturity Framework
Helge Buckow, Hans-Jürgen Groß, Oliver F. Nandico, Gunther Piller, Karl Prott, Alfred Zimmermann

Service-Oriented Architecture Concept for Intelligence Information System Development
Jugoslav Achkoski, Vladimir Trajkovik, Danco Davcev

Switching IT Outsourcing Providers – a Conceptual Framework and Initial Assessment of Critical Success Factors
Matthias Olzmann, Martin Wynn

SERVICE COMPUTATION 3: Service innovation, evaluation and delivery III
Session chair: Alesander Wahl

Goal Refinement for Automated Service Discovery
Tomas Olsson, May Yee Chong, Björn Bjurling, Börje Ohlman

Automatic Service Retrieval in Converged Environments Based on Natural Language Request
Edgar Camilo Pedraza, Julián Andrés Zúñiga, Luis Javier Suarez Meza, Juan Carlos Corrales

Using Statistical Tests in a Trust Model
Francisco Javier Nieto

ESARC - Enterprise Services Architecture Reference Cube for Capability Assessments of Service-oriented Systems
Alfred Zimmermann, Gertrud Zimmermann

Session chair: Yukihisa Fujitu

Deriving Interface Contracts for Distributed Services
Bernhard Hollunder

User-to-User Delegation in a Federated Identity Environment
HongQian Karen Lu

A Pragmatic Online Authentication Framework using Smart Cards
HongQian Karen Lu, Asad Ali, Kapil Sachdeva, Ksheerabdhi Krishna

Complex Event Processing for Usage Control in Service Oriented Infrastructures
Alexander Wahl, Stefan Pfister, Bernhard Hollunder

Semantic Web Service Process Mediation in WSMO:Current Solutions and Open Issues
Kanmani Munusamy, Mohd Sapiyan Baba, Suhaimi Ibrahim, Harihodin Selamat, Keyvan Mohebbi, Mojtaba Khezrian

SERVICE COMPUTATION 5: Ubiquitous and pervasive services
Session chair: Kurt Maly

Context-Aware Services: A Survey on Current Proposals
Alfonso García de Prado, Guadalupe Ortiz

Semantic Web-driven Agent-based Ecosystem for Linked Data and Services
Oleksiy Khriyenko, Michal Nagy

Bringing Context to Intentional Services
Salma Najar, Manuele Kirsch-Pinheiro, Carine Souveyet

Web Services with Java EE 6: An Example Using Planning in Reverse
Keith Ballantyne

SERVICE COMPUTATION 6: Society and business services
Session chair: Guadalupe Ortiz

Ontology-based Adaptive Reasoning Service for ScienceWeb
Hui Shi, Kurt J Maly, Steven J Zeil

Improving Games by SMS Through the MobileDeck Concept: A Quiz Game Proposal Focused on Emerging Markets
Mauro Ricardo da Silva Teófilo, Marlon Farias da Luz

An Approach of Early Disease Detection using CEP and SOA
Juan Boubeta-Puig, Guadalupe Ortiz, Inmaculada Medina-Bulo

The Deployment of Service Management Systems in SMEs – Three Case Studies
Martin Wynn, Emma Tipton


Copyright (c) 2006-2010, IARIA