|
The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
COMPUTATION TOOLS 2013
May 27 - June 1, 2013 - Valencia, Spain |
ComputationWorld 2013
CLOUD 2013 / PATTERNS 2013 / CONTENT 2013 / COGNITIVE 2013 / BUSTECH 2013 / COMPUTATIONAL TOOLS 2013 / FUTURE COMPUTING 2013 / SERVICE COMPUTATION 2013 / ADAPTIVE 2013
Conference Place
Conferences take place at
Polytechnic University of Valencia
8E Building (3rd and 4th floor)
Entrance
“Ingeniero Fausto Elio” Street // Entrance "Meeting Point 7" see map
[go to -1 floor, take access B, go upstairs or by elevator, to the third floor]
Follow the signs “IARIA”
See instructions
Conference rooms
Time slots |
Room A |
Room B |
Room C |
Room D |
Monday, May 27
Conference rooms
Time slots |
Room A |
Room B |
Room C |
Room D |
12:00 |
Registration starts
The registration desk is located in front of the conference rooms
Opened during the entire conference |
13:30 - 16:00 |
Tutorial 1
Advanced Computation Models for Rule Based Networks
by Prof. Dr. Alexander Gegov |
16:00 - 16:15 |
|
16:15 - 18:45 |
Tutorial 2
Resource Management on Clouds and Grids
by Prof. Dr. Shikharesh Majumdar |
|
19:00 - 20:00 |
Welcome Cocktail
You must have your badge to attend the cocktail |
Tuesday, May 28
09:00 - 09:15 |
Opening session
Francisco Mora, Universidad Politecnica de Valencia, Spain
Jaime Lloret Mauri, Universidad Politecnica de Valencia, Spain
Vicente Casares-Giner, Universidad Politecnica de Valencia, Spain
Blas Payri, Universidad Politecnica de Valencia, Spain
Maria Dolores Cano, Universidad Politécnica de Cartagena, Spain
Javier Aguiar, University of Valladolid, Spain
Petre Dini, Concordia University, Canada || China Space Agency Center, China |
09:15 - 10:15 |
Keynote Speaker
Cognitive Transitions in the Acquisition of Expertise
by Prof. Dr. Terry Bossomaier, Charles Sturt University, Australia |
10:15 - 10:30 |
Coffee Break |
10:30 - 12:15 |
CLOUD1 |
ADAPTIVE1 |
SERV COMP1 |
COGNITIVE1 |
12:15 - 13:45 |
Lunch on your own |
13:45 - 15:30 |
CLOUD2 |
ADAPTIVE2 |
PATTERNS1 |
COGNITIVE2 |
15:30 - 15:45 |
Coffee Break |
15:45 - 17:30 |
Special Session European Projects
g.tec's Brain-Computer Interface (PRESENTATION)
Arnau Espinosa Mazanal, g.tec, Austria
Eliciting Risk, Quality and Cost Aspects in Multi-cloud Environments
Peter Matthews, CA Technologies, UK
Towards a Method for Decision Support in Multi-cloud Environments
Aida Omerovic, SINTEF ICT, Norway
Orchestration of Applications on Multiple Clouds with COMPs (PRESENTATION)
Daniele Lezzi, Barcelona Supercomputing Center, Spain |
17:30 - 17:45 |
Coffee Break |
17:45 - 19:30 |
PANEL ADAPTIVE/COGNITIVE
Topic: Advances on Cognition and Adaptivity for Intelligent Systems
Moderator
Terry Bosomaier, Charles Sturt University, Australia
Panelists
Olivier Chator, Gironde - Conseil Generale, France
Knud Thomsen, Paul Scherrer Institut, Switzerland
Marta Franova, CNRS & LRI, France
Terry Bosomaier, Charles Sturt University, Australia |
Wednesday, May 29
09:15 - 10:15 |
Keynote Speaker
From the Decision Support on the Ground to the Decision Support in the Cloud
by Dr. Aida Omerovic, SINTEF, Norway |
10:15 - 10:30 |
Coffee Break |
10:30 - 12:15 |
CLOUD3 |
CONTENT1 |
SERV COMP2 |
COGNITIVE3 |
12:15 - 13:45 |
Lunch on your own |
13:45 - 15:30 |
CLOUD4 |
CONTENT2 |
PATTERNS2 |
COMP TOOLS1 |
15:30 - 15:45 |
Coffee Break |
15:45 - 17:30 |
PANEL ComputationWorld-at-large
Topic: Cloud, Virtualization, High Performance…. Are the Expected Services There?
Moderator
Aida Omerovic, SINTEF, Norway
Panelists
Marcello Coppola, ST Microelectronics - Grenoble, France
Aida Omerovic, SINTEF, Norway
Peter Matthews, CA Technologies, UK
Daniele Lezzi, Barcelona Supercomputing Center, Spain |
17:30 - 17:45 |
Coffee Break |
17:45 - 19:30 |
PANEL CONTENT/PATTERNS
Topic: Advances on Information Mining
Moderator
Alfred Zimmermann, Reutlingen University, Germany
Panelist
Hans-Werner Sehring, T-Systems Multimedia Solutions GmbH - Hamburg, Germany
Samuel Kosolapov, Braude Academic College of Engineering, Israel
Alfred Zimmermann, Reutlingen University, Germany
Bijan Raahemi, University of Ottawa, Canada |
Thursday, May 30
09:15 -10:15 |
Keynote Speaker
Event Processing Concepts and Technologies in Information Systems: History and Current Trends
by Prof. Dr. Arne Koschel, Fachhochschule Hannover, Germany
|
10:15 - 10:30 |
Coffee Break |
10:30 - 12:15 |
CLOUD5 |
PATTERNS3 |
SERV COMP3 |
COGNITIVE4 |
12:15 - 13:45 |
Lunch on your own |
13:45 - 15:30 |
CLOUD6 |
BUSTECH |
FUTURE COMPUTING1 |
COGNITIVE5 |
15:30 - 15:45 |
Coffee Break |
15:45 - 17:30 |
CLOUD7 |
FUTURE COMPUTING2 |
COMP TOOLS2 |
COGNITIVE6 |
17:30 - 17:45 |
Coffee Break |
17:45 - 19:30 |
PANEL FUTURE COMPUTING / COMPUTATION TOOLS
Topic: Challenges in Future Computation Techniques and Tools
Moderator
Alexander Gegov, University of Portsmouth, UK
Panelists
Wail Mardini, Jordan University of Science and Technology, Jordan
Alexander Gegov, University of Portsmouth, UK
Petre Dini, Concordia University, Canada || China Space Agency Center, China |
|
19:30: Bus
20:00 - 24:00 |
GALA DINNER
(outside restaurant: Alqueria del Pi) |
Friday, May 31
09:15 -10:15 |
Keynote Speaker
Content Management in the Cloud: A Case of Interoperability of Services Across Organizational Boundaries
by Dr. Hans-Werner Sehring, T-Systems Multimedia Solutions GmbH - Hamburg, Germany |
10:15 - 10:30 |
Coffee Break |
10:30 - 12:15 |
CLOUD8 |
ADAPTIVE3 |
FUTURE COMPUTING3 |
COGNITIVE7 |
12:15 - 13:45 |
Lunch on your own |
13:45 - 15:30 |
CLOUD9 |
ADAPTIVE4 |
SERV COMP4 |
- |
15:30 - 15:45 |
Coffee Break |
15:45 - 17:30 |
Panel CLOUD/SERVICES
Topic: 10 Years of Hype Cycles - Do We Forget Knowledge?
Moderator
Wolf Zimmermann, University of Halle, Germany
Panelists
Yong Woo Lee, The University of Seoul, Korea (South)
Claus Pahl, Dublin City University, Ireland
Aaron McConnell, University of Ulster, UK
Wolf Zimmermann, University of Halle, Germany |
17:30 - 18:00 |
Closing session |
Saturday, June 1
7:45am - 6:30pm
check the exact timing at the conference
registration desk |
8:00am START
One day visit Valencia and Requena (by bus)
including guide (English), entry tickets, lunch, drinks
See the registration form.
On site registration subject to availability
Getting outside Valencia (1h drive) to Requena, well-known place for its wine cellars and its caves
Lunch in Requena in a typical restaurant
After lunch we will return to Valencia and visit The Arts and Science City and the Historic Center |
DETAILED PROGRAM
ADAPTIVE 2013, The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications
ADAPTIVE 1: Fundamentals and design
Session chair: Marius Rotaru
On the Utilization of Heterogeneous Sensors and System Adaptability for Opportunistic Activity and Context Recognition
Marc Kurz, Gerold Hölzl, Alois Ferscha
Multilevel Planning for Self-Optimizing Mechatronic Systems
Christoph Rasche, Steffen Ziegert
Testing the Reconfiguration of Adaptive Systems
Kai Nehring, Peter Liggesmeyer
Adaptive System Framework: A Way to a Simple Development of Adaptive Hypermedia Systems
Martin Balík, Ivan Jelínek
ADAPTIVE 2: Adaptive applications
Session chair: Stefen Ziegert
A FPGA Implementation of Prediction Error Method for Adaptive Feedback Cancellation using Xilinx System Generator
Marius Rotaru, Cristian Stanciu, Silviu Ciochina, Felix Albu, Henri Coandă
A Software Infrastructure for Executing Adaptive Daily Routines in Smart Automation Environments
Estefanía Serral Asensio, Pedro Valderas, Vicente Pelechano
Self-discovery Algorithms for a Massively-Parallel Computer
Kier J Dugan, Jeff S Reeve, Andrew D Brown
A Software Design Pattern Based Approach to Adaptive Video Games
Muhammad Iftekher Chowdhury, Michael Katchabaw
ADAPTIVE 3: Adaptive mechanisms
Session chair: Sandra Sendra
A Gravitational Approach for Enhancing Cluster Visualization in Self-Organizing Maps
Leonardo Enzo Brito da Silva, José Alfredo Ferreira Costa
Model-driven Self-optimization Using Integer Linear Programming and Pseudo-Boolean Optimization
Sebastian Götz, Claas Wilke, Sebastian Richly, Christian Piechnick, Georg Püschel, Uwe Assmann
Towards Systematic Model-based Testing of Self-adaptive Software
Georg Püschel, Sebastian Götz, Claas Wilke, Uwe Aßmann
Adaptive Control: An Approach to Construct User Aware Systems (POSTER)
Nikola Serbedzija
ADAPTIVE 4: Adaptivity in robot systems
Session chair: Georg Pueschel
StaCo: Stackelberg-based Coverage Approach in Robotic Swarms
Katerina Stankova, Bijan Ranjbar-Sahraei, Gerhard Weiss, Karl Tuyls
EvoRoF: A Framework for On-line and On-board Evolutionary Robotics
Florian Schlachter, Patrick Alschbach, Katja Deuschl
An Experimental Framework for Exploiting Vision in Swarm Robotics
Sjriek Alers, Bijan Ranjbar-Sahraei, Stefan May, Karl Tuyls, Gerhard Weiss
BUSTECH 2013, The Third International Conference on Business Intelligence and Technology
BUSTECH 1: Business Intelligence and Technology
Session chair: Sandra Sendra
Using Process Simulation to Assess the Effect of Data Format Standardization in Collaborative Processes
Olga Levina, Marcel Schulz
Evolutionary Process Engineering: User Guide and Case Study for Adequate Process Support
Michael Seitz, Stefan Jablonski
Aligning Riva-based Business Process Architectures with Business Goals Using the i* Framework
Yousra Odeh, Mohammed Odeh, Stewart Green
Factors Influencing Pervasiveness of Organisational Business Intelligence
Marlé Bijker, Mike Hart
CLOUD COMPUTING 2013, The Fourth International Conference on Cloud Computing, GRIDs, and Virtualization
CLOUD COMPUTING 1: Cloud computing I
Session chair: Anna Schwanngel
An Architecture for a Heterogeneous Private IaaS Management System
Rodrigo García-Carmona, Mattia Peirano, Juan C. Dueñas, Álvaro Navas
A Look at Cloud Architecture Interoperability through Standards
Claus Pahl, Li Zhang, Frank Fowley
K Means of Cloud Computing: MapReduce, DVM, and Windows Azure
Lin Gu, Zhonghua Sheng, Zhiqiang Ma, Xiang Gao, Charles Zhang, Yaohui Jin
A Novel Cloud Hybrid Access Mechanism for Highly Sensitive Data Exchange
Elhadj Benkhelifa, Dayan A Novel Cloud Hybrid Access Mechanism for Highly Sensitive Data Exchange
Eliciting Risk, Quality and Cost Aspects in Multi-cloud Environments
Victor Munte ́s-Mulero, Peter Matthews, Aida Omerovic, Alexander Gunka
CLOUD COMPUTING 2: Cloud computing II
Session chair: Claus Phal
Moonstone: A Framework for Accelerating Testing of Software
Atsuji Sekiguchi, Tomohiro Ohtake, Toshihiro Shimizu, Yuji Hotta, Taichi Sugiyama, Takeshi Yasuie, Toshihiro Kodaka
Challenges with Tenant-Specific Cost Determination in Multi-Tenant Applications
Anna Schwanengel, Uwe Hohenstein
Community Clouds a centralized approach
Claudio Giovanoli, Stella Gatziu Grivas
Using MapReduce to Speed Up Storm Identification from Big Raw Rainfall Data
Kulsawasd Jitkajornwanich, Upa Gupta, Ramez Elmasri, Leonidas Fegaras, John McEnery
A RESTful Approach for a Cloud Gateway
Chang Ho Yun, Jong Won Park, Hae Sun Jung, Yong Woo Lee, Haeng Jin Jang
CLOUD COMPUTING 3: Cloud computing III
Session chair: Mandy Weißbach
Adaptive Multimedia Learning Delivered in Mobile Cloud Computing Environment
Aleksandar Karadimce, Danco Davcev
Digital Signature as a Cloud-based Service
Wojciech Kinastowski
Cloud-Enabled Scaling of Event Processing Applications
Irina Astrova, Arne Koschel, Ahto Kalja
Cloud Computing Services Potential Analysis
Giuseppe Ercolani
CLOUD COMPUTING 4: Challenging features I
Session chair: Giuseppe Ercolani
Context-Aware Data-Flow in the Cloud
Mandy Weißbach, Wolf Zimmermann, Welf Löwe
A Coordinated Reactive and Predictive Approach to Cloud Elasticity
Laura Moore, Kathryn Bean, Tariq Ellahi
Elastic-TOSCA: Supporting Elasticity of Cloud Application in TOSCA
Rui Han, Moustafa M. Ghanem, Yike Guo
OpenStack Cloud Security Vulnerabilities from Inside and Outside
Sasko Ristov, Marjan Gusev, Aleksandar Donevski
CLOUD COMPUTING 5: Challenging features II
Session chair: Dariusz Król
Seamlessly Enabling the Use of Cloud Resources in Workflows
Michael Gerhards, Volker Sander, Adam Belloum
Collaborative Autonomic Resource Management System for Mobile Cloud Computing
Ahmed Khalifa, Mohamed Eltoweissy
SLA Template Filtering: A Faceted Approach
Katerina Stamou, Verena Kantere, Jean-Henry Morin
CPU Utilization while Scaling Resources in the Cloud
Marjan Gusev, Sasko Ristov, Monika Simjanoska, Goran Velkoski
CLOUD COMPUTING 6: Platforms, infrastructures and applications I
Session chair: Ahmed Khalifa
Evaluating Computation Offloading Trade-offs in Mobile Cloud Computing: A Sample Application
Jorge Luzuriaga, Juan Carlos Cano, Carlos Calafate, Pietro Manzoni
Massively Scalable Platform for Data Farming Supporting Heterogeneous Infrastructure
Dariusz Król, Michał Wrzeszcz, Bartosz Kryza, Łukasz Dutka, Jacek Kitowski
Fuzzy Controled QoS for Scalable Cloud Computing Services
Stefan Frey, Claudia Lüthje, Vitali Huwwa, Christoph Reich
Scalable Store and Forward Messaging
Ahmed El Rheddane, Noel De Palma, Alain Tchana
Towards a Method for Decision Support in Multi-cloud Environments
Aida Omerovic, Victor Muntes-Mulero, Peter Matthews, Alexander Gunka
CLOUD COMPUTING 7: Platforms, infrastructures and applications II
Session chair: Stefan Frey
A DSL For Logistics Clouds
Bill Karakostas, Takis Katsoulakos
Deploying a Multipoint Control Unit in the Cloud: Opportunities and Challenges
Alvaro Alonso, Pedro Rodriguez, Joaquin Salvachua, Javier Cerviño
An Approach to Assure QoS of Machine Translation System on Cloud
Pawan Kumar, Rashid Ahmad, Banshi D Chaudhary, Mukul K Sinha
Defining Intercloud Federation Framework for Multi-provider Cloud Services Integration
Marc X. Makkes, Canh Ngo, Yuri Demchenko, Rudolf Stijkers, Robert Meijer, Cees de Laat
CLOUD COMPUTING 8: Platforms, infrastructures and applications III
Session chair: Lorena Parra
A Cloud Platform to support User-Provided Mobile Services
Vincenzo Catania, Giuseppe La Torre, Salvatore Monteleone, Daniela Panno
CloudState: End-to-end WAN Monitoring for Cloud-based Applications
Aaron McConnell, Gerard Parr, Sally McClean, Philip Morrow, Bryan Scotney
Transparent Access on Encrypted Data Distributed over Multiple Cloud Infrastructures
Luca Ferretti, Michele Colajanni, Mirco Marchetti, Adriano Enrico Scaruffi
Forensics-as-a-Service (FaaS): Computer Forensic Workflow Management and Processing Using Cloud
Yuanfeng Wen, Xiaoxi Man, Khoa Le, Weidong Shi
CLOUD COMPUTING 9: Grid and Visualization
Session chair: Aaron McConnell
Fuzzy Subtractive Clustering Based Prediction Approach for CPU Load Availability
Kadda Beghdad Bey, Farid Benhammadi, Faouzi Sebbak
On the analytical characterization of a real life Virtual Network Function: the Italtel Virtual Session Border Control
Sergio Montagna, Pietro Paglierani
Trusted Computing on Heterogeneous Embedded Systems-on-Chip with Virtualization and Memory Protection
Marcello Coppola, Miltos Grammatikakis, George Kornaros, Alexander Spyridakis
Using Cloud-based Resources to Improve Availability and Reliability in a Scientific Workflow Execution Framework
Sergio Hernández, Javier Fabra, Pedro Álvarez, Joaquín Ezpeleta
Managing Grid Networks Using Instant Messaging (POSTER)
Nam Beng Tan
CLOUD COMPUTING 10: Special Session European Projects
Session chair: Petre Dini
Eliciting Risk, Quality and Cost Aspects in Multi-cloud Environments
Victor Munte ́s-Mulero, Peter Matthews, Aida Omerovic, Alexander Gunka
Towards a Method for Decision Support in Multi-cloud Environments
Aida Omerovic, Victor Muntes-Mulero, Peter Matthews, Alexander Gunka
g.tec's Brain-Computer Interface (PRESENTATION)
Arnau Espinosa Mazanal
Orchestration of Applications on Multiple Clouds with COMPs (PRESENTATION)
Daniele Lezzi
COGNITIVE 2013, The Fifth International Conference on Advanced Cognitive Technologies and Applications
COGNITIVE 1: Agents
Session chair: Knud Thomsen
Specifying Desired Behaviour in Hybrid Central/Self-Organising Multi-Agent Systems
Yaser Chaaban, Christian Müller-Schloer
A Survey of Robustness in Multi-Agent Systems
Yaser Chaaban, Christian Müller-Schloer
An Overview of Data Privacy in Multi-Agent Learning Systems
Kato Mivule, Darsana Josyula, Claude Turner
Multi-agent System for Skills Sharing in Sustainable Development Projects
Olivier Chator, Jean-Marc Salotti, Pierre-Alexandre Favier
COGNITIVE 2: Brain I
Session chair: Olivier Chator
A Model of Burden Sense from Psychophysical Factors in Lifting Action with and without Power Assist Device
Kosuke Takahashi, Takayuki Tanaka, Nara Hiroyuki, Kaneko Shun’ichi, Eiichi Yoshida
P300 Brain-Computer Interface Performance: a Dry Electrode Study
Arnau Espinosa, Guenter Edlinger, Christoph Guger
The Cerebellum in the Ouroboros Model, the “Interpolator Hypothesis”
Knud Thomsen
Brain Computer Interfaces as Stroke Rehabilitation Tools: Optimization of current strategies
Arnau Espinosa, Rupert Ortner, Christoph Guger, Danut Irimia
COGNITIVE 3: Brain II
Session chair: Lounis Hakim
When Brain Informs Us About Mind: a Neuro-Ergonomic Approach to Study Web Sites.
Elena Guercio, Simona Collina, Roberto Montanari, Chiara Ferrarini, Gabriele Garbin
The Neurological Scaling of Human Expertise
Terry Bossomaier, Andrew Delaney, James Crane, Fernand Gobet, Mike Harre
Basic Study for Human Spatial Cognition Based on Brain Activity During Car Driving
Shunji Shimizu, Hiroaki Inoue, Hiroyuki Nara, Fumikazu Miwakeichi, Nobuhide Hirai, Senichiro Kikuchi, Satoshi Kato, Eiju Watanabe
Consideration for Evaluation Method of Human Behavior Based on Brain Activity
Hiroaki Inoue, Shunji Shimizu, Hiroyuki Nara, Fumikazu Miwakeichi, Takeshi Tsuruga, Nobuhide Hirai, Senichiro Kikuchi, Satoshi Kato, Eiju Watanabe
COGNITIVE 4: Applications
Session chair: Terry Bossomaier
Forecasting Negotiation Counterpart's Offers: A Focus on Session-long Learning Agents
Marisa Masvoula
Using Ontology and RFID Technology to Develop an Agent-based System for Campus-safety Management
Sheng-Tzong Cheng, Jian-Pan Li
Compositions of Fuzzy Weights for Double Inner Dependence AHP
Shin-ichi Ohnishi, Takashi Furukawa, Takahiro Yamanoi
Cyber Forensics: Representing and Managing Tangible Chain of Custody Using the Linked Data Principles
Tamer Fares Gayed, Hakim Lounis, Moncef Bari, Rafek Nicolas
COGNITIVE 5: Cognition I
Session chair: Kato Mivule
Towards an Artificially Intelligent System: Philosophical and Cognitive Presumptions of Hybrid Systems
Ondřej Vadinský
Cartesian Intuitionism for Program Synthesis
Marta Franova
Cognitive Prognosis of Acquired Brain Injury Patients Using Machine Learning Techniques
Joan Serrà, Josep Lluis Arcos, Alejandro Garcia-Rudolph, Alberto García-Molina, Teresa Roig, Josep Maria Tormos
Functional Network Disruption in Attention Deficit Hyperactivity Disorder (PRESENTATION)
Zhijun Yao, Bin Hu, Wei Wang, Martyn Ratcliffe, Ruiyue Liu, Chuanjiang Liang
Human Augmented Cognition based on Human and Environment Understanding (POSTER)
Byunghun Hwang, Bumhwi Kim, Yonghwa Choi, Young-Min Jang, Minho Lee
COGNITIVE 6: Cognition II
Session chair: Darsana Josyula
Online Sliding Window Based Self-Organising Fuzzy Neural Network for Cognitive Reasoning
Gang Leng, Anjan Ray, Martin McGinnity, Sonya Coleman, Liam Maguire
Inducing Models of Vehicular Traffic Complex Vague Concepts by Interaction with Domain Experts
Paweł Gora, Piotr Wasilewski
Decision-Making Mechanism to Organize the Agenda of a Guide-Robot
José Javier Rainer, Rafael León, Ramón Galán, Agustín Jiménez
A Framework for the Implementation of Artificial Robotic Emotional Brain Based on Embryonic and Evolutionary
Fernando Cortez Sica, Ricardo de Oliveira Duarte, Frederico Gadelha Guimarães
Dynamic Sample Size Selection in Improved Online quasi-Newton Method for Robust Training of Feedforward Neural Networks (POSTER)
Hiroshi Ninomiya
COGNITIVE 7: Cognition III
Session chair: Javier Rainer
Metacognitive Guidance in a Dialog Agent
Elizabeth McNany, Darsana Josyula, Michael Cox, Matthew Paisner, Don Perlis
Linearithmic Corpus to Corpus Comparison by Sentence Hashing Algorithm SHAPD2
Dariusz Ceglarek
Bounded Metacognition
Darsana Josyula, Kenneth M'Bale
Ontologies in Industrial Enterprise Content Management Systems: the EC2M Project
Daniela Briola, Alessandro Amicone, Dante Laudisa
COMPUTATION TOOLS 2013, The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
COMPUTATION TOOLS 1: Specialized programming languages
Session chair: Lev Naiman
Recognition of Java Source Code by Graph Matching Algorithm
Tomáš Bublík, Miroslav Virius
On an Inference System for a Hybrid Process Calculus
Zining Cao
Static and Dynamic Analysis for Robustness under Slowdown
Ingram Bondin, Gordon Pace
Prediction System of Larynx Cancer
Benjamín Moreno-Montiel, Carlos Hiram Moreno-Montiel
COMPUTATION TOOLS 2: Logics
Session chair: Ingram Bondin
Introduction in First-Order Combinatorics Providing a Conceptual Framework for Computation in Predicate Logic
Mikhail Peretyatkin
Using an Expression Interpreter to Reason With Partial Terms
Lev Naiman
Reducing Higher Order pi-Calculus to Spatial Logics
Zining Cao
MHD Thruster and Propulsion Problem from Theory to Application (PRESENTATION)
Ali Mussa
CONTENT 2013, The Fifth International Conference on Creative Content Technologies
CONTENT 1: Web content
Session chair: Samuel Kosolapov
Energy Balance: A web-based Visualization of Energy for Automotive Engineering using X3DOM
Werner Sturm, René Berndt, Andreas Halm, Torsten Ullrich, Eva Eggeling, Dieter W. Fellner
Congress and Meetings Tourism and Destination Brand
Sara Ficarelli, Sandra Sendra, Lorena Parra, Jaime Lloret
Comparison of Online Platforms for the Review Process of Conference Papers
Lorena Parra, Sandra Sendra, Sara Ficarelli, Jaime Lloret
CONTENT 2: Video and animation
Session chair: Christoph Schinko
Feasibility of a Camera-Based Instant Feedback System
Samuel Kosolapov, Evgeny Gershikov, Nissim Sabag
Video Adaptation Based on SVC File Format
Eduardo Martínez Graciá, Jordi Ortiz, Rafael López Pérez, Antonio F. Skarmeta
idAnimate: A General-Purpose Animation Sketching Tool for Multi-Touch Devices
Javier Quevedo-Fernández, Jean-Bernanrd Martens
FUTURE COMPUTING 2013, The Fifth International Conference on Future Computational Technologies and Applications
FUTURE COMPUTING 1: Computing technologies
Session chair: Thomas Zeffeer
Eliminating the Operating System via the Bare Machine Computing Paradigm
Uzo Okafor, Ramesh Karne, Alexander Wijesinha, Patrick Appiah-kubi
An Orbit Tracking Algorithm in Quantum Systems
Shuang Cong, Jianxiu Liu
Face Recognition Using 1DLBP Texture Analysis
Amir Benzaoui, Abdelhani Boukrouche
Enhancing Hebbian Learning in Biological Neural Cultures Through Electrical Stimulation
Víctor Lorente, Jose Manuel Ferrández, Eduardo Fernández, Félix de la Paz
FUTURE COMPUTING 2: Technology-oriented computing
Session chair: Victor Lorente
Power Consumption-based Application Classification and Malware Detection on Android Using Machine-Learning Techniques
Thomas Zefferer, Peter Teufl, David Derler, Klaus Potzmader, Alexander Oprisnik, Hubert Gasparitz, Andrea Hoeller
P-SQLITE: PRAM-Based Mobile DBMS for Write Performance Enhancement
Woong Choi, Sung Kyu Park, Seong Min Kim, Min Kyu Maeng, Ki-Woong Park, Kyu Ho Park
HMMSched: Hybrid Main Memory-Aware Task Scheduling on Multicore Systems
Woomin Hwang, Kyu Ho Park
Optimal Beacon and Superframe Orders in WSNs
Marwa Salayma, Wail Mardini, Yaser Khamayseh, Muneer Bani Yasin
FUTURE COMPUTING 3: Computational intelligence strategies
Session chair: Wail Mardini
Twitter Data Preprocessing for Spam Detection
Myungsook Klassen
Exploring HADOOP as a Platform for Distributed Association Rule Mining
Shravanth Oruganti, Qin Ding, Nasseh Tabrizi
An Alternative Archiving Technique for Evolutionary Polygonal Approximation
José Luis Guerrero, Antonio Berlanga, José Manuel Molina
Future Irregular Computing with Memory Accelerators
Noboru Tanabe, Junko Kogou, Sonoko Tomimori, Masami Takata, Kazuki Joe
PATTERNS 2013, The FIfth International Conferences on Pervasive Patterns and Applications
PATTERNS 1: Software patterns
Session chair: Stefan Wendler
DAO Dispatcher Pattern: A Robust Design of the Data Access Layer
Pavel Mička, Zdeněk Kouba
Android Passive MVC: a Novel Architecture Model for the Android Application Development
Karina Sokolova, Marc Lemercier, Ludovic Garcia
Project Planning Add-In based on Knowledge Reuse with Product Patterns
Fuensanta Medina-Dominguez, Maria-Isabel Sanchez-Segura, Arturo Mora-Soto, Antonio Amescua Seco
Comparing Two Architectural Patterns for Dynamically Adapting Functionality in Online Software Products
Jaap Kabbedijk, Tomas Salfischberger, Slinger Jansen
PATTERNS 2: Domain-oriented patterns
Session chair: Alina Krischkowsky
Using Patterns to Move the Application Data Layer to the Cloud
Steve Strauch, Vasilios Andrikopoulos, Uwe Breitenbuecher, Santiago Gómez Sáez, Oliver Kopp, Frank Leymann
A Factor Model Capturing Requirements for Generative User Interface Patterns
Stefan Wendler, Danny Ammon, Ilka Philippow, Detlef Streitferdt
Three Patterns for Autonomous Robot Control Architecting
Carlos Hernández, Julita Bermejo-Alonso, Ignacio López, Ricardo Sanz
Visualization Methods for Computer Vision Analysis (PRESENTATION)
Mauricio Hess-Flores, Shawn Recker, Kenneth Joy, Mark Duchaineau
PATTERNS 3: Basics on patterns
Session chair: Santiago Gomez Saez
A Method for Directly Deriving a Concise Meta Model from Example Models
Bastian Roth, Matthias Jahn, Stefan Jablonski
Remodeling to Powertype Pattern
Matthias Jahn, Bastian Roth, Stefan Jablonski
Developing Patterns Step-by-Step: A Pattern Generation Guidance for HCI Researchers
Alina Krischkowsky, Daniela Wurhofer, Nicole Perterer, Manfred Tscheligi
An Analysis Model for Generative User Interface Patterns
Stefan Wendler, Detlef Streitferdt
SERVICE COMPUTATION 2013, The Fifth International Conferences on Advanced Service Computing
SERVICE COMPUTATION 1: Service innovation, evaluation and delivery I
Session chair: João Ferreira
myIdP - The Personal Attribute Hub
Annett Laube, Severin Hauser
A Service Localisation Platform
Luke Collins, Claus Pahl
A Service Component-oriented Design and Development Methodology for Developing SOA-based Applications
Soumia Bendekkoum, Mahmoud Boufaida, Lionel Seinturier
Cloud Terminals for Ticketing Systems
João Ferreira, Porfírio Filipe, Gonçalo Cunha, João Silva
SERVICE COMPUTATION 2: Web services
Session chair: Eman El-Sheikh
Query Optimization in Cooperation with an Ontological Reasoning Service
Hui Shi, Kurt Maly, Steven Zeil
Enhanced Deployment Process for QoS-aware Services
Alexander Wahl, Bernhard Hollunder
A Trust-based Model for Quality of Web Service
Bo Ye, Anjum Pervez, Mohammad Ghavami, Maziar Nekovee
Reputation as a Service
Joao Ferreira, Porfirio Filipe, Paulo Martins
SERVICE COMPUTATION 3: Ubiquitous and pervasive services
Session chair: Giuseppe La Torre
Privacy Monitoring and Assessment for Ubiquitous Systems
Mitja Vardjan, Jan Porekar
Towards Semantic-Supported SmartLife System Architectures for Big Data Services in the Cloud
Eman El-Sheikh, Sikha Bagui, Donald Firesmith, Ilia Petrov, Norman Wilde, Alfred Zimmermann
Web Storage Application for In-Vehicle Infotainment System Based on GENIVI Platform (PRESENTATION)
Boo-Sun Jeon
SERVICE COMPUTATION 4: Service innovation, evaluation and delivery II
Session chair: Mitja Vardjan
A New Process Model for Optimizing IT Outsourcing Operations in the German Automotive Industry
Christine Brautsch, Martin Wynn
Web Science Studies into Semantic Web Service-Based Research Environments
Mark Wilkinson
Versioning and Historiography in Automated Generic Electronic Flight Log Book Transfer
Arne Koschel, Carsten Kleiner, Björn Koschel
A Decomposition-based Method for QoS-aware Web Service Composition with Large-scale Composition Structure
Lianyong Qi, Xiaona Xia, Jiancheng Ni, Chunmei Ma, Yanxue Luo