4902 search results - page 308 / 981 » Multi-agent Systems Methodology |
203
click to vote
IWSOC
2003
IEEE
16 years 4 hour ago
2003
IEEE
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...
164
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives an...
193
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
170
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
190
click to vote
DCAI
2008
15 years 8 months ago
2008
. In this paper, a forecasting system is presented. It predicts the presence of oil slicks in a certain area of the open sea after an oil spill using Case-Based Reasoning methodolo...