1317 search results - page 200 / 264 » Fusions of Description Logics and Abstract Description Syste... |
EMO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In this paper, we propose an approach for solving hierarchical multi-objective optimization problems (MOPs). In realistic MOPs, two main challenges have to be considered:...
150
Voted
ICCL
1992
IEEE
15 years 6 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
127
click to vote
BTW
2007
Springer
15 years 6 months ago
2007
Springer
Abstract: Coupling of metamodeling architectures and ontologies for domain descriptions is widely discussed in information system engineering research groups. Here we present the f...
138
click to vote
COMPENG
2010
15 years 5 months ago
2010
This paper presents a Knowledge Base System (KBS) as a key component of a federated simulation framework which allows the investigation of (inter)dependencies among Critical Infra...
118
click to vote
FPL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Field-Programmable Gate Arrays (FPGAs) have lately become a popular target for implementing cryptographic block ciphers, as a well-designed FPGA solution can combine some...