Sciweavers

1090 search results - page 179 / 218
» Case Study: Componentization of an Industrial Control System
Sort
View
HF
2002
95views more  HF 2002»
15 years 4 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
KBSE
2005
IEEE
15 years 10 months ago
Determining the cost-quality trade-off for automated software traceability
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
Alexander Egyed, Stefan Biffl, Matthias Heindl, Pa...
NRHM
2008
93views more  NRHM 2008»
15 years 4 months ago
Semantics on demand: Can a Semantic Wiki replace a knowledge base?
In the same way that Wikis have become the mechanism that has enabled groups of users to collaborate on the production of hypertexts on the web, Semantic Wikis promise a future of...
David E. Millard, Chris Bailey, Philip Boulain, Sw...
EUSAI
2007
Springer
15 years 10 months ago
Improving Mobile Solution Workflows and Usability Using Near Field Communication Technology
Organisations want nowadays more controlled processes and easily usable solutions, but achieving them requires winning many challenges. Radio Frequency Identification (RFID) based ...
Päivi Jaring, Vili Törmänen, Erkki ...
RTSS
2003
IEEE
15 years 9 months ago
Experimental Evaluation of Code Properties for WCET Analysis
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
Antoine Colin, Stefan M. Petters