Search - IFIP Open Digital Library Access content directly

Filter your results

11 results
Structure: Internal structure identifier : 50791
publicationDateY_i : 2010
Image document

Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing

Andrea Arcuri , Muhammad Zohaib Iqbal , Lionel Briand
22nd 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
Image document

Personal Federation Control with the Identity Dashboard

Jonathan Scudder , Audun Jøsang
Second IFIP WG 11.6 Working Conference on Policies and Reseach Management (IDMAN), Nov 2010, Oslo, Norway. pp.85-99, ⟨10.1007/978-3-642-17303-5_7⟩
Conference papers hal-01054398v1
Image document

To Rule and Be Ruled: Governance and Participation in FOSS Projects

Zegaye Seifu , Prodromos Tsiavos
6th International IFIP WG 2.13 Conference on Open Source Systems,(OSS), May 2010, Notre Dame, United States. pp.380-388, ⟨10.1007/978-3-642-13244-5_35⟩
Conference papers hal-01056037v1
Image document

RESTful Integration of Heterogeneous Devices in Pervasive Environments

Daniel Romero , Gabriel Hermosillo , Amirhosein Taherkordi , Russel Nzekwa , Romain Rouvoy , et al.
10th 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
Image document

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory

Fatemeh Kazemeyni , Einar Broch Johnsen , Olaf Owe , Ilangko Balasingham
Joint 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

Distributed Applications and Interoperable Systems

Frank Eliassen , Rüdiger Kapitza
Springer, LNCS-6115, 2010, Lecture Notes in Computer Science, 978-3-642-13644-3. ⟨10.1007/978-3-642-13645-0⟩
Books hal-01555327v1
Image document

Reducing the Cost of Model-Based Testing through Test Case Diversity

Hadi Hemmati , Andrea Arcuri , Lionel Briand
22nd 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
Image document

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

Peter Csaba Ölveczky , Artur Boronat , José Meseguer
Joint 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
Image document

How to Develop an Open and Flexible Information Infrastructure for the Public Sector?

Erik Hornnes , Arild Jjansen , Øivind Langeland
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

Trust Management IV

Masakatsu Nishigaki , Audun Jøsang , Yuko Murayama , Stephen Marsh
Springer, AICT-321, 2010, IFIP Advances in Information and Communication Technology, 978-3-642-13445-6
Books hal-01556295v1
Image document

Resource Adaptive Distributed Information Sharing

Hans Vatne Hansen , Vera Goebel , Thomas Plagemann , Matti Siekkinen
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