Authors: Bert, DidierAff7, Lo Presti, StéphaneAff7
Contributors: Goos, Gerhard, editorAff1, Hartmanis, Juris, editorAff2, van Leeuwen, Jan, editorAff3, Bert, Didier, editorAff4, Choppy, Christine, editorAff5, Mosses, Peter D., editorAff6
Superior Title: Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers. 1827:383-400
Authors: Kuhlmann, D., Weber, A., Beliakova, Irina, Boettcher, Alexander, Brandl, Hans, Braunwart, Hubert, Bussani, Anthony, Çetin, Görkem, Dalton, Chris I., Delfs, Eckhard, Dietrich, Kurt, Drahtmüller, Roman, Erol, Volkan, Evgeniev, Ivan, Findeisen, Ralf, Gallery, E. M., Güngören, Bora, Herzog, Pete, Hornak, Zoltan, Imamoglu, Kadir, Jansen, Bernhard, Jennings, David, Kauer, Bernhard, Landfermann, Rainer, Lenk, Matthias, Lipp, Peter, Loehr, Hans, Lo Presti, Stephane, Plaquin, David, Puccetti, Armand, Ramasamy, Harigovind, Ramunno, Gianluca, Schreiner, Florian, Schunter, Matthias, Stueble, Christian, Tóth, Gergely, Trifonov, Ventcislav, Warg, Alexander, Weber, Dirk, Weinhold, Carsten, Wespi, Andreas
Subject Terms: ddc:600, Technology, info:eu-repo/classification/ddc/600
Availability: https://publikationen.bibliothek.kit.edu/1000102745
Contributors: Song, Ronggong
File Description: text
Relation: https://eprints.soton.ac.uk/262561/1/holistic-design.pdf; Lo Presti, Stéphane, Butler, Michael, Leuschel, Michael and Booth, Chris (2006) Holistic Trust Design of E-Services. In, Song, Ronggong (ed.) Trust in E-services: Technologies, Practices and Challenges.
Availability:
https://eprints.soton.ac.uk/262561/
https://eprints.soton.ac.uk/262561/1/holistic-design.pdf
Authors: Lo Presti, Stephane, Butler, Michael
Relation: Lo Presti, Stephane and Butler, Michael (2005) Literature Survey on Trust s.n.
Availability: https://eprints.soton.ac.uk/260890/
File Description: text
Relation: https://eprints.soton.ac.uk/260183/1/TSAS_-_WP4-01_v1.pdf; Lo Presti, Stephane, Butler, Michael, Leuschel, Michael, Snook, Colin and Turner, Phillip (2004) Formal Modelling and Verification of Trust in a Pervasive Application s.n.
Availability:
https://eprints.soton.ac.uk/260183/
https://eprints.soton.ac.uk/260183/1/TSAS_-_WP4-01_v1.pdf
Authors: Josang, Audun, Lo Presti, Stephane
Contributors: Jensen, Christian, Poslad, Stefan, Dimitrakos, Theo
File Description: text
Relation: https://eprints.soton.ac.uk/258769/1/risktrust.pdf; Josang, Audun and Lo Presti, Stephane (2004) Analysing the Relationship Between Risk and Trust. Jensen, Christian, Poslad, Stefan and Dimitrakos, Theo (eds.) Second International Conference on Trust Management (iTrust 2004), Oxford, United Kingdom. 01 Mar - 28 Apr 2004. pp. 135-145 .
Contributors: Jensen, Christian, Poslad, Stefan, Dimitrakos, Theo
File Description: text
Relation: https://eprints.soton.ac.uk/258770/1/itrust04.pdf; Butler, Michael, Leuschel, Michael, Lo Presti, Stephane and Turner, Phillip (2004) The Use of Formal Methods in the Analysis of Trust (Position Paper). Jensen, Christian, Poslad, Stefan and Dimitrakos, Theo (eds.) Second International Conference on Trust Management (iTrust 2004), Oxford, United Kingdom. 01 Mar - 28 Apr 2004. pp. 333-339 .
Authors: Leuschel, Michael, Gruner, Stefan, Lo Presti, Stephane
Relation: Leuschel, Michael, Gruner, Stefan and Lo Presti, Stephane (2003) Proceedings of the 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03) s.n.
Availability: https://eprints.soton.ac.uk/257198/
Authors: Butler, Michael, Leuschel, Michael, Lo Presti, Stephane, Allsopp, David, Beautement, Patrick, Booth, Chris, Cusack, Mark, Kirton, Mike
File Description: text
Relation: https://eprints.soton.ac.uk/257451/1/aamas-workshop03.pdf; Butler, Michael, Leuschel, Michael, Lo Presti, Stephane, Allsopp, David, Beautement, Patrick, Booth, Chris, Cusack, Mark and Kirton, Mike (2003) Towards a Trust Analysis Framework for Pervasive Computing Scenarios.
Availability:
https://eprints.soton.ac.uk/257451/
https://eprints.soton.ac.uk/257451/1/aamas-workshop03.pdf
Authors: Lo Presti, Stéphane
Contributors: Laboratoire Logiciels Systèmes Réseaux (LSR - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Institut National Polytechnique de Grenoble - INPG, Duda Andrzej
Superior Title: https://theses.hal.science/tel-00004467 ; Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2002. Français. ⟨NNT : ⟩.
Subject Terms: Multimédia, présentations multimédias, composition temporelle, opérateurs temporels, multimedia presentations, temporal composition, temporal operators, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
Relation: tel-00004467; https://theses.hal.science/tel-00004467; https://theses.hal.science/tel-00004467/document; https://theses.hal.science/tel-00004467/file/tel-00004467.pdf
Availability:
https://theses.hal.science/tel-00004467
https://theses.hal.science/tel-00004467/document
https://theses.hal.science/tel-00004467/file/tel-00004467.pdf
Contributors: Leuschel, Michael, Gruner, Stefan, Lo Presti, Stephane
File Description: text
Relation: https://eprints.soton.ac.uk/257687/1/avocs03.pdf; Augusto, Juan Carlos, Leuschel, Michael, Butler, Michael and Ferreira, Carla (2003) Using the Extensible Model Checker XTL to Verify StAC Business Specifications. Leuschel, Michael, Gruner, Stefan and Lo Presti, Stephane (eds.) 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), Southampton. 01 - 02 Apr 2003. pp. 253-266 .