2317 search results - page 45 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
120
Voted
BIRTHDAY
2007
Springer
15 years 9 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
143
Voted
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
118
Voted
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives an...
113
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
115
Voted
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...