1784 search results - page 147 / 357 » Formal Models for Embedded System Design |
162
click to vote
ICEBE
2005
IEEE
16 years 1 days 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...
188
click to vote
APSEC
2005
IEEE
16 years 2 days 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 ...
222
click to vote
JITECH
2010
15 years 1 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...
144
click to vote
ASPDAC
2006
ACM
16 years 13 days 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...
249
click to vote
RSP
1998
IEEE
15 years 10 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...