72 search results - page 2 / 15 » A Case Study on Safety Cases in the Automotive Domain: Modul... |
VISUALIZATION
1999
IEEE
13 years 10 months ago
1999
IEEE
We explore the potential of information visualization techniques in enhancing existing methodologies for domain analysis and modeling. In this case study, we particularly focus on...
IPMU
2010
Springer
13 years 9 months ago
2010
Springer
Upon engineering a Bayesian network for the early detection of Classical Swine Fever in pigs, we found that the commonly used approach of separately modelling the relevant observab...
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
HPCC
2007
Springer
13 years 12 months ago
2007
Springer
I/O Virtualization provides a convenient way of device sharing among guest domains in a virtualized platform (e.g. Xen). However, with the ever-increasing number and variety of dev...
ISORC
1999
IEEE
13 years 10 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...