Filter your results
- 94
- 7
- 94
- 7
- 101
- 2
- 11
- 6
- 12
- 12
- 1
- 10
- 4
- 6
- 1
- 19
- 3
- 14
- 101
- 18
- 16
- 5
- 4
- 4
- 4
- 3
- 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
- 8
- 4
- 4
- 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
- 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
|
|
Proof System for Applied Pi Calculus6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.229-243, ⟨10.1007/978-3-642-15240-5_17⟩
Conference papers
hal-01054457v1
|
||
|
|
CCIndex: a Complemental Clustering Index on Distributed Ordered Tables for Multi-dimensional Range QueriesIFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.247-261, ⟨10.1007/978-3-642-15672-4_22⟩
Conference papers
hal-01054987v1
|
||
|
|
An Efficient Simulation Algorithm for Cache of Random Replacement PolicyIFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.144-154, ⟨10.1007/978-3-642-15672-4_13⟩
Conference papers
hal-01054982v1
|
||
|
|
Online Event Correlations Analysis in System Logs of Large-Scale Cluster SystemsIFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.262-276, ⟨10.1007/978-3-642-15672-4_23⟩
Conference papers
hal-01054978v1
|
||
|
|
JAMILA: A Usable Batch Job Management System to Coordinate Heterogeneous Clusters and Diverse Applications over Grid or Cloud InfrastructureIFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.412-422, ⟨10.1007/978-3-642-15672-4_34⟩
Conference papers
hal-01054968v1
|
||
|
|
Adult Image Detection Combining BoVW Based on Region of Interest and Color Moments6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.316-325, ⟨10.1007/978-3-642-16327-2_38⟩
Conference papers
hal-01055069v1
|
||
|
|
Associated Clustering and Classification Method for Electric Power Load Forecasting6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.112-121, ⟨10.1007/978-3-642-16327-2_16⟩
Conference papers
hal-01055065v1
|
||
|
|
Two Improvement Strategies for PSO6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.122-129, ⟨10.1007/978-3-642-16327-2_17⟩
Conference papers
hal-01055064v1
|
||
|
|
An Efficient Data Indexing Approach on Hadoop Using Java Persistence API6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.213-224, ⟨10.1007/978-3-642-16327-2_27⟩
Conference papers
hal-01055056v1
|
||
|
|
Semantic Approach for Service Oriented Requirements Modeling6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.35-44, ⟨10.1007/978-3-642-16327-2_8⟩
Conference papers
hal-01055053v1
|
||
|
|
EAU: Efficient Address Updating for Seamless Handover in Multi-homed Mobile Environments9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.227-238, ⟨10.1007/978-3-642-12963-6_18⟩
Conference papers
hal-01056310v1
|
||
|
|
Requirement Driven Service Composition: An Ontology-Based Approach6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.16-25, ⟨10.1007/978-3-642-16327-2_6⟩
Conference papers
hal-01060354v1
|
||
|
|
Study on Spatial Model and Service Radius of Rural Areas and Agriculture Information Level in Yellow-River Delta5th Computer and Computing Technologies in Agriculture (CCTA), Oct 2011, Beijing, China. pp.248-256, ⟨10.1007/978-3-642-27278-3_26⟩
Conference papers
hal-01360986v1
|
||
|
|
Identifying Leaf-Scale Wheat Aphids Using the Near-Ground Hyperspectral Pushbroom Imaging Spectrometer5th Computer and Computing Technologies in Agriculture (CCTA), Oct 2011, Beijing, China. pp.275-282, ⟨10.1007/978-3-642-27278-3_29⟩
Conference papers
hal-01360989v1
|
||
|
|
Evolution Characteristics for Water Eco-Environment of Baiyangdian Lake with 3S Technologies in the Past 60 Years5th Computer and Computing Technologies in Agriculture (CCTA), Oct 2011, Beijing, China. pp.434-460, ⟨10.1007/978-3-642-27278-3_46⟩
Conference papers
hal-01361013v1
|
||
|
|
Study on Automatic Composition of Semantic Geospatial Web Service5th Computer and Computing Technologies in Agriculture (CCTA), Oct 2011, Beijing, China. pp.484-495, ⟨10.1007/978-3-642-27278-3_50⟩
Conference papers
hal-01361018v1
|
||
|
|
RegRSA: Using Registers as Buffers to Resist Memory Disclosure Attacks31st IFIP International Information Security and Privacy Conference (SEC), May 2016, Ghent, Belgium. pp.293-307, ⟨10.1007/978-3-319-33630-5_20⟩
Conference papers
hal-01369563v1
|
||
|
|
Uncertain? No, It’s Very Certain!31st IFIP International Information Security and Privacy Conference (SEC), May 2016, Ghent, Belgium. pp.308-320, ⟨10.1007/978-3-319-33630-5_21⟩
Conference papers
hal-01369565v1
|
||
|
|
Intelligent Information Processing VIISpringer, AICT-432, 2014, IFIP Advances in Information and Communication Technology, 978-3-662-44979-0. ⟨10.1007/978-3-662-44980-6⟩
Books
hal-01383352v1
|
||
|
|
Dynamic Programming-Based Lifetime Reliability Optimization in Networks-on-Chip22th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC 2014), Oct 2014, Playa del Carmen, Mexico. pp.1-20, ⟨10.1007/978-3-319-25279-7_1⟩
Conference papers
hal-01383724v1
|
||
|
|
Web User Profiling Based on Browsing Behavior Analysis10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.57-71, ⟨10.1007/978-3-662-44952-3_5⟩
Conference papers
hal-01393760v1
|
||
|
|
Denial-of-Service Security Attack in the Continuous-Time World34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.149-165, ⟨10.1007/978-3-662-43613-4_10⟩
Conference papers
hal-01398014v1
|
||
|
|
APP-LRU: A New Page Replacement Method for PCM/DRAM-Based Hybrid Memory Systems11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.84-95, ⟨10.1007/978-3-662-44917-2_8⟩
Conference papers
hal-01403068v1
|
||
|
|
A Novel Page Replacement Algorithm for the Hybrid Memory Architecture Involving PCM and DRAM11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.108-119, ⟨10.1007/978-3-662-44917-2_10⟩
Conference papers
hal-01403070v1
|
||
|
|
HiNetSim: A Parallel Simulator for Large-Scale Hierarchical Direct Networks11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.120-131, ⟨10.1007/978-3-662-44917-2_11⟩
Conference papers
hal-01403072v1
|
||
|
|
Modeling the Drivers of Agricultural Land Conversion Response to China’s Rapidly Rural Urbanization: Integrating Remote Sensing with Socio-Economic Data8th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2014, Beijing, China. pp.324-336, ⟨10.1007/978-3-319-19620-6_37⟩
Conference papers
hal-01420247v1
|
||
|
|
PROFILING AND TRACKING A CYBERLOCKER LINK SHARER IN A PUBLIC WEB FORUM11th IFIP International Conference on Digital Forensics (DF), Jan 2015, Orlando, FL, United States. pp.97-113, ⟨10.1007/978-3-319-24123-4_6⟩
Conference papers
hal-01449072v1
|
||
|
|
A PRIVACY-PRESERVING ENCRYPTION SCHEME FOR AN INTERNET REALNAME REGISTRATION SYSTEM11th IFIP International Conference on Digital Forensics (DF), Jan 2015, Orlando, FL, United States. pp.115-128, ⟨10.1007/978-3-319-24123-4_7⟩
Conference papers
hal-01449073v1
|
||
|
|
TerraCheck: Verification of Dedicated Cloud Storage27th Data and Applications Security and Privacy (DBSec), Jul 2013, Newark, NJ, United States. pp.113-127, ⟨10.1007/978-3-642-39256-6_8⟩
Conference papers
hal-01490720v1
|
||
|
|
Improving Flask Implementation Using Hardware Assisted In-VM Isolation27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Crete, Greece. pp.115-125, ⟨10.1007/978-3-642-30436-1_10⟩
Conference papers
hal-01518216v1
|