Sciweavers

7380 search results - page 501 / 1476
» Engineering Software Intensive Systems
Sort
View
QSIC
2005
IEEE
15 years 10 months ago
Formal Fault Tree Analysis of State Transition Systems
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
Jianwen Xiang, Kazuhiro Ogata
147
Voted
IUI
2005
ACM
15 years 10 months ago
Dimensions of adaptivity in mobile systems: personality and people's attitudes
In this work, we present a study about adaptation on a mobile museum guide aiming at investigating the relationships between personality traits and the attitudes toward some basic...
Ilenia Graziola, Fabio Pianesi, Massimo Zancanaro,...
127
Voted
ADAEUROPE
2004
Springer
15 years 10 months ago
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
Bárbara Álvarez, Juan A. Pastor, Fra...
141
Voted
EDBTW
2004
Springer
15 years 10 months ago
Data Sharing and Querying for Peer-to-Peer Data Management Systems
In this work, we investigate mechanisms to support data sharing and querying in a peer-to-peer data management system, that is, a peer-to-peer system where each peer manages its ow...
Anastasios Kementsietsidis
RE
2004
Springer
15 years 10 months ago
A Context-Driven Use Case Creation Process for Specifying Automotive Driver Assistance Systems
Current use case guidelines typically recommend a goal-driven process for use case creation and, in many cases, this approach indeed works sufficiently well. Yet, in our experienc...
Hannes Omasreiter, Eduard Metzker