8492 search results - page 404 / 1699 » Modelling and Design of Multi-Agent Systems |
200
click to vote
ATS
2010
IEEE
15 years 1 months ago
2010
IEEE
In recent technology nodes, reliability is considered a part of the standard design flow at all levels of embedded system design. While techniques that use only low-level models at...
157
click to vote
CAISE
2004
Springer
16 years 8 days ago
2004
Springer
Six basic notions concerning business processes and their supporting information systems are presented and discussed, on the basis of one common theory. This yields that these noti...
233
Voted
FPL
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
190
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
135
Voted
WSC
2001
15 years 8 months ago
2001
This paper introduces EZStrobe, a very simple but powerful general-purpose simulation system. Although designed for modeling construction operations, EZStrobe is domain independen...