Cerca nel blog
-
Recent Posts
Archives
Categories
Meta
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)
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
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