Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Laboratoire de Recherche en Informatique
labStructName_s : Centrum voor Wiskunde en Informatica
Image document

Formal Verification of Service Level Agreements Through Distributed Monitoring

Behrooz Nobakht , Stijn De Gouw , Frank Boer
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.125-140, ⟨10.1007/978-3-319-24072-5_9⟩
Conference papers hal-01757576v1
Image document

Guiding testers' hands in monitoring tools : application of testing approaches on SIP

Xiaoping Che , Huu Nghia Nguyen , Stephane Maag , Fatiha Zaidi
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.105-123, ⟨10.1007/978-3-319-25945-1_7⟩
Conference papers hal-01263247v1
Image document

Comparison of Automatic Seed Generation Methods for Breast Tumor Detection Using Region Growing Technique

Ahlem Melouah
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.119-128, ⟨10.1007/978-3-319-19578-0_10⟩
Conference papers hal-01789934v1