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

Filter your results

4 results
labStructName_s : DAIS - Computer Science
labStructName_s : Laboratoire de l'Informatique du Parallélisme
labStructName_s : Informatique, Biologie Intégrative et Systèmes Complexes
Deposit type : Fulltext
Image document

Blockchain Transaction Analysis Using Dominant Sets

Malik Khurram Awan , Agostino Cortesi
16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.229-239, ⟨10.1007/978-3-319-59105-6_20⟩
Conference papers hal-01656260v1
Image document

Task Scheduling Scheme Based on Cost Optimization in 5G/Hetnets C-RAN

Olfa Chabbouh , Nazim Agoulmine , Sonia Ben Rejeb , Zièd Choukair
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.87-98, ⟨10.1007/978-3-319-61382-6_8⟩
Conference papers hal-01675424v1
Image document

Sensing as a Complexity Measure

Shaull Almagor , Denis Kuperberg , Orna Kupferman
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.3-15, ⟨10.1007/978-3-319-60252-3_1⟩
Conference papers hal-01657019v1
Image document

Bisimilarity of Open Terms in Stream GSOS

Filippo Bonchi , Matias David Lee , Jurriaan Rot
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Conference papers hal-01760851v1