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

Filter your results

3 results
labStructName_s : Mathématiques et Informatique pour la Complexité et les Systèmes
labStructName_s : Laboratoire d'Algorithmique Complexité et Logique
labStructName_s : National Institute of Criminalistics [Brasília]
Deposit type : Fulltext
Image document

Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors

Rudolf Freund , Vladimir Rogojin , Sergey Verlan
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.140-151, ⟨10.1007/978-3-319-60252-3_11⟩
Conference papers hal-01657015v1
Image document

Constraint-Based Oracles for Timed Distributed Systems

Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers hal-01678964v1
Image document

Anti-Forensic Threat Modeling

Bruno Hoelz , Marcelo Maues
13th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2017, Orlando, FL, United States. pp.169-183, ⟨10.1007/978-3-319-67208-3_10⟩
Conference papers hal-01716404v1