448 search results - page 64 / 90 » A Meta-Method for Formal Method Integration |
120
Voted
ER
2005
Springer
15 years 8 months ago
2005
Springer
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...
100
Voted
DEXAW
2003
IEEE
15 years 8 months ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
124
Voted
VL
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification...
145
click to vote
CC
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
100
Voted
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...