Sciweavers

8667 search results - page 1534 / 1734
» The information discovery framework
Sort
View
CCS
2008
ACM
15 years 8 months ago
Measuring network security using dynamic bayesian network
Given the increasing dependence of our societies on networked information systems, the overall security of these systems should be measured and improved. Existing security metrics...
Marcel Frigault, Lingyu Wang, Anoop Singhal, Sushi...
ITP
2010
230views Mathematics» more  ITP 2010»
15 years 8 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar
ACMICEC
2005
ACM
132views ECommerce» more  ACMICEC 2005»
15 years 8 months ago
An empirical look at the problems of open source adoption in Finnish municipalities
This article starts by considering the global framework of current open source migration. We show that the fight against software piracy is most likely speeding up the adoption es...
Mikko Välimäki, Ville Oksanen, Juha Lain...
AINA
2006
IEEE
15 years 8 months ago
DiVES: A Distributed Support for Networked Virtual Environments
This paper presents DiV ES, a distributed support for the development of networked Distributed Virtual Environments. DiV ES exploits the publish subscribe interaction model to def...
A. Bonotti, Luca Genovali, Laura Ricci
ASSETS
2005
ACM
15 years 8 months ago
How to operate a PC without using the hands
A demo of a biosignal interface, which allows to operate a Windows r PC without using the hands, shall be given. The system – called HaMCoS (for Hands-free Mouse Control System)...
Torsten Felzer, Rainer Nordmann
« Prev « First page 1534 / 1734 Last » Next »