2022 search results - page 358 / 405 » Complexity of Non-Monotonic Logics |
DEXA
2010
Springer
14 years 11 months ago
2010
Springer
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
132
click to vote
GG
2010
Springer
14 years 11 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
GLVLSI
2008
IEEE
14 years 10 months ago
2008
IEEE
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...
HICSS
2008
IEEE
14 years 10 months ago
2008
IEEE
We use the OPA complex systems model of the power transmission system to investigate the effect of a series of different network upgrade scenarios on the long time dynamics and th...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...