4617 search results - page 715 / 924 » Automation of Diagrammatic Reasoning |
229
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
181
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
169
click to vote
COMPSAC
2005
IEEE
16 years 25 days ago
2005
IEEE
Patching technologies are commonly applied to improve the dependability of software after release. This paper proposes an autonomous hot patching (AHP) framework to fully automate...
151
click to vote
EUROMICRO
2005
IEEE
16 years 25 days ago
2005
IEEE
This paper reports on the development of QoSOnt: an ontology for Quality of Service (QoS). Particular focus is given to its application in the field of service-centric systems. Qo...
177
click to vote
GLVLSI
2005
IEEE
16 years 24 days ago
2005
IEEE
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...