8492 search results - page 102 / 1699 » Modelling and Design of Multi-Agent Systems |
120
Voted
ER
2001
Springer
15 years 8 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
145
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper gives an overview of a transaction level modeling (TLM) design flow for straightforward embedded system design with SystemC. The goal is to systematically develop both...
128
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
121
Voted
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Design documents can be exchanged in business-tobusiness networks through Product Data Management (PDM) system integration. This rarely used approach provides new possibilities fo...
137
Voted
ESANN
2008
15 years 5 months ago
2008
Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed ac...