ThinkMind // ICONS 2012, The Seventh International Conference on Systems

Type: conference

Download: ICONS 2012 cover page

Download: ICONS 2012 foreword page

Download: ICONS 2012 committee page

Download: ICONS 2012 table of contents

Download: ICONS 2012 full proceedings

Notes: IARIA Conference.

Editors:
Hermann Kaindl, Vienna University of Technology, Austria
Leszek Koszalka, Wroclaw University of Technology, Poland
Herwig Mannaert, University of Antwerp, Belgium
Marko Jäntti, University of Eastern Finland, Finland
Petre Dini, Concordia University, Canada / China Space Agency Center, China
Vaclav Skala, University of West Bohemia, Plzen and VSB-Technical University, Ostrava, Czech Republic

Event editions: - there are 13 editions.

ISSN: 2308-4243

ISBN: 978-1-61208-184-7

Location: Saint Gilles, Reunion

Dates: from February 29, 2012 to March 5, 2012

Articles: there are 40 articles

Mobile Code Security in Contemporary Information Systems - Past, Present and Trends
Denis Trcek and Marko Bajec
keywords: information systems; critical infrastructures; distributed services; security; mobile code integrity

A Trusted Information Agent for Security Information and Event Management
Luigi Coppolino, Michael Jäger, Nicolai Kuntze, and Roland Rieke
keywords: reliability aspects of security information and event management systems; trusted event reporting; trusted android application; critical infrastructure protection

New Approach to Mitigating Distributed Service Flooding Attacks
Mehmud Abliz and Taieb Znati
keywords: denial of service; availability; tour puzzles; proof of work; client puzzles; cryptography.

Architecture of a Security and Surveillance System
Florian Segor, Axel Bürkle, Sven Müller, Rainer Schönbein, and Matthias Kollmann
keywords: generic; system architecture; security system; control station

Reliability Aspects of Uniformly Parameterised Cooperations
Peter Ochsenschläger and Roland Rieke
keywords: reliability aspects of scalable complex systems; liveness properties; uniformly parameterised reliability properties; finite state verification; possibilistic reliability

System Reverse Engineering to Requirements and Tests
Qi Zhang and Andreas Karcher
keywords: Avionic; Embedded Multifunction Displays; Maintenance; Requirements; Reverse Engineering

Context ontology for Event-Driven Information Systems
Ana Šaša Bastinos and Marjan Krisper
keywords: event; complex event; ontology; aspectual model

A Top-Down-View on Intelligent Surveillance Systems
Yvonne Fischer and Jürgen Beyerer
keywords: surveillance system; data fusion; situation awareness; situation assessment; probabilistic reasoning

Designing a Fault-Tolerant Satellite System in SystemC
Kashif Javed and Elena Troubitsyna
keywords: Fault-Tolerance; Mode-Rich Systems; Design; Verification

How About Agile Systems Development?
Hermann Kaindl, Edin Arnautovic, and Jürgen Falb
keywords: Agile development; iterative and incremental development; development life cycle

Towards Applying Normalized Systems Concepts to Modularity and the Systems Engineering Process
Peter De Bruyn and Herwig Mannaert
keywords: Normalized Systems, Modularity, Systems engineering, Evolvability, Systems theoretic stability

In Search of Rules for Evolvable and Stateful run-time Deployment of Controllers in Industrial Automation Systems
Dirk van der Linden and Herwig Mannaert
keywords: Normalized Systems; Evolvability; Systems Theory; Modularity; Industrial Automation.

Towards the Explicitation of Hidden Dependencies in the Module Interface
Dirk van der Linden, Herwig Mannaert, and Peter De Bruyn
keywords: Normalized Systems; Reusability; Evolvability; Systems Theory; Modularity; Black Box.

A Framework for Cyber-Physical Systems Design – A Concept Study
Ondrej Rysavy, Miroslav Sveda, and Radimir Vrba
keywords: Embedded system design, smart sensor, wireless communication, temperature and pressure measurement

ISA-95 Tool for Enterprise Modeling
Dazhuang He, Andrei Lobov, and Jose Luis Martinez Lastra
keywords: B2MML; ISA-95; Enterprise modeling.

Evaluating Service-Oriented Orchestration Schemes for Controlling Pallet Flow
Johannes Minor, Jorge Garcia, Jacaan Martinez, Andrei Lobov, and Jose Luis Martinez Lastra
keywords: SOA; orchestration; control schemes.

Exploring Entropy in Software Systems: Towards a Precise Definition and Design Rules
Herwig Mannaert, Peter De Bruyn, and Jan Verelst
keywords: Normalized Systems, Entropy, Systems engineering, Evolvability

MDE-based QoS management framework for RTDB management systems development
Salwa M'barek, Leila Baccouche, and Henda Ben Ghezala
keywords: real-time database management systems; Model driven engineering; MDE; MDA; QoS management; feedback control scheduling; components

Examining Challenges in IT Service Desk System and Processes: A Case Study
Marko Jäntti
keywords: incident management; service support; IT service.

Branching Program-Based Programmable Logic for Embedded Systems
Václav Dvořák
keywords: Boolean functions; multi-terminal binary decision diagrams MTBDDs; branching programs; MTBDD complexity; decision diagram machines DDMs

Orchestration Driven by Formal Specification
Charif Mahmoudi and Fabrice Mourlin
keywords: mobile agent, architecture specification, service composition.

Optimized Testing Process in Vehicles Using an Augmented Data Logger
Karsten Hünlich, Daniel Ulmer, Steffen Wittel, and Ulrich Bröckl
keywords: automotive; data logger; intelligent data logger; test case development; test case monitoring

Providing In-house Support to Disabled People Through Interactive Television
Begoña Fuentes Merino, Miguel Angel Gómez Carballa, Carlos Rivas Costa, José Ramón Fernández Bernárdez, Rubén Míguez Pérez, Manuel José Fernández Iglesias, and Luis Anido Rifón
keywords: Teleassistance; socio-sanitary care; eHealth; disabled people; interactive television.

The Pervasive Fridge. A smart computer system against uneaten food loss.
José Rouillard
keywords: Application-oriented system, pervasive computing, ubiquitous computing, ambient intelligence, fridge, barcode scanner, voice interaction, SMS, android.

A Graphical Development Tool for Earth System Model Using Component Description Language
Chao Tan, Sujun Cheng, Zhongzhi Luan, Si Ye, Wenjun Li, and Depei Qian
keywords: component description language; Earth System Model(ESM); ESM Framework.

Magnetic Resonance Signal Processing in Medical Applications
Jan Mikulka, Eva Gescheidtová, and Karel Bartušek
keywords: magnetic resonance; biomedical image processing; image segmentation; level set; active countour; edge analysis; noise suppression; volumetry

Magnetic Susceptibility Measurement from Spatially Mapped Reaction Field
Petr Marcon, Eva Gescheidtova, and Karel Bartusek
keywords: NMR; magnetic susceptibility; reaction field; 3D vicinity of specimen

Hierarchical PLABs, CLABs, TLABs in Hotspot
Hannes Payer, Christoph M. Kirsch, and Harald Roeck
keywords: memory management, garbage collection, virtual machines, scalability

Intelligent Processing of Video Streams for Visual Customer Behavior Analysis
Johannes Kröckel and Freimut Bodendorf
keywords: Customer tracking; video analysis; behavior analysis; retail; point of sale.

A Cellular Automata Model for Wireless Sensor Networks
Yijun Wang, Zhihong Qian, Dayang Sun, and Ce Zhou
keywords: Cellular Automata; Microscopic mode; Modeling; Wireless Sensor Networks.

Intelligent Safety Verification for Pipeline Process Order Control Based on EVALPSN
Kazumi Nakamatsu, Jair Abe, and Seiki Akama
keywords: before-after relation, paraconsistent logic program, safety verification, pipeline process order, reasoning system

Secure communication based on indirect coupled synchronization
Rupak Kharel, Krishna Busawon, and Zabih Ghassemlooy
keywords: Chaotic communication systems; chaotic synchronization; Lorenz System; Chua System

Requirements Engineering for Software vs. Systems in General
Hermann Kaindl, Marko Jäntti, Herwig Mannaert, Kazumi Nakamatsu, and Roland Rieke
keywords: requirements engineering, software, systems, enterprises

Radial Basis Functions for High-Dimensional Visualization
Vaclav Skala
keywords: Visualization; computer graphics; interpolation; radial basis functions; RBF

Visual Data Mining Using the Point Distribution Tensor
Marcel Ritter, Werner Benger, Biagio Cosenza, Keera Pullman, Hans Moritsch, and Wolfgang Leimer
keywords: metric tensor; scientific visualization; point cloud; OpenCL

3D visualizations for supporting social awareness in learning communities
Ekaterina Prasolova-Forland
keywords: 3D visualizations for supporting social awareness in learning communities

A new Robust Method of Line Detection in a Structured Light System
Hussam Yousef, Regis Huez, Laurent Hussenet, and Michel Herbin
keywords: Image Processing; Computer vision; 3D visualization; Structured light system

Finding 3D Positions from 2D Images Feasibility Analysis
Hannagala Gamage Lochana Prematunga and Anuja T Dharmaratne
keywords: 3D position, 2D image, uniqueness, mathematical modeling

Interpolation and Intersection Algorithms and GPU
Vaclav Skala
keywords: Interpolation; intersection; principle of duality; barycentric coordinates; cross-product; linear systems of equations

Quaternion Lifting Scheme for Multi-resolution Wavelet-based Motion Analysis
Agnieszka Szczesna, Janusz Slupik, and Mateusz Janiak
keywords: quaternions, multiresolution analysis, wavelet transform, lifting scheme, quaternion interpolation, motion analysis