4036 search results - page 572 / 808 » Formal Methods |
173
click to vote
ESWS
2004
Springer
15 years 12 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
152
click to vote
EUSAI
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we discuss research work that enables the development of mixed societies of communicating plants and artefacts. PLANTS is an EUfunded Research and Development project...
162
click to vote
MPC
2004
Springer
15 years 12 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
177
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Inductive representation of conditional knowledge means to complete knowledge appropriately and can be looked upon as an instance of quite a general representation problem. The cr...
150
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...