326 search results - page 39 / 66 » Logical Engineering with Instance-Based Methods |
CCS
2005
ACM
14 years 3 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
GLVLSI
2002
IEEE
14 years 2 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
IIWAS
2007
13 years 11 months ago
2007
: The discovery of the ”right” ontology or ontology part is a central ingredient for effective ontology re-use. We present an approach for supporting a form of adaptive re-use...
JISBD
2001
13 years 11 months ago
2001
Migration of Legacy Systems to the Web is one of the main concerns of enterprises looking for more flexible distributed application environments. This migration process comprises t...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
: Since no fusion theory neither rule fully satisfy all needed applications, the author proposes a Unification of Fusion Theories and a combination of fusion rules in solving probl...