Filter your results
- 161
- 1
- 161
- 1
- 162
- 1
- 162
- 103
- 245
- 146
- 115
- 151
- 177
- 162
- 172
- 272
- 315
- 7
- 162
- 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
- 4
- 4
- 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
- 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
|
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
|
||
|
A MapReduce Based Distributed Framework for Similarity Search in Healthcare Big Data Environment14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.173-182, ⟨10.1007/978-3-319-25013-7_14⟩
Conference papers
hal-01448037v1
|
||
|
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
|
||
|
Schengen Routing: A Compliance Analysis9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.100-112, ⟨10.1007/978-3-319-20034-7_11⟩
Conference papers
hal-01410156v1
|
||
|
Towards an Adaptive and Effective IDS Using OpenFlow9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.134-139, ⟨10.1007/978-3-319-20034-7_14⟩
Conference papers
hal-01410161v1
|
||
|
Test-Data Generation for Testing Parallel Real-Time Systems27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.211-223, ⟨10.1007/978-3-319-25945-1_13⟩
Conference papers
hal-01470169v1
|
||
|
Loop Freedom in AODVv235th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.98-112, ⟨10.1007/978-3-319-19195-9_7⟩
Conference papers
hal-01767329v1
|
||
|
Compliance and Subtyping in Timed Session Types35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.161-177, ⟨10.1007/978-3-319-19195-9_11⟩
Conference papers
hal-01767334v1
|
||
|
Device-Specific Traffic Characterization for Root Cause Analysis in Cellular Networks7th Workshop on Traffic Monitoring and Analysis (TMA), Apr 2015, Barcelona, Spain. pp.64-78, ⟨10.1007/978-3-319-17172-2_5⟩
Conference papers
hal-01411181v1
|
||
|
The Online Tracking Horde: A View from Passive Measurements7th Workshop on Traffic Monitoring and Analysis (TMA), Apr 2015, Barcelona, Spain. pp.111-125, ⟨10.1007/978-3-319-17172-2_8⟩
Conference papers
hal-01411188v1
|
||
|
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
|
||
|
Towards Information-Centric Wireless Multi-hop Communication13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.367-380, ⟨10.1007/978-3-319-22572-2_27⟩
Conference papers
hal-01728808v1
|
||
|
Simple Isolation for an Actor Abstract Machine35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.213-227, ⟨10.1007/978-3-319-19195-9_14⟩
Conference papers
hal-01767336v1
|
||
|
Sentiment Analysis of Products’ Reviews Containing English and Hindi Texts14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.416-422, ⟨10.1007/978-3-319-25013-7_33⟩
Conference papers
hal-01448058v1
|
||
|
Private-Collective Innovation and Open Source Software: Longitudinal Insights from Linux Kernel Development14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.299-313, ⟨10.1007/978-3-319-25013-7_24⟩
Conference papers
hal-01448048v1
|
||
|
Take Command of Your Constraints!17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.117-132, ⟨10.1007/978-3-319-19282-6_8⟩
Conference papers
hal-01774935v1
|
||
|
Optimization and Verification of the TR-MAC Protocol for Wireless Sensor Networks13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.396-410, ⟨10.1007/978-3-319-22572-2_29⟩
Conference papers
hal-01728822v1
|
||
|
Characterizing the IPv6 Security Landscape by Large-Scale Measurements9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.145-149, ⟨10.1007/978-3-319-20034-7_16⟩
Conference papers
hal-01410164v1
|
||
|
Faster Linearizability Checking via P-Compositionality35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.50-65, ⟨10.1007/978-3-319-19195-9_4⟩
Conference papers
hal-01767332v1
|
||
|
Cloud Computing-Based Message Dissemination Protocol for Vehicular Ad Hoc Networks13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.32-45, ⟨10.1007/978-3-319-22572-2_3⟩
Conference papers
hal-01728817v1
|
||
|
Reducing the Cost of Grammar-Based Testing Using Pattern CoverageICTSS 2015 - 27th IFIP International Conference on Testing Software and Systems, Nov 2015, Dubai, United Arab Emirates. pp.71-85, ⟨10.1007/978-3-319-25945-1_5⟩
Conference papers
hal-01470158v1
|
||
|
Towards a Set of Capabilities for Orchestrating IT-Outsourcing in the Retained Organizations14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.314-325, ⟨10.1007/978-3-319-25013-7_25⟩
Conference papers
hal-01448049v1
|
||
|
Virtual Network Flavors: Differentiated Traffic Forwarding for Cloud Tenants13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.165-179, ⟨10.1007/978-3-319-22572-2_12⟩
Conference papers
hal-01728815v1
|
||
|
Network Traffic Analysis and QoE Evaluation for Video Progressive Download Service: Netflix13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.239-246, ⟨10.1007/978-3-319-22572-2_17⟩
Conference papers
hal-01728819v1
|
||
|
Mitigating DDoS Attacks Using OpenFlow-Based Software Defined Networking9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.129-133, ⟨10.1007/978-3-319-20034-7_13⟩
Conference papers
hal-01410159v1
|
||
|
Novel Insights on Cross Project Fault Prediction Applied to Automotive Software27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.141-157, ⟨10.1007/978-3-319-25945-1_9⟩
Conference papers
hal-01470161v1
|
||
|
Leader Election Using NewSQL Database Systems15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.158-172, ⟨10.1007/978-3-319-19129-4_13⟩
Conference papers
hal-01775025v1
|
||
|
Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.124-140, ⟨10.1007/978-3-319-25945-1_8⟩
Conference papers
hal-01470160v1
|
||
|
Linked Relations Architecture for Production and Consumption of Linksets in Open Government Data14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.212-222, ⟨10.1007/978-3-319-25013-7_17⟩
Conference papers
hal-01448040v1
|
||
|
Measuring and Modeling Multipath TCP9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.66-70, ⟨10.1007/978-3-319-20034-7_8⟩
Conference papers
hal-01410150v1
|