4902 search results - page 352 / 981 » Multi-agent Systems Methodology |
211
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
201
click to vote
SETN
2010
Springer
15 years 10 months ago
2010
Springer
The optimal sizing of a small autonomous hybrid power system can be a very challenging task, due to the large number of design settings and the uncertainty in key parameters. This ...
179
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In embedded system-on-a-chip (SoC) applications, the need for integrating heterogeneous processors in a single chip is increasing. An important issue in integrating heterogeneous ...
157
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
185
click to vote
WSC
2008
15 years 9 months ago
2008
Lecturing a Discrete Event Simulation course implies some challenges for the instructors. These challenges implies taking decisions from the design of the course to the selection ...