Printed from e-media with permission by:
Curran Associates, Inc. 57 Morehouse Lane Red Hook, NY 12571
Some format issues inherent in the e-media version may also appear in this print version.
Copyright© (2011) by International Academy, Research, and Industry Association (IARIA) Please refer to the Copyright Information page.
Printed by Curran Associates, Inc. (2012)
International Academy, Research, and Industry Association (IARIA) 412 Derby Way Wilmington, DE 19810
Phone: (408) 893-6407 Fax: (408) 527-6351 [email protected]
Additional copies of this publication are available from:
Curran Associates, Inc. 57 Morehouse Lane Red Hook, NY 12571 USA Phone: 845-758-0400 Fax: 845-758-2634 Email: [email protected] Web: www.proceedings.com International Journal on Advances in Intelligent Systems Volume 4, Numbers 3 & 4, 2011
CONTENTS
Optimal State Estimation under Observation Budget Constraints 57 - 67 Praveen Bommannavar, Stanford University, United States Nicholas Bambos, Stanford University, United States
Multilingual Ontology Library Generator for Smart-M3 Information Sharing Platform 68 - 81 Dmitry G. Korzun, Petrozavodsk State University, Russia Alexandr A. Lomov, Petrozavodsk State University, Russia Pavel I. Vanag, Petrozavodsk State University, Russia Sergey I. Balandin, FRUCT Oy, Finland Jukka Honkola, Innorange Oy, Finland
A Distributed Workflow Platform for High-Performance Simulation 82 - 101 Toan Nguyen, INRIA, France Jean-Antoine Desideri, INRIA, France
Opportunistic Object Binding and Proximity Detection for Multi-modal Localization 102 - 112 Maarten Weyn, Artesis University College of Antwerp, Belgium Isabelle De Cock, Artesis University College of Antwerp, Belgium Yannick Sillis, Artesis University College of Antwerp, Belgium Koen Schouwaerts, Artesis University College of Antwerp, Belgium Bruno Pauwels, Artesis University College of Antwerp, Belgium Willy Loockx, Artesis University College of Antwerp, Belgium Charles Vercauteren, Artesis University College of Antwerp, Belgium
Semantic Matchmaking for Location-Aware Ubiquitous Resource Discovery 113 - 127 Michele Ruta, Politecnico di Bari, Italy Floriano Scioscia, Politecnico di Bari, Italy Eugenio Di Sciascio, Politecnico di Bari, Italy GIacomo Piscitelli, Politecnico di Bari, Italy
Personalized Access to Contextual Information by using an Assistant for Query 128 - 146 Reformulation Ounas Asfari, ERIC Laboratory , University of Lyon 2, France Bich-Liên Doan, SUPELEC/Department of Computer Science, France Yolaine Bourda, SUPELEC/Department of Computer Science, France Jean-Paul Sansonnet, LIMSI-CNRS, University of Paris 11, France
Modeling, Analysis and Simulation of Ubiquitous Systems Using a MDE Approach 147 - 157 Amara Touil, Université de Brest, France Makhlouf Benkerrou, Université de Brest, France Jean Vareille, Université de Brest, France Fred Lherminier, Terra Nova Energy, France Philippe Le Parc, Université de Brest, France
Contextual Generation of Declarative Workflows and their Application to Software 158 - 179 Engineering Processes Gregor Grambow, Aalen University, Germany Roy Oberhauser, Aalen University, Germany Manfred Reichert, Ulm University, Germany
Adding Self-scaling Capability to the Cloud to meet Service Level Agreements 180 - 187 Antonin Chazalet, France Telecom - Orange Labs, France Frederic Dang Tran, France Telecom - Orange Labs, France Marina Deslaugiers, France Telecom - Orange Labs, France Alexandre Lefebvre, France Telecom - Orange Labs, France Francois Exertier, Bull, France Julien Legrand, Bull, France
SERSCIS-Ont : Evaluation of a Formal Metric Model using Airport Collaborative Decision 188 - 202 Making Mike Surridge, The University of Southampton IT Innovation Centre, United Kingdom Ajay Chakravarthy, The University of Southampton IT Innovation Centre, United Kingdom Maxim Bashevoy, The University of Southampton IT Innovation Centre, United Kingdom Joel Wright, The University of Southampton IT Innovation Centre, United Kingdom Martin Hall-May, The University of Southampton IT Innovation Centre, United Kingdom Roman Nossal, Austro Control, Austria
Financial Business Cloud for High-Frequency Trading A Research on Financial Trading 203 - 217 Operations with Cloud Computing Arden Agopyan, Software Group, IBM Central & Eastern Europe, Turkey Emrah Şener, Center for Computational Finance, Özyeğin University, Turkey Ali Beklen, Software Group, IBM Turkey, Turkey
Design and Evaluation of Description Logics based Recognition and Understanding of 218 - 227 Situations and Activities for Safe Human-Robot Cooperation Stephan Puls, Institute of Process Control and Robotics (IPR), Karlsruhe Institute of Technology (KIT), Germany Jürgen Graf, Institute of Process Control and Robotics (IPR), Karlsruhe Institute of Technology (KIT), Germany Heinz Wörn, Institute of Process Control and Robotics (IPR), Karlsruhe Institute of Technology (KIT), Germany
Adaptable Interfaces 228 - 233 Ken Krechmer, University of Colorado, USA
Interactive Rule Learning for Access Control: Concepts and Design 234 - 244 Matthias Beckerle, Technische Universität Darmstadt, Germany
A Universal Model for Hidden State Observation in Adaptive Process Controls 245 - 255 Melanie Senn, Institute of Computational Engineering at IAF, Karlsruhe University of Applied Sciences, Germany Norbert Link, Institute of Computational Engineering at IAF, Karlsruhe University of Applied Sciences, Germany
Behaviour-inspired Data Management in the Cloud 256 - 267 Dariusz Krol, AGH University of Science and Technology, Faculty of Electrical Engineering, Automatics, Computer Science and Electronics, Department of Computer Science, Poland Renata Slota, AGH University of Science and Technology, Faculty of Electrical Engineering, Automatics, Computer Science and Electronics, Department of Computer Science, Poland Wlodzimierz Funika, AGH University of Science and Technology, Faculty of Electrical Engineering, Automatics, Computer Science and Electronics, Department of Computer Science, Poland
Business-Policy driven Service Provisioning in HPC 268 - 287 Eugen Volk, High Performance Computing Center Stuttgart (HLRS), Germany
Online Evolution in Dynamic Environments using Neural Networks in Autonomous 288 - 298 Robots Christopher Schwarzer, Institute for Evolution and Ecology, University of Tuebingen, Germany Florian Schlachter, Institute for Parallel and Distributed Systems, University of Stuttgart, Germany Nico K. Michiels, Institute for Evolution and Ecology, University of Tuebingen, Germany
Animated Virtual Agents to Cue User Attention 299 - 308 Santiago Martinez, University of Abertay Dundee, United Kingdom Robin Sloan, University of Abertay Dundee, United Kingdom Andrea Szymkowiak, University of Abertay Dundee, United Kingdom Ken Scott-Brown, University of Abertay Dundee, United Kingdom
A System-On-Chip Platform for HRTF-Based Realtime Spatial Audio Rendering With an 309 - 317 Improved Realtime Filter Interpolation Wolfgang Fohl, HAW Hamburg, Germany Jürgen Reichardt, HAW Hamburg, Germany Jan Kuhr, HAW Hamburg, Germany
An Integrated Approach for Data- and Compute-intensive Mining of Large Data Sets in 318 - 331 the GRID Matthias Röhm, Ulm University, Germany Matthias Grabert, Ulm University, Germany Franz Schweiggert, Ulm University, Germany
Towards an Approach of Formal Verification of Web Service Composition 332 - 342 Mohamed Graiet, MIRACL , ISIMS, Tunisia Lazhar Hamel, MIRACL, ISIMS, Tunisia Raoudha Maraoui, MIRACL, ISIMS, Tunisia Mourad Kmimech, MIRACL, ISIMS, Tunisia Mohamed Tahar Bhiri, MIRACL, ISIMS, Tunisia Walid Gaaloul, Computer Science Department Telecom SudParis, France
Virtual Reality Technologies: A Way to Verify and Design Dismantling 343 - 356 Caroline Chabal, CEA, France Jean-François Mante, CEA, France Jean-Marc Idasiak, CEA, France
An Event-based Communication Concept for Human Supervision of Autonomous Robot 357 - 369 Teams Karen Petersen, Technische Universität Darmstadt, Germany Oskar von Stryk, Technische Universität Darmstadt, Germany
A Virtual Navigation in a Reconstruction of the Town of Otranto in the Middle Ages for 370 - 379 Playing and Education Lucio Tommaso De Paolis De Paolis, Department of Innovation Engineering - University of Salento, Italy Giovanni Aloisio Aloisio, Department of Innovation Engineering - University of Salento, Italy Maria Grazia Celentano, Scuola Superiore ISUFI - University of Salento, Italy Luigi Oliva Oliva, Scuola Superiore ISUFI - University of Salento, Italy Pietro Vecchio Vecchio, Scuola Superiore ISUFI - University of Salento, Italy
A Novel Graphical Interface for User Authentication on Mobile Phones and Handheld 380 - 387 Devices Sarosh Umar, Aligarh Muslim University, Aligarh, India Qasim Rafiq, Aligarh Muslim University, Aligarh, India
Specification and Application of a Taxonomy for Task Models in Model-Based User 388 - 398 Interface Development Environments Gerrit Meixner, German Research Center for Artificial Intelligence (DFKI), Germany Marc Seissler, German Research Center for Artificial Intelligence (DFKI), Germany Marius Orfgen, German Research Center for Artificial Intelligence (DFKI), Germany
Personality and Mental Health Assessment: A sensor-based approach to estimate 399 - 409 personality and mental health Javier Eguez Guevara, Tokyo Institute of Technology, Japan Ryohei Onishi, Tokyo Institute of Technology, Japan Hiroyuki Umemuro, Tokyo Institute of Technology, Japan Kazuo Yano, Hitachi, Ltd., Japan Koji Ara, Hitachi, Ltd., Japan
A Semi-Automatic Method for Matching Schema Elements in the Integration of 410 - 422 Structural Pre-Design Schemata Peter Bellström, Department of Information Systems, Sweden Jürgen Vöhringer, econob GmbH, Austria