Sciweavers

7421 search results - page 90 / 1485
» In search of dependable design
Sort
View
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
15 years 4 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
ACHI
2008
IEEE
16 years 25 days ago
UPOS: User Profile Ontology with Situation-Dependent Preferences Support
—Context-aware adaptive systems aim at automatically personalizing the user’s environment depending on the user’s situation, and hence, minimizing user interaction with the s...
Michael Sutterer, Olaf Droegehorn, Klaus David
PIMRC
2008
IEEE
16 years 22 days ago
Carrier frequency dependent throughput analysis for impaired OFDM links under user mobility
—In this paper we present an analytical approach to evaluate the M-QAM bit error rate and carrier frequency dependent throughput of OFDM systems subject to various receiver impai...
Marco Krondorf, Gerhard Fettweis
RE
2007
Springer
16 years 14 days ago
Secure and Dependable Patterns in Organizations: An Empirical Approach
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
Yudistira Asnar, Paolo Giorgini, Roberto Bonato, V...
WORDS
2003
IEEE
15 years 11 months ago
Asynchrony and Real-Time Dependable Computing
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
Gérard Le Lann