Sciweavers

1007 search results - page 155 / 202
» An Empirical Study of the Coolstreaming System
Sort
View
CORR
2007
Springer
164views Education» more  CORR 2007»
15 years 1 months ago
Dynamic aspects of individual design activities. A cognitive ergonomics viewpoint
This paper focuses on the use of knowledge possessed by designers. Data collection was based on observations (by the cognitive ergonomics researcher) and simultaneous verbalisation...
Willemien Visser
JSW
2008
104views more  JSW 2008»
15 years 1 months ago
Testing Software Assets of Framework-Based Product Families During Application Engineering Stage
An application framework provides reusable design and implementation for a family of software systems. At the application engineering stage, application developers extend framework...
Jehad Al-Dallal, Paul G. Sorenson
ET
2007
67views more  ET 2007»
15 years 1 months ago
A Formal Analysis of Fault Diagnosis with D-matrices
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
John W. Sheppard, S. G. W. Butcher
IJSS
2007
82views more  IJSS 2007»
15 years 1 months ago
A holistic method for finding out critical features of industry maintenance services
— The purpose of this case study is to create a competitive operative management system for efficiency and quality performance for a company running maintenance service business ...
Juha-Matti Ranta, Josu Takala
121
Voted
SPIN
2010
Springer
14 years 12 months ago
Context-Enhanced Directed Model Checking
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
Martin Wehrle, Sebastian Kupferschmid