640 search results - page 52 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
142
Voted
ICDIM
2008
IEEE
15 years 10 months ago
2008
IEEE
One of the key stages of the development of a fault tolerant Service oriented Architecture is the creation of Diagnosers, which monitors the system’s behaviour to identify the o...
136
Voted
FPL
2009
Springer
15 years 8 months ago
2009
Springer
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...
112
Voted
IJCAI
2001
15 years 4 months ago
2001
One advantage of Case-Based Reasoning (CBR) is the relative ease of constructing and maintaining CBR systems, especially as a number of commercial CBR tools are available. However...
129
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
122
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
erse approaches at all levels of abstraction starting from the physical level up to the system level. Experience shows that a highlevel method may have a larger impact since the de...