Sciweavers

3737 search results - page 425 / 748
» Knowledge Management and Promises
Sort
View
HICSS
2009
IEEE
151views Biometrics» more  HICSS 2009»
14 years 5 months ago
Integrating Formal Analysis and Design to Preserve Security Properties
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, M...
EDBT
2009
ACM
118views Database» more  EDBT 2009»
14 years 5 months ago
Flexible query answering on graph-modeled data
The largeness and the heterogeneity of most graph-modeled datasets in several database application areas make the query process a real challenge because of the lack of a complete ...
Federica Mandreoli, Riccardo Martoglia, Giorgio Vi...
SEMCO
2009
IEEE
14 years 5 months ago
Semantic Image Classification for Medical Videos
Due to rapid advances in video technology and biomedicine, there has been a tremendous growth in the volume of medical video data for recent years. Exploring the full potential of...
Shih-Hsi Liu, Yu Cao, Yili Li, Ming Li, Sanqing Hu
RTSS
2009
IEEE
14 years 5 months ago
New Response Time Bounds for Fixed Priority Multiprocessor Scheduling
Recently, there have been several promising techniques developed for schedulability analysis and response time analysis for multiprocessor systems based on over-approximation. Thi...
Nan Guan, Martin Stigge, Wang Yi, Ge Yu
WEBI
2009
Springer
14 years 5 months ago
Social Semantics and Its Evaluation by Means of Semantic Relatedness and Open Topic Models
—This paper presents an approach using social semantics for the task of topic labelling by means of Open Topic Models. Our approach utilizes a social ontology to create an alignm...
Ulli Waltinger, Alexander Mehler