1251 search results - page 186 / 251 » A Method for Component-Based Software and System Development |
111
Voted
ETRA
2006
ACM
15 years 8 months ago
2006
ACM
Eye tracking has long held the promise of being a useful methodology for human computer interaction. However, a number of barriers have stood in the way of the integration of eye ...
106
Voted
FATES
2004
Springer
15 years 8 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
124
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
97
Voted
BIB
2007
15 years 2 months ago
2007
Protein function is a dynamic property closely related to the conformational mechanisms of protein structure in its physiological environment. To understand and control the functi...
141
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...