Search - IFIP Open Digital Library Access content directly

Filter your results

3 results
Structure: Internal structure identifier : 265832
Image document

Lending Petri Nets and Contracts

Massimo Bartoletti , Tiziana Cimoli , G. Michele Pinna
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.66-82, ⟨10.1007/978-3-642-40213-5_5⟩
Conference papers hal-01514665v1
Image document

On the Realizability of Contracts in Dishonest Systems

Massimo Bartoletti , Emilio Tuosto , Roberto Zunino
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.245-260, ⟨10.1007/978-3-642-30829-1_17⟩
Conference papers hal-01529594v1
Image document

A Filter-Based Evolutionary Approach for Selecting Features in High-Dimensional Micro-array Data

Laura Maria Cannas , Nicoletta Dessì , Barbara Pes
6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.297-307, ⟨10.1007/978-3-642-16327-2_36⟩
Conference papers hal-01060366v1