1676 search results - page 131 / 336 » Formal Development of Self-organising Systems |
107
click to vote
ADAEUROPE
2007
Springer
15 years 4 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
—In this paper, we describe an automated and formalized methodology for partitioning computational intensive applications between reconfigurable hardware blocks of different gran...
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
FATES
2004
Springer
15 years 3 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
CONTEXT
2001
Springer
15 years 2 months ago
2001
Springer
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...