1784 search results - page 147 / 357 » Formal Models for Embedded System Design |
ICEBE
2005
IEEE
15 years 3 months ago
2005
IEEE
Recently a new model agent-based e-commerce system was proposed, in which rule-based mechanism representation was combined with lightweight modular mobile agent design. Furthermor...
103
click to vote
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
107
click to vote
JITECH
2010
14 years 4 months ago
2010
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
ASPDAC
2006
ACM
15 years 4 months ago
2006
ACM
– Model-based design is widely accepted in developing complex embedded system under intense time-to-market pressure. While it promises improved design productivity, the main bott...
125
click to vote
RSP
1998
IEEE
15 years 2 months ago
1998
IEEE
STEP is an ISO standard (ISO-10303) for the computerinterpretable representation and exchange of product data. Parts of STEP standardize conceptual structures and usage ofinformat...