UMC user guide (version 2.5)

Printed from http://www.isti.cnr.it target=NewWindow>www.isti.cnr.it (March 2005). - On the web page: '2003-9-4'Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

Note on an extremal problem arising from the diagnosis of regularly interconnected systems

Printed from http://www.isti.cnr.it target=NewWindow>www.isti.cnr.it (March 2005). - On the web page: '2003-12-10'Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

Analisi del framework XCat come ambiente di supporto alla programmazione di applicazioni ad alte prestazioni per ambienti grid-enabled

Printed from http://www.isti.cnr.it target=NewWindow>www.isti.cnr.it (March 2005)Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

Sperimentazione di applicazioni DS"2 su MANET single hop IEEE802.11. Deliverable n. 2

Printed from http://www.isti.cnr.it target=NewWindow>www.isti.cnr.it (March 2005). - On the web page: '2003-7-8'Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

Wireless networks

Printed from http://www.isti.cnr.it target=NewWindow>www.isti.cnr.it (March 2005). - On the web page: '2003-11-14'Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

Migratory user interfaces able to adapt to various interaction platforms

Printed from http://www.isti.cnr.it target=NewWindow>www.isti.cnr.it (March 2005). - On the web page: '2003-10-08'Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

User awareness in CYCLADES: a collaborative and personalized environment for open digital archives

Printed from http://www.isti.cnr.it target=NewWindow>www.isti.cnr.it (March 2005). - On the web page: '2003-10-20'Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

#mu#ACTL"+: a temporal logic for UML statecharts diagrams

Printed from http://www.isti.cnr.it target=NewWindow>www.isti.cnr.it (March 2005). - Title on the cover: Mu-ACTL: a temporal logic for UML Statechart diagrams. - Title on the web page: Mu-ACTL+: a temporal logic for UML Statechart diagrams. - On the web page: '2003-12-1'Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

Cross-language evaluation forum: objectives, results, achievements

Printed from http://www.isti.cnr.it target=NewWindow>www.isti.cnr.it (March 2005). - On the web page: '2003-09-30'Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

On the fly model checking of communicating UML state machines

Printed from http://www.isti.cnr.it target=NewWindow>www.isti.cnr.it (March 2005). - On the web page: '2003-12-1'Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal