Sciweavers

1288 search results - page 87 / 258
» On Analysis of Design Component Contracts: A Case Study
Sort
View
ENTCS
2007
143views more  ENTCS 2007»
15 years 1 months ago
Formal Fault Tree Analysis - Practical Experiences
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
Frank Ortmeier, Gerhard Schellhorn
ICA
2010
Springer
15 years 5 days ago
Second Order Subspace Analysis and Simple Decompositions
Abstract. The recovery of the mixture of an N-dimensional signal generated by N independent processes is a well studied problem (see e.g. [1,10]) and robust algorithms that solve t...
Harold W. Gutch, Takanori Maehara, Fabian J. Theis
HICSS
2003
IEEE
155views Biometrics» more  HICSS 2003»
15 years 7 months ago
Consumers cognition towards communities: Customer-centred community design using the means-end chain perspective
This paper presents research on the application of the means-end chain (MEC) framework for investigating customers cognitive structure regarding community applications. It is argu...
Peter Aschmoneit, Mark Heitmann
APCHI
2004
IEEE
15 years 5 months ago
Designing for Flow in a Complex Activity
One component of a user's interaction with computer systems is commonly referred to as `flow'. Flow is an important consideration in interactive system design as it enca...
Jon M. Pearce, Steve Howard
EDOC
2006
IEEE
15 years 7 months ago
Exploring Intentional Modeling and Analysis for Enterprise Architecture
— An enterprise architecture is intended to be a comprehensive blueprint describing the key components and relationships for an enterprise from strategies to business processes t...
Eric S. K. Yu, Markus Strohmaier, Xiaoxue Deng