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

Filter your results

6 results
publicationDateY_i : 2015
Image document

On the Integration of Automatic Deployment into the ABS Modeling Language

Stijn De Gouw , Michael Lienhardt , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.49-64, ⟨10.1007/978-3-319-24072-5_4⟩
Conference papers hal-01757558v1
Image document

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?

Sung-Shik Q. Jongmans , Farhad Arbab
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.238-258, ⟨10.1007/978-3-319-24644-4_17⟩
Conference papers hal-01446603v1
Image document

Take Command of Your Constraints!

Sung-Shik Jongmans , Farhad Arbab
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
Image document

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage

Cleverton Hentz , Jurgen J. Vinju , Anamaria M. Moreira
ICTSS 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
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

High Performance Computing Applications Using Parallel Data Processing Units

Keyvan Azadbakht , Vlad Serbanescu , Frank De Boer
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.191-206, ⟨10.1007/978-3-319-24644-4_13⟩
Conference papers hal-01446600v1