eLite

1. Papers at ANT-2012
(News/Latest)

The e-Lite group will present 3 papers at the forthcoming The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT 2012), in late August 2012. The accepted papers are:  ...

2. Presentation: Formal Verification of Device State Chart Models
(News/Latest)

At the latest The 7th International Conference on Intelligent Environments, in Nottingham (UK), Fulvio Corno presented a talk on a formal verification approach for intelligent ambients, based on model ...

3. Lezione sperimentale in video-chat
(Teaching/Laurea (I Livello))

... corso di Informatica Selezionare il link blu in alto "Accedi al materiale e-learning" Selezionare la voce "Videoconference" Contenuti della lezione:  ...

4. Presentation: Model Checking Intelligent Ambients at ISAmI 2011
(News/Latest)

At the latest ISAmI 2011 Conference, in Salamanca (Spain), Sanaullah Muhammad presented a talk on a formal verification approach for intelligent ambients, based on model checking. The paper was also awarded ...

5. Presentation: Rule Builder at ISAmI 2011
(News/Latest)

At the latest ISAmI 2011 Conference, in Salamanca (Spain), Luigi De Russis presented a talk on a visual interface for domotic rules definition designed for non-expert users. The paper was also awarded ...

6. Presentation: Technologies for Disability at Handimatica 2010
(News/Latest)

At the latest Handimatica 2010 Conference, Fulvio corno presented a talk on the need of technical university to invest, in research and teaching, for addressing technical issues related to disability and ...

7. Presentation: Mobile Interaction with Smart Environments through Linked Data
(News/Latest)

At the latest SMC2010 Conference (IEEE Conference on Systems, Man and Cybernetics), Faisal Razzak presented a paper on Mobile Interaction with Smart Environments through Linked Data. The presentation ...

8. Dario Bonino
(People/eLite)

... conferences and 12 on international journals. His Ph.D thesis is entitled "Architectures and Algorithms for intelligent web applications" and can be freely downloaded in [.pdf] and in latex ...

9. Fulvio Corno
(People/eLite)

... conferences and over 40 on international journals (see "Publications" tab or the list on the Open Access repository). He is Associate Editor of the IT Professional IEEE Magazine. ...

10. HDOSE - Documentation
(Intelligent Web Applications/H-DOSE)

... at ISWC2003 - 2nd International Semantic Web Conference, Florida (USA), October 2003 DOSE: a Distributed Open Semantic Elaboration Platform ICTAI 2003, The 15th IEEE International ...

11. e-lite group Publications
(Uncategorised Content)