8492 search results - page 98 / 1699 » Modelling and Design of Multi-Agent Systems |
122
Voted
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
137
Voted
WSC
2008
15 years 6 months ago
2008
Automated Guided Vehicle (AGV) logistic handling system are widely adopted when high transportation capacity and quality of service are the most important characteristics to reach...
99
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
With the term flexibility, we introduce a new design dimension of an embedded system that quantitatively characterizes its feasibility in implementing not only one, but possibly ...
115
Voted
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
120
Voted
ACSD
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper elaborates on the application of some aspects of robust systems control theory to the management of uncertainty and risk in distributed and complex design processes, ha...