Search - IFIP Technical Committees

Filter your results

1 379 results
Deposit type : Fulltext
Image document

X-Ray: Monitoring and Analysis of Distributed Database Queries

Pedro Guimarães , José Pereira
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.80-93, ⟨10.1007/978-3-319-19129-4_7⟩
Conference papers hal-01775031v1
Image document

Rapid, High-Level Performance Estimation for DSE Using Calibrated Weight Tables

Kasra Moazzemi , Smit Patel , Shen Feng , Gunar Schirner
5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.197-209, ⟨10.1007/978-3-319-90023-0_16⟩
Conference papers hal-01854171v1
Image document

Integration of Robot Operating System and Ptolemy for Design of Real-Time Multi-robots Environments

Luis Costa , Alisson V. Brito , Tiago P. Nascimento , Thiago Bezerra
5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.38-47, ⟨10.1007/978-3-319-90023-0_4⟩
Conference papers hal-01854159v1
Image document

Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique

Björn Koopmann , Achim Rettberg , Tayfun Gezgin
5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.88-99, ⟨10.1007/978-3-319-90023-0_8⟩
Conference papers hal-01854160v1
Image document

Case-Based Development of Consumer Preferences Using Brand Personality and Values Co-creation

Eric-Oluf Svee , Jelena Zdravkovic
8th Practice of Enterprise Modelling (P0EM), Nov 2015, Valencia, Spain. pp.159-173, ⟨10.1007/978-3-319-25897-3_11⟩
Conference papers hal-01442249v1
Image document

Towards Guiding the Use of Enterprise Modeling in the Context of Business and IT Alignment

Julia Kaidalova , Ulf Seigerroth , Anne Persson
8th Practice of Enterprise Modelling (P0EM), Nov 2015, Valencia, Spain. pp.11-26, ⟨10.1007/978-3-319-25897-3_2⟩
Conference papers hal-01442263v1
Image document

Visibility Graphs of Anchor Polygons

Hossein Boomari , Alireza Zarei
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.72-89, ⟨10.1007/978-3-319-28678-5_6⟩
Conference papers hal-01446265v1
Image document

Rainbow Domination and Related Problems on Some Classes of Perfect Graphs

Wing-Kai Hon , Ton Kloks , Hsiang-Hsuan Liu , Hung-Lung Wang
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.121-134, ⟨10.1007/978-3-319-28678-5_9⟩
Conference papers hal-01446271v1
Image document

Early Warning Systems for Cyber Defence

Harsha Kalutarage , Siraj Shaikh , Bu-Sung Lee , Chonho Lee , Yeo Chai Kiat
International Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.29-42, ⟨10.1007/978-3-319-39028-4_3⟩
Conference papers hal-01445791v1
Image document

Catching Inside Attackers: Balancing Forensic Detectability and Privacy of Employees

Ephraim Zimmer , Jens Lindemann , Dominik Herrmann , Hannes Federrath
International Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.43-55, ⟨10.1007/978-3-319-39028-4_4⟩
Conference papers hal-01445792v1
Image document

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields

Ferruccio Damiani , Mirko Viroli , Danilo Pianini , Jacob Beal
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.113-128, ⟨10.1007/978-3-319-19195-9_8⟩
Conference papers hal-01767321v1
Image document

Sliced Path Prefixes: An Effective Method to Enable Refinement Selection

Dirk Beyer , Stefan Löwe , Philipp Wendler
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.228-243, ⟨10.1007/978-3-319-19195-9_15⟩
Conference papers hal-01767324v1
Image document

Aligning Process Model Terminology with Hypernym Relations

Stefan Bunk , Fabian Pittke , Jan Mendling
5th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2015, Vienna, Austria. pp.105-123, ⟨10.1007/978-3-319-53435-0_5⟩
Conference papers hal-01651888v1
Image document

A Relational Data Warehouse for Multidimensional Process Mining

Thomas Vogelgesang , H.-Jürgen Appelrath
5th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2015, Vienna, Austria. pp.155-184, ⟨10.1007/978-3-319-53435-0_8⟩
Conference papers hal-01651889v1
Image document

Using Domain Knowledge to Enhance Process Mining Results

P. M. Dixit , J. Buijs , Wil Aalst , B. Hompes , J. Buurman
5th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2015, Vienna, Austria. pp.76-104, ⟨10.1007/978-3-319-53435-0_4⟩
Conference papers hal-01651892v1
Image document

Design and Implementation of Greenhouse Remote Monitoring System Based on 4G and Virtual Network

Guogang Zhao , Yu Lianjun , Haiye Yu , Guowei Wang , Yuanyuan Sui , et al.
9th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2015, Beijing, China. pp.455-462, ⟨10.1007/978-3-319-48354-2_45⟩
Conference papers hal-01614209v1
Image document

The Countermeasures of Carrying on Web of the Research Institutions in the Era of Big Data — Consider the Web of Chinese Academy of Agricultural Sciences

Liping Zhang
9th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2015, Beijing, China. pp.382-391, ⟨10.1007/978-3-319-48354-2_38⟩
Conference papers hal-01614213v1
Image document

FRAGMENTED JPEG FILE RECOVERY USING PSEUDO HEADERS

Yanbin Tang , Zheng Tan , Kam-Pui Chow , Siu-Ming Yiu , Junbin Fang , et al.
11th IFIP International Conference on Digital Forensics (DF), Jan 2015, Orlando, FL, United States. pp.215-231, ⟨10.1007/978-3-319-24123-4_13⟩
Conference papers hal-01449060v1
Image document

A FRAMEWORK FOR DESCRIBING MULTIMEDIA CIRCULATION IN A SMARTPHONE ECOSYSTEM

Panagiotis Andriotis , Theo Tryfonas , George Oikonomou , Irwin King
11th IFIP International Conference on Digital Forensics (DF), Jan 2015, Orlando, FL, United States. pp.251-267, ⟨10.1007/978-3-319-24123-4_15⟩
Conference papers hal-01449062v1
Image document

The Contribution of Carl Adam Petri to Our Understanding of ‘Computing’

Giorgio De Michelis
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.156-167, ⟨10.1007/978-3-319-47286-7_11⟩
Conference papers hal-01615299v1
Image document

Trente ans ou la Vie d′un scientifique

Vladimir A. Kitov , Valery V. Shilov , Sergey A. Silantiev
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.186-202, ⟨10.1007/978-3-319-47286-7_13⟩
Conference papers hal-01615296v1
Image document

Wherefore art thou ... Semantics of Computation?

Furio Honsell
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.3-23, ⟨10.1007/978-3-319-47286-7_1⟩
Conference papers hal-01615311v1
Image document

Playfulness and the Advent of Computerization in Spain: The National Club of ZX81 Users

Ignasi Meda-Calvet
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.228-242, ⟨10.1007/978-3-319-47286-7_16⟩
Conference papers hal-01615305v1
Image document

The Measurement of Fish Size by Machine Vision - A Review

Mingming Hao , Helong Yu , Daoliang Li
9th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2015, Beijing, China. pp.15-32, ⟨10.1007/978-3-319-48354-2_2⟩
Conference papers hal-01614170v1
Image document

Research and Design of Shandong Province Animal Epidemic Prevention System Based on GIS

Jiabo Sun , Wenjie Feng , Xiaoyan Zhang , Luyan Niu , Yanzhong Liu
9th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2015, Beijing, China. pp.570-578, ⟨10.1007/978-3-319-48354-2_59⟩
Conference papers hal-01614176v1
Image document

Improving Agricultural Information and Knowledge Transfer in Cambodia - Adopting Chinese Experience in Using Mobile Internet Technologies

Yanan Hu , Yun Zhang , Yanqing Duan
9th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2015, Beijing, China. pp.357-368, ⟨10.1007/978-3-319-48354-2_36⟩
Conference papers hal-01614193v1
Image document

Study on Laos-China Cross-Border Regional Economic Cooperation Based on Symbiosis Theory: A Case of Construction of Laos Savan Water Economic Zone

Sisavath Thiravong , Jingrong Xu , Qin Jing
9th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2015, Beijing, China. pp.479-486, ⟨10.1007/978-3-319-48354-2_48⟩
Conference papers hal-01614197v1
Image document

USING INTERNAL MySQL/InnoDB B-TREE INDEX NAVIGATION FOR DATA HIDING

Peter Fruhwirt , Peter Kieseberg , Edgar Weippl
11th IFIP International Conference on Digital Forensics (DF), Jan 2015, Orlando, FL, United States. pp.179-194, ⟨10.1007/978-3-319-24123-4_11⟩
Conference papers hal-01449058v1
Image document

NOTIONS OF HYPOTHESIS IN DIGITAL FORENSICS

Segen Tewelde , Stefan Gruner , Martin Olivier
11th IFIP International Conference on Digital Forensics (DF), Jan 2015, Orlando, FL, United States. pp.29-43, ⟨10.1007/978-3-319-24123-4_2⟩
Conference papers hal-01449069v1
Image document

Application of Spatial Reasoning in Predicting Rainfall Situation for Two Disjoint Areas

Jian Li , Yanbo Huang , Rujing Yao , Yuanyuan Zhang
9th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2015, Beijing, China. pp.404-416, ⟨10.1007/978-3-319-48354-2_40⟩
Conference papers hal-01614175v1