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

Filter your results

13 results
Page :
sorted by
Image document

Policy-Based Slicing of Hibernate Query Language

 Angshuman Jana , Raju Halder , Nabendu Chaki , Agostino Cortesi
14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.267-281, ⟨10.1007/978-3-319-24369-6_22⟩
Conference papers hal-01444471v1
Image document

Experiencing Contemporary Art at a Distance

 Barbara Rita Barricelli , Antonella Varesano , Giuliana Carbi , Torkil Clemmensen , Gian Luca Foresti , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.344-347, ⟨10.1007/978-3-030-85607-6_34⟩
Conference papers hal-04291240v1

Computer Information Systems and Industrial Management

 Agostino Cortesi , Nabendu Chaki , Khalid Saeed , Sławomir Wierzchoń
Springer, LNCS-7564, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-33260-9⟩
Books hal-01551708v1
Image document

Designing a Context-Aware Architecture for Emotionally Engaging Mobile Storytelling

 Fabio Pittarello
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.144-151, ⟨10.1007/978-3-642-23774-4_14⟩
Conference papers hal-01590545v1
Image document

Rigid and Non-rigid Shape Matching for Mechanical Components Retrieval

 Andrea Albarelli , Filippo Bergamasco , Andrea Torsello
11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. pp.168-179, ⟨10.1007/978-3-642-33260-9_14⟩
Conference papers hal-01551736v1
Image document

KPI-Supported PDCA Model for Innovation Policy Management in Local Government

 Antonio Candiello , Agostino Cortesi
10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.320-331, ⟨10.1007/978-3-642-22878-0_27⟩
Conference papers hal-01589101v1
Image document

Lintent: Towards Security Type-Checking of Android Applications

 Michele Bugliesi , Stefano Calzavara , Alvise Spanò
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.289-304, ⟨10.1007/978-3-642-38592-6_20⟩
Conference papers hal-01515252v1
Image document

Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis

 Gianluca Barbon , Agostino Cortesi , Pietro Ferrara , Marco Pistoia , Omer Tripp
14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.3-23, ⟨10.1007/978-3-319-24369-6_1⟩
Conference papers hal-01444523v1
Image document

Writing Real-Time .Net Games in Casanova

 Giuseppe Maggiore , Pieter Spronck , Renzo Orsini , Michele Bugliesi , Enrico Steffinlongo , et al.
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.341-348, ⟨10.1007/978-3-642-33542-6_30⟩
Conference papers hal-01556148v1

Computer Information Systems and Industrial Management

 Khalid Saeed , Rituparna Chaki , Agostino Cortesi , Sławomir Wierzchoń
Springer, LNCS-8104, 2013, Lecture Notes in Computer Science, 978-3-642-40924-0. ⟨10.1007/978-3-642-40925-7⟩
Books hal-01496113v1
Image document

A New Scale for Attribute Dependency in Large Database Systems

 Soumya Sen , Anjan Dutta , Agostino Cortesi , Nabendu Chaki
11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. pp.266-277, ⟨10.1007/978-3-642-33260-9_23⟩
Conference papers hal-01551729v1
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

Semantically Sound Analysis of Content Security Policies

 Stefano Calzavara , Alvise Rabitti , Michele Bugliesi
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.293-297, ⟨10.1007/978-3-030-21759-4_18⟩
Conference papers hal-02313752v1
Page :