Category Archives: Computer e Internet

Call For Book Chapters

SPRINGER BOOK CALL-FOR-CHAPTERS Editor: Francesco Flammini, Chairman, IEEE SMC Technical Committee on Homeland Security francesco.flammini@ieee.org Title Information Book title: Resilience of Cyber-Physical Systems Subtitle: From Risk Modelling to Threat Counteraction Series title: Advanced Sciences and Technologies for Security Applications Submission Information and Important Dates Chapter … Continue reading

Posted in Computer e Internet, Ricerca, Work | Leave a comment

Majority Voting: from Politics to Computers… and back?

Majority Voting: from Politics to Computers… … and back? by Francesco Flammini, IEEE Senior Member Voting and computer dependability I am quite sure most of the readers know well about the unreliability of first computers, when ‘bugs’ could be real … Continue reading

Posted in Computer e Internet, Notizie e politica, Ricerca | Leave a comment

The First International Workshop on Critical Computer-Based Systems (CCBS’09)

http://people.cs.und.edu/~reza/CCBS09.htm

Posted in Computer e Internet | Leave a comment

New Paradigms and Tools for High-Assurance Systems Modelling (by Francesco Flammini, Nicola Mazzocca and Valeria Vittorini)

Published in: ERCIM News 75 October 2008 Special theme: Safety-Critical Software http://ercim-news.ercim.org/images/stories/EN75/EN75-web.pdf http://ercim-news.ercim.org/content/view/463/664/

Posted in Computer e Internet | Leave a comment

About random testing…

"Random testing often outperforms supposedly smart ideas." Bertrand Meyer, ETH Zürich and Eiffel Softwarefrom Seven Principles of Software Testing, IEEE Computer, August 2008 I AGREE.

Posted in Computer e Internet | Leave a comment

Somewhere something went terribly wrong…

Posted in Computer e Internet | Leave a comment

Can machines be conscious?

Someone tries to answer this question: http://spectrum.ieee.org/jun08/6278

Posted in Computer e Internet | Leave a comment

Articolo S&S

F. Flammini, N. Mazzocca, C. Pragliola PROTEZIONE DELLE INFRASTRUTTURE DI TRASPORTO SU FERRO

Posted in Computer e Internet | Leave a comment

IJCCBS

Let me announce with my first intervention the birth of the "International Journal of Critical Computer-Based Systems" (IJCCBS, Inderscience Publishers), which I am honoured to lead as the Editor in Chief. http://www.inderscience.com/ijccbs/ In the following, some significant citations from the … Continue reading

Posted in Computer e Internet | Leave a comment