Sciweavers

2539 search results - page 365 / 508
» Semantic frameworks for e-government
Sort
View
EPIA
2007
Springer
16 years 19 days ago
Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lot...
Gregory R. Wheeler
ERCIMDL
2007
Springer
137views Education» more  ERCIMDL 2007»
16 years 19 days ago
Ontology-Based Question Answering for Digital Libraries
Abstract. In this paper we present an approach to question answering over heterogeneous knowledge sources that makes use of different ontology management components within the sce...
Stephan Bloehdorn, Philipp Cimiano, Alistair Duke,...
LPAR
2007
Springer
16 years 18 days ago
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
Francien Dechesne, Mohammad Reza Mousavi, Simona O...
MODELS
2007
Springer
16 years 18 days ago
A Metamodel-Based Approach for Analyzing Security-Design Models
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
David A. Basin, Manuel Clavel, Jürgen Doser, ...
OOPSLA
2007
Springer
16 years 18 days ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen