Motivazione G. Zanin and L. V. Mancini. Towards a Formal Model for Security Policies Specification and Validation in the SELinux System. In Proceedings of the 9th...
Premio del Dipartimento A.A. 2004/05 Il Dipartimento di Informatica indice la seconda edizione del premio per il miglior articolo scientifico scritto da un dottorando...
Lista dei Visitatori Prof. Richard Tan, University of Science Arts of Oklahoma USA ed Utrecht University, the Netherlands. Su invito della Dott.ssa Tiziana...
Relazioni sulle visite effettuate da ricercatori invitati su fondi amministrati dalla Commissione Scientifica Anno 2005 Tiziana Calamoneri per Richard B. Tan Il...
Relazioni sulle visite effettuate da ricercatori invitati su fondi amministrati dalla Commissione Scientifica Anno 2001 Visita del Prof. Mitrana Nel corso della...
Relazioni sulle visite effettuate da ricercatori invitati su fondi amministrati dalla Commissione Scientifica Anno 2002 Alessandro Panconesi per Jaikumar Radhakrishnan...
Relazioni sulle visite effettuate da ricercatori invitati su fondi amministrati dalla Commissione Scientifica Anno 2004 Tiziana Calamoneri per Guillaume Fertin...
Relazioni sulle visite effettuate da ricercatori invitati su fondi amministrati dalla Commissione Scientifica Anno 2003 Claudia Malvenuto per Benoit Larose Professore...
Premio del Dipartimento Il Dipartimento di Informatica indice un premio per il miglior articolo scientifico scritto da un dottorando. CHI : Possono partecipare i...
Recent Developments in Approaches to Building High Assurance Secure Systems Rance J. Delong Santa Clara University. Abstract Current commercial products and approaches...
Seminari Tematici di Ricerca 08/07/2005 Recent Developments in Approaches to Building High Assurance Secure Systems. Rance J. Delong, Santa Clara University....
Recognising Textual Entailment with Logical Inference Johan Bos, University of Edinburgh, UK. Abstract We use logical inference techniques for recognising textual...
Power of Communication in Cooperative Exploration of Graphs Andrzej Pelc, Universite du Quebec en Outaouais, Gatineau, Canada. Abstract We consider the task of...
TWiki`s Commissioni/Scientifica web /view/Commissioni/Scientifica The Commissioni/Scientifica web of TWiki. TWiki is a Web Based Collaboration Platform...
Nozioni di sicurezza per crittosistemi a chiave pubblica: una lezione introduttiva Prof. Pino Persiano, Dipartimento di Informatica ed Applicazioni`, Universit...
Robotica Evolutiva: Verso la sintesi di sistemi `situated` ed `embodied` Stefano Nolfi, Istituto di Scienze e Tecnologie della Cognizione, CNR, Roma. Abstract La...
The Art and Science of Electronic System Design Prof. Alberto Sangiovanni Vincentelli, University of California at Berkeley, CA, USA. Abstract I believe we are...
is a subscription service to be automatically notified by email when topics change in the TWiki.Commissioni/Scientifica web. This is a convenient service,...