Sciweavers

783 search results - page 50 / 157
» Bridging the Gaps
Sort
View
CCS
2007
ACM
14 years 5 months ago
Towards a taxonomy for information security metrics
Systematic approaches to measuring security are needed in order to obtain evidence of the security performance of products or an organization. In this study we survey the emerging...
Reijo Savola
ECTEL
2007
Springer
14 years 4 months ago
Building Domain Ontologies from Text for Educational Purposes
—This paper presents a semiautomatic framework that aims to produce domain concept maps from text and then to derive domain ontologies from these concept maps. This methodology p...
Amal Zouaq, Roger Nkambou, Claude Frasson
FMICS
2007
Springer
14 years 4 months ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
ICWE
2007
Springer
14 years 4 months ago
Tool Support for Model Checking of Web Application Designs
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
Marco Brambilla, Jordi Cabot, Nathalie Moreno
MLMI
2007
Springer
14 years 4 months ago
An Ego-Centric and Tangible Approach to Meeting Indexing and Browsing
Abstract. This article presents an ego-centric approach for indexing and browsing meetings. The method considers two concepts: meetings’ data alignment with personal information ...
Denis Lalanne, Florian Evéquoz, Maurizio Ri...