Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
Structure: Internal structure identifier : 301093
publicationDateY_i : 2017
Image document

Many-to-Many Information Flow Policies

Paolo Baldan , Alessandro Beggiato , Alberto Lluch Lafuente
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.159-177, ⟨10.1007/978-3-319-59746-1_9⟩
Conference papers hal-01657347v1
Image document

HyBIS: Advanced Introspection for Effective Windows Guest Protection

Roberto Di Pietro , Federico Franzoni , Flavio Lombardi
32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), May 2017, Rome, Italy. pp.189-204, ⟨10.1007/978-3-319-58469-0_13⟩
Conference papers hal-01648987v1
Image document

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

Luca Geretti , Davide Bresolin , Pieter Collins , Sanja Zivanovic Gonzalez , Tiziano Villa
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.313-319, ⟨10.1007/978-3-319-67549-7_19⟩
Conference papers hal-01678971v1
Image document

The Impact of Organizational Culture on Performance Measurement System Design, Implementation and Use: Evidence from Moroccan SMEs

Meriam Jardioui , Patrizia Garengo , Semma El Alami
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2017, Hamburg, Germany. pp.553-559, ⟨10.1007/978-3-319-66923-6_65⟩
Conference papers hal-01666219v1
Image document

The Implementation of Traceability in Fashion Networks

Laura Macchion , Andrea Furlan , Andrea Vinelli
18th Working Conference on Virtual Enterprises (PROVE), Sep 2017, Vicenza, Italy. pp.86-96, ⟨10.1007/978-3-319-65151-4_8⟩
Conference papers hal-01674902v1