Home Advanced Search

Advanced Search - Page 1

Trust Management: Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Steven O. Kimbrough (auth.), Peter Herrmann, Valérie Issarny, Simon Shiu (eds.)
Formal Modelling in Electronic Commerce
  • PDF
  • English
  • Year: 2005
  • Author: Steven O. Kimbrough, D.J. Wu (auth.), Professor Steven O. Kimbrough, Professor D.J. Wu (eds.)
Middleware 2008: ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Guoli Li, Vinod Muthusamy, Hans-Arno Jacobsen (auth.), Valérie Issarny, Richard Schantz (eds.)
Middleware 2008: ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Guoli Li, Vinod Muthusamy, Hans-Arno Jacobsen (auth.), Valérie Issarny, Richard Schantz (eds.)
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
  • PDF
  • English
  • Year: 2011
  • Author: Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
  • PDF
  • English
  • Year: 2011
  • Author: Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
  • PDF
  • English
  • Year: 2011
  • Author: Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)
Architecting Dependable Systems III
  • PDF
  • English
  • Year: 2005
  • Author: Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tartanoglu, Valérie Issarny (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
Architecting Dependable Systems III
  • PDF
  • English
  • Year: 2005
  • Author: Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tartanoglu, Valérie Issarny (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
Formal Modelling in Electronic Commerce (International Handbooks on Information Systems)
  • PDF
  • English
  • Year: 2004
  • Author: Steven O. Kimbrough (Editor), Dongjun Wu (Editor)
search