Filter your results
- 549
- 23
- 548
- 1
- 549
- 177
- 549
- 549
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 7
- 4
- 4
- 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
- 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
- 2
- 2
|
|
A Bioinformatics Workflow for Genetic Association Studies of Traits in Indonesian Rice2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.356-364, ⟨10.1007/978-3-642-55032-4_35⟩
Conference papers
hal-01397232v1
|
||
|
|
A Broker-Based Self-organizing Mechanism for Cloud-Market11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.281-293, ⟨10.1007/978-3-662-44917-2_24⟩
Conference papers
hal-01403095v1
|
||
|
|
A Calculus of Self-stabilising Computational Fields16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.163-178, ⟨10.1007/978-3-662-43376-8_11⟩
Conference papers
hal-01290075v1
|
||
|
|
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.98-117, ⟨10.1007/978-3-662-44124-4_6⟩
Conference papers
hal-01408754v1
|
||
|
|
A Compilation and Run-Time Framework for Maximizing Performance of Self-scheduling Algorithms11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.459-470, ⟨10.1007/978-3-662-44917-2_38⟩
Conference papers
hal-01403116v1
|
||
|
|
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.173-179, ⟨10.1007/978-3-662-44857-1_12⟩
Conference papers
hal-01405284v1
|
||
|
|
A Decision Model for Data Sharing13th International Conference on Electronic Government (EGOV), Sep 2014, Dublin, Ireland. pp.253-264, ⟨10.1007/978-3-662-44426-9_21⟩
Conference papers
hal-01401749v1
|
||
|
|
A Design of Web Log Integration Framework Using NoSQL2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.438-445, ⟨10.1007/978-3-642-55032-4_44⟩
Conference papers
hal-01397250v1
|
||
|
|
A Distributed Generic Data Structure for Urban Level Building Data Monitoring2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.86-95, ⟨10.1007/978-3-642-55032-4_9⟩
Conference papers
hal-01397148v1
|
||
|
|
A Federated Cloud Identity Broker-Model for Enhanced Privacy via Proxy Re-Encryption15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.92-103, ⟨10.1007/978-3-662-44885-4_8⟩
Conference papers
hal-01404190v1
|
||
|
|
A Flexible Agent-Based Framework for Infectious Disease Modeling2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.36-45, ⟨10.1007/978-3-642-55032-4_4⟩
Conference papers
hal-01397142v1
|
||
|
|
A Focused Review and Initial Conceptual Design for Merging Exergame and Activity Monitoring Technologies13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.77-83, ⟨10.1007/978-3-662-45212-7_10⟩
Conference papers
hal-01408507v1
|
||
|
|
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.1-16, ⟨10.1007/978-3-662-44857-1_1⟩
Conference papers
hal-01405261v1
|
||
|
|
A Full Privacy-Preserving Scheme for Location-Based Services2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.596-601, ⟨10.1007/978-3-642-55032-4_61⟩
Conference papers
hal-01397275v1
|
||
|
|
A Fuzzy-Logic Based Coordinated Scheduling Technique for Inter-grid Architectures4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.171-185, ⟨10.1007/978-3-662-43352-2_14⟩
Conference papers
hal-01287741v1
|
||
|
|
A GENTL Approach for Cloud Application Topologies3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.148-159, ⟨10.1007/978-3-662-44879-3_11⟩
Conference papers
hal-01318283v1
|
||
|
|
A Goal Matching Service for Facilitating Public Collaboration Using Linked Open Data6th International Conference on Electronic Participation (ePart), Sep 2014, Dublin, Ireland. pp.114-127, ⟨10.1007/978-3-662-44914-1_10⟩
Conference papers
hal-01396965v1
|
||
|
|
A GPU-Based Enhanced Genetic Algorithm for Power-Aware Task Scheduling Problem in HPC Cloud2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.159-169, ⟨10.1007/978-3-642-55032-4_16⟩
Conference papers
hal-01397181v1
|
||
|
|
A High-Speed Network Content Filtering SystemInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.257-269, ⟨10.1007/978-3-319-10975-6_20⟩
Conference papers
hal-01404003v1
|
||
|
|
A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.164-178, ⟨10.1007/978-3-662-44602-7_14⟩
Conference papers
hal-01402040v1
|
||
|
|
A Hybrid System for Reducing Memory and Time Overhead of Intrusion Detection System2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.386-395, ⟨10.1007/978-3-642-55032-4_38⟩
Conference papers
hal-01397238v1
|
||
|
|
A Knowledge Integration Approach for Safety-Critical Software Development and Operation Based on the Method ArchitectureInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.17-28, ⟨10.1007/978-3-319-10975-6_2⟩
Conference papers
hal-01403983v1
|
||
|
|
A Local Gaussian Filter and Adaptive Morphology as Tools for Completing Partially Discontinuous Curves13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.559-570, ⟨10.1007/978-3-662-45237-0_51⟩
Conference papers
hal-01405643v1
|
||
|
|
A Location Privacy Preserving Method Based on Sensitive Diversity for LBS11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.409-422, ⟨10.1007/978-3-662-44917-2_34⟩
Conference papers
hal-01403110v1
|
||
|
|
A Longitudinal Study of BGP MOAS Prefixes6th International Workshop on Traffic Monitoring and Analysis (TMA), Apr 2014, London, United Kingdom. pp.127-138, ⟨10.1007/978-3-642-54999-1_11⟩
Conference papers
hal-01396480v1
|
||
|
|
A Model of a System for Stream Data Storage and Analysis Dedicated to Sensor Networks of Embankment Monitoring13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.514-525, ⟨10.1007/978-3-662-45237-0_47⟩
Conference papers
hal-01405634v1
|
||
|
|
A Model-Based Certification Framework for the EnergyBus Standard34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.84-99, ⟨10.1007/978-3-662-43613-4_6⟩
Conference papers
hal-01098360v1
|
||
|
|
A Modular Architecture for Deploying Self-adaptive Traffic Sampling8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.179-183, ⟨10.1007/978-3-662-43862-6_21⟩
Conference papers
hal-01401305v1
|
||
|
|
A Multiple Refinement Approach in Abstraction Model Checking13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.433-444, ⟨10.1007/978-3-662-45237-0_40⟩
Conference papers
hal-01405623v1
|
||
|
|
A Need for Interactive Music Videos13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.244-246, ⟨10.1007/978-3-662-45212-7_36⟩
Conference papers
hal-01408563v1
|