640 search results - page 82 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...
FMCAD
2000
Springer
14 years 9 days ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
Widespread adoption of reconfigurable devices requires system level synthesis techniques to take an application written in a high level language and map it to the reconfigurable d...
EWCBR
2008
Springer
13 years 10 months ago
2008
Springer
The main goal of a Case-Based Reasoning (CBR) system is to provide criteria for evaluating the internal behavior and task efficiency of a particular system for a given initial case...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...