1364 search results - page 240 / 273 » Comparative Branching-Time Semantics |
106
click to vote
KBSE
2010
IEEE
15 years 12 days ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
123
click to vote
PVM
2010
Springer
15 years 11 days ago
2010
Springer
With the ever-increasing numbers of cores per node on HPC systems, applications are increasingly using threads to exploit the shared memory within a node, combined with MPI across ...
123
click to vote
SUM
2010
Springer
15 years 10 days ago
2010
Springer
Most of the frequently used ontology mapping methods to date are based on linguistic information implied in ontologies. However, same concepts in different ontologies can represen...
135
click to vote
TKDE
2010
15 years 10 days ago
2010
—In this paper, we describe and evaluate a Web service discovery framework using OWL-S advertisements, combined with the distinction between service and Web service of the WSMO D...
130
click to vote
TKDE
2010
15 years 10 days ago
2010
—Probabilistic topic models were originally developed and utilised for document modeling and topic extraction in Information Retrieval. In this paper we describe a new approach f...