Filter your results
- 1379
- 41
- 1362
- 17
- 1377
- 160
- 2
- 2
- 1
- 1
- 25
- 20
- 20
- 20
- 26
- 310
- 1043
- 1379
- 9
- 8
- 8
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
X-Ray: Monitoring and Analysis of Distributed Database Queries15th 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
|
||
|
Rapid, High-Level Performance Estimation for DSE Using Calibrated Weight Tables5th 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
|
||
|
Integration of Robot Operating System and Ptolemy for Design of Real-Time Multi-robots Environments5th 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
|
||
|
Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique5th 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
|
||
|
Case-Based Development of Consumer Preferences Using Brand Personality and Values Co-creation8th Practice of Enterprise Modelling (P0EM), Nov 2015, Valencia, Spain. pp.159-173, ⟨10.1007/978-3-319-25897-3_11⟩
Conference papers
hal-01442249v1
|
||
|
Towards Guiding the Use of Enterprise Modeling in the Context of Business and IT Alignment8th Practice of Enterprise Modelling (P0EM), Nov 2015, Valencia, Spain. pp.11-26, ⟨10.1007/978-3-319-25897-3_2⟩
Conference papers
hal-01442263v1
|
||
|
Visibility Graphs of Anchor Polygons1st 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
|
||
|
Rainbow Domination and Related Problems on Some Classes of Perfect Graphs1st 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
|
||
|
Early Warning Systems for Cyber DefenceInternational 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
|
||
|
Catching Inside Attackers: Balancing Forensic Detectability and Privacy of EmployeesInternational 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
|
||
|
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields35th 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
|
||
|
Sliced Path Prefixes: An Effective Method to Enable Refinement Selection35th 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
|
||
|
Aligning Process Model Terminology with Hypernym Relations5th 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
|
||
|
A Relational Data Warehouse for Multidimensional Process Mining5th 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
|
||
|
Using Domain Knowledge to Enhance Process Mining Results5th 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
|
||
|
Design and Implementation of Greenhouse Remote Monitoring System Based on 4G and Virtual Network9th 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
|
||
|
The Countermeasures of Carrying on Web of the Research Institutions in the Era of Big Data — Consider the Web of Chinese Academy of Agricultural Sciences9th 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
|
||
|
FRAGMENTED JPEG FILE RECOVERY USING PSEUDO HEADERS11th 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
|
||
|
A FRAMEWORK FOR DESCRIBING MULTIMEDIA CIRCULATION IN A SMARTPHONE ECOSYSTEM11th 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
|
||
|
The Contribution of Carl Adam Petri to Our Understanding of ‘Computing’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
|
||
|
Trente ans ou la Vie d′un scientifique3rd 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
|
||
|
Wherefore art thou ... Semantics of Computation?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
|
||
|
Playfulness and the Advent of Computerization in Spain: The National Club of ZX81 Users3rd 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
|
||
|
The Measurement of Fish Size by Machine Vision - A Review9th 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
|
||
|
Research and Design of Shandong Province Animal Epidemic Prevention System Based on GIS9th 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
|
||
|
Improving Agricultural Information and Knowledge Transfer in Cambodia - Adopting Chinese Experience in Using Mobile Internet Technologies9th 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
|
||
|
Study on Laos-China Cross-Border Regional Economic Cooperation Based on Symbiosis Theory: A Case of Construction of Laos Savan Water Economic Zone9th 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
|
||
|
USING INTERNAL MySQL/InnoDB B-TREE INDEX NAVIGATION FOR DATA HIDING11th 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
|
||
|
NOTIONS OF HYPOTHESIS IN DIGITAL FORENSICS11th 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
|
||
|
Application of Spatial Reasoning in Predicting Rainfall Situation for Two Disjoint Areas9th 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
|