301 search results - page 8 / 61 » Process Modelling to Support Dependability Arguments |
FSTTCS
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
BMCBI
2007
14 years 11 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
FLAIRS
2001
15 years 1 months ago
2001
Knowledge management depends on effective methods for capturing knowledge in useful forms and making it available when needed. Electronic concept maps provide a promising represen...
105
click to vote
EDCC
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
ADBIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In today’s global environment, the structure and presentation of information may depend on the underlying context of the user. To address this issue, in previous work w...