Sciweavers

2324 search results - page 228 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
FMSD
2006
85views more  FMSD 2006»
15 years 6 months ago
Distributed disk-based algorithms for model checking very large Markov chains
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
Alexander Bell, Boudewijn R. Haverkort
175
Voted
ICDM
2009
IEEE
163views Data Mining» more  ICDM 2009»
16 years 1 months ago
Kernel Conditional Quantile Estimation via Reduction Revisited
Quantile regression refers to the process of estimating the quantiles of a conditional distribution and has many important applications within econometrics and data mining, among ...
Novi Quadrianto, Kristian Kersting, Mark D. Reid, ...
ECIR
1998
Springer
15 years 7 months ago
Combining Information Retrieval with Information Extraction for Efficient Retrieval of Calls for Papers
In many domains there are specific attributes in documents that carry more weight than the general words in the document. This paper proposes the use of information extraction tec...
F. Lazarinis
SEMWEB
2007
Springer
16 years 17 days ago
Hybrid Alignment Strategy for Anatomical Ontologies: Results of the 2007 Ontology Alignment Contest
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is a need for...
Songmao Zhang, Olivier Bodenreider
RE
2010
Springer
15 years 1 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