Search - IFIP - Lecture Notes in Computer Science

7 results

Deposit type : Fulltext

labStructName_s : IBM Thomas J. Watson Research Center

labStructName_s : Inria Nancy - Grand Est

	For these 7 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		SimGrid MC: Verification Support for a Multi-API Simulation Platform Stephan Merz , Martin Quinson , Cristian Rosa 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.274-288, ⟨10.1007/978-3-642-21461-5_18⟩ Conference papers inria-00593505v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing Juan E. Tapiador , Mudhakar Srivatsa , John A. Clark , John A. Mcdermid International IFIP TC 6 Workshops PE-CRN, NC-Pro, WCNS, and SUNSET 2011 Held at NETWORKING 2011 (NETWORKING), May 2011, Valencia, Spain. pp.207-218, ⟨10.1007/978-3-642-23041-7_20⟩ Conference papers hal-01587851v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Safouan Taha 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩ Conference papers hal-00640312v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Praspel: A Specification Language for Contract-Based Testing in PHP Ivan Enderlin , Frédéric Dadeau , Alain Giorgetti , Abdallah Ben Othman 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩ Conference papers hal-00640279v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Analytic Trails: Supporting Provenance, Collaboration, and Reuse for Visual Data Analysis by Business Users Jie Lu , Zhen Wen , Shimei Pan , Jennifer Lai 13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.256-273, ⟨10.1007/978-3-642-23768-3_22⟩ Conference papers hal-01596912v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Towards Interoperability in Municipal Government: A Study of Information Sharing Practices Stacy F. Hobson , Rangachari Anand , Jeaha Yang , Juhnyoung Lee 13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.233-247, ⟨10.1007/978-3-642-23774-4_21⟩ Conference papers hal-01590537v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Towards Verification of the Pastry Protocol Using TLA + Tianxiang Lu , Stephan Merz , Christoph Weidenbach 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.244-258, ⟨10.1007/978-3-642-21461-5_16⟩ Conference papers hal-01583322v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More