Sciweavers

343 search results - page 23 / 69
» Predictability in Real-time System Development (1) Semantics...
Sort
View
EDBT
1990
ACM
108views Database» more  EDBT 1990»
15 years 7 months ago
Deductive Databases - Theory Meets Practice
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
Carlo Zaniolo
129
Voted
ICIP
2001
IEEE
16 years 5 months ago
Performance prediction for vocabulary-supported image retrieval
The majority of today's content based image retrieval systems rely on low-level image descriptors which limit their capability to support meaningful interactions with the use...
Julia Vogel, Bernt Schiele
160
Voted
RE
2010
Springer
14 years 10 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
ASE
2008
120views more  ASE 2008»
15 years 3 months ago
Requirements model generation to support requirements elicitation: the Secure Tropos experience
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
Nadzeya Kiyavitskaya, Nicola Zannone
ESWS
2009
Springer
15 years 10 months ago
A Reasoning-Based Support Tool for Ontology Mapping Evaluation
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
Christian Meilicke, Heiner Stuckenschmidt, Ondrej ...