Enhancing symbolic model checking by Ai techniques

Veröffentlicht 1997

Enhancing symbolic model checking by AI techniques

Veröffentlicht 1997

Implementing disposable credit card numbers by mobile phones

von Buccafurri, Francesco
Veröffentlicht in Electronic commerce research (2011)

E-Commerce and Web Technologies : 11th International Conference, EC-Web 2010, Bilbao, Spain, September 1 - 3, 2010 ; proceedings

Veröffentlicht 2010

E-commerce and web technologies : 11th international conference, EC-Web 2010, Bilbao, Spain, September 1 - 3, 2010 ; proceedings [of the 11th International Conference on Electron...

Veröffentlicht 2010

A BLOCKCHAIN-BASED SYSTEM FOR TRACKING AND COLLISION AVOIDANCE OF RESIDENT SPACE OBJECTS

von Russo, Antonia
Veröffentlicht in IAA Symposium on Safety, Quality and Knowledge Management in Space Activities (53. : 2020 : Online) 53rd IAA Symposium on Safety, Quality and Knowledge Management in Space Activities 2020 (2021)

E-commerce and web technologies : 10th international conference, EC-Web 2009, Linz, Austria, September 1-4, 2009 ; proceedings

Veröffentlicht 2009

A Solution to Support Integrity in the Lawful Interception Ecosystem

von Buccafurri, Francesco
Veröffentlicht in EGOVIS (10. : 2021 : Online) Electronic Government and the Information Systems Perspective (2021)

MODEL-DRIVEN ENGINEERING FOR SWARM-BASED SPACE EXPLORATION MISSIONS

von Nardone, Roberto
Veröffentlicht in IAF Space Systems Symposium (2020 : Online) IAF Space Systems Symposium 2020 (2021)

21st Italian Symposium on Advanced Database Systems (SEBD 2013) : Roccella Jonica, Reggio Calabria, Italy, 30 June - 4 July 2013

Veröffentlicht 2014

Availability, reliability, and security in information systems : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2016, and Workshop on Privacy Aware Machine...

Veröffentlicht 2016