On the realizability of contracts in dishonest systems

 Unica  Commenti disabilitati su On the realizability of contracts in dishonest systems
Mar 292012
 
Emilio Tuosto, Roberto Zunino and myself have developed a theory of contracting systems, where behavioural contracts may be violated by dishonest participants after they have been agreed upon – unlike in traditional approaches based on behavioural types. We have considered the contracts of Castagna-Gesbert-Padovani, and we  have embedded them in a calculus that allows distributed participants to advertise contracts, reach agreements, query the fulfilment of contracts, and realise them (or choose not to). Our contract theory makes explicit who is culpable at each step of a computation. A participant is honest in a given context S when she is not [...]
 Scritto da alle 22:02

Esempio di informazione multilingua

 Nessuna categoria  Commenti disabilitati su Esempio di informazione multilingua
Mar 272012
 
Questo articolo mostra come inserire testo in più di una lingua: a partire da questo punto inserite il testo in inglese: da questo punto in poi inserite il testo in italiano Testo in italiano

Dibattito sulla Khan academy

 Video  Commenti disabilitati su Dibattito sulla Khan academy
Mar 182012
 
Ho letto con attenzione le critiche di David Andrade, attivo animatore del blog “Educational Technology guy” all’impresa promossa dalla Khan Academy di condividere video lezioni (in inglese) nell’area della matematica. La Khan Academy inizia le sue attività nel 2006 come fondazione no-profit a partire dal lavoro di Sal Khan e grazie al contributo di Bill Gates e di Google (una accurata ricostruzione è in un articolo di Soldavini sul Sole 24 Ore del 29/1/2012). L’idea, relativamente semplice, prende avvio in maniera del tutto incidentale un paio di anni prima quando Sal, allora analista finanziario con tre lauree alle spalle, aveva iniziato ad [...]

welcome

 welcome  Commenti disabilitati su welcome
Mar 112012
 

The ISNS Tenth International Conference, Cagliari 2012

Hosted and sponsored by the University of Cagliari, Facoltà di Lettere e Filosofia, to be held at the Cittadella dei Musei (Piazza Arsenale, 1, Cagliari), on June 20-24 2012.

Call for panels closed: 27 January 2012

Call for papers closed: 24 February 2012

Early registration closes: 25 May 2012 (registrations after this date will cost € 20.00 more).

AVVISO per studenti fuori corso

 Senza categoria  Commenti disabilitati su AVVISO per studenti fuori corso
Mar 012012
 

APPELLO per gli studenti fuori corso dei corsi di:

  •  Meccanica teorica ed applicata (CCS Ambiente e territorio)
  • Meccanica applicata alle macchine e macchine (CCS Ambiente e territorio)
  • Dispositivi e sistemi meccanici (CCS Meccanici)
in data: 28.11.2012 ore 16.00
Per la prenotazione contattare il docente.
credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar