4890 search results - page 524 / 978 » From system specifications to component behavioral models |
208
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
The practical implementation and use of a mediator for fixed income securities analysis demonstrated the potential for extending the application of conceptual modeling from the sys...
187
click to vote
ESOP
2003
Springer
16 years 14 days ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
191
click to vote
RAS
1998
15 years 7 months ago
1998
In this paper a theory of delegation is presented. There are at least three reasons for developing such a theory. First, one of the most relevant notions of "agent" is b...
206
Voted
SASO
2007
IEEE
16 years 1 months ago
2007
IEEE
— Designing and implementing artificial self-organizing systems is a challenging task since they typically behave nonintuitive and no theoretical foundations exist. Predicting a...
216
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...