Filter your results
- 37
- 3
- 37
- 3
- 40
- 5
- 1
- 4
- 1
- 1
- 7
- 3
- 3
- 3
- 4
- 5
- 8
- 40
- 9
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 4
- 3
- 3
- 3
- 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
40 results
|
|
sorted by
|
|
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game TheoryJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.95-109, ⟨10.1007/978-3-642-13464-7_9⟩
Conference papers
hal-01055142v1
|
||
|
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time MaudeJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.47-62, ⟨10.1007/978-3-642-13464-7_5⟩
Conference papers
hal-01055147v1
|
||
|
Reducing the Cost of Model-Based Testing through Test Case Diversity22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.63-78, ⟨10.1007/978-3-642-16573-3_6⟩
Conference papers
hal-01055243v1
|
||
|
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.95-110, ⟨10.1007/978-3-642-16573-3_8⟩
Conference papers
hal-01055241v1
|
||
|
Resource Adaptive Distributed Information Sharing 16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.246-255, ⟨10.1007/978-3-642-13971-0_24⟩
Conference papers
hal-01056491v1
|
||
|
How to Develop an Open and Flexible Information Infrastructure for the Public Sector?9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.301-314, ⟨10.1007/978-3-642-14799-9_26⟩
Conference papers
hal-01059189v1
|
||
|
RESTful Integration of Heterogeneous Devices in Pervasive Environments10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.1-14, ⟨10.1007/978-3-642-13645-0_1⟩
Conference papers
hal-00471922v2
|
||
|
What Is This Thing Called e-Service? Interoperability Challenges in e-Service Modelling14th International Conference on Electronic Government (EGOV), Aug 2015, Thessaloniki, Greece. pp.197-208, ⟨10.1007/978-3-319-22479-4_15⟩
Conference papers
hal-01412255v1
|
||
|
A Technique for Agile and Automatic Interaction Testing for Product Lines24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.39-54, ⟨10.1007/978-3-642-34691-0_5⟩
Conference papers
hal-01482410v1
|
||
|
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.77-94, ⟨10.1007/978-3-642-37635-1_5⟩
Conference papers
hal-01485979v1
|
||
|
An Approach to Select Cost-Effective Risk Countermeasures27th Data and Applications Security and Privacy (DBSec), Jul 2013, Newark, NJ, United States. pp.266-273, ⟨10.1007/978-3-642-39256-6_18⟩
Conference papers
hal-01490710v1
|
||
|
Deadlock Checking by Data Race Detection5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.34-50, ⟨10.1007/978-3-642-40213-5_3⟩
Conference papers
hal-01514663v1
|
||
|
Reliability Modeling and Analysis of Modern Distributed Interactive Multimedia Applications: A Case Study of a Distributed Opera Performance12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.185-193, ⟨10.1007/978-3-642-30823-9_16⟩
Conference papers
hal-01527648v1
|
||
|
The Understanding of ICTs in Public Sector and Its Impact on Governance11th International Conference on Electronic Government (EGOV), Sep 2012, Kristiansand, Norway. pp.174-186, ⟨10.1007/978-3-642-33489-4_15⟩
Conference papers
hal-01543585v1
|
||
|
Distributed Applications and Interoperable SystemsSpringer, LNCS-6115, 2010, Lecture Notes in Computer Science, 978-3-642-13644-3. ⟨10.1007/978-3-642-13645-0⟩
Books
hal-01555327v1
|
||
|
PolderCast: Fast, Robust, and Scalable Architecture for P2P Topic-Based Pub/Sub13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.271-291, ⟨10.1007/978-3-642-35170-9_14⟩
Conference papers
hal-01555561v1
|
||
|
Fault in the Future13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.1-15, ⟨10.1007/978-3-642-21464-6_1⟩
Conference papers
hal-01582997v1
|
||
|
MAC Layer Support for Delay Tolerant Video Transport in Disruptive MANETs10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.106-119, ⟨10.1007/978-3-642-20757-0_9⟩
Conference papers
hal-01583420v1
|
||
|
Always Best (dis-)Connected: Challenges to Interconnect Highly Heterogeneous Networks9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.410-421, ⟨10.1007/978-3-642-21560-5_34⟩
Conference papers
hal-01583664v1
|
||
|
The State of IT Governance: Patterns of Variation at the Central Government Level in Norway10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.159-172, ⟨10.1007/978-3-642-22878-0_14⟩
Conference papers
hal-01589107v1
|
||
|
On the Uplink Performance of TCP in Multi-rate 802.11 WLANs10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.368-378, ⟨10.1007/978-3-642-20798-3_28⟩
Conference papers
hal-01597975v1
|
||
|
Declarative Elasticity in ABS5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩
Conference papers
hal-01638585v1
|
||
|
Service-Oriented and Cloud ComputingSpringer International Publishing, LNCS-9846, 2016, Lecture Notes in Computer Science, 978-3-319-44481-9. ⟨10.1007/978-3-319-44482-6⟩
Books
hal-01638600v1
|
||
|
STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.172-190, ⟨10.1007/978-3-319-47443-4_11⟩
Conference papers
hal-01643725v1
|
||
|
Service-Oriented and Cloud ComputingSpringer International Publishing, LNCS-10465, 2017, Lecture Notes in Computer Science, 978-3-319-67261-8. ⟨10.1007/978-3-319-67262-5⟩
Books
hal-01677615v1
|
||
|
Fragility-Oriented Testing with Model Execution and Reinforcement Learning29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.3-20, ⟨10.1007/978-3-319-67549-7_1⟩
Conference papers
hal-01678980v1
|
||
|
Blockchain Technology as s Support Infrastructure in e-Government16th International Conference on Electronic Government (EGOV), Sep 2017, St. Petersburg, Russia. pp.215-227, ⟨10.1007/978-3-319-64677-0_18⟩
Conference papers
hal-01702985v1
|
||
|
Tiny Network Caches with Large Performance Gains for Popular Downloads13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.197-210, ⟨10.1007/978-3-319-22572-2_14⟩
Conference papers
hal-01728820v1
|
||
|
Measuring Latency in Virtual Reality Systems14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.457-462, ⟨10.1007/978-3-319-24589-8_40⟩
Conference papers
hal-01758473v1
|
||
|
Design and Validation of Cloud Storage Systems Using Formal Methods2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.3-8, ⟨10.1007/978-3-319-68953-1_1⟩
Conference papers
hal-01760637v1
|
- 1
- 2