5726 search results - page 449 / 1146 » Supporting annotations on relations |
170
click to vote
CISIS
2010
IEEE
16 years 4 days ago
2010
IEEE
—Structural ontology matching methods analyze mainly two factors: entity labels and relationships among entities. We propose to additionally consider an importance and relevance ...
186
click to vote
DATE
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
173
click to vote
CHARME
2003
Springer
16 years 1 days ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
181
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
175
click to vote
ICECCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...