230 search results - page 31 / 46 » A formal analysis of requirements-based testing |
BMCBI
2010
13 years 7 months ago
2010
Background: It has been long well known that genes do not act alone; rather groups of genes act in consort during a biological process. Consequently, the expression levels of gene...
UIST
1997
ACM
13 years 11 months ago
1997
ACM
We report results from a formal user study of interactive 3D rotation using the mouse-driven Virtual Sphere and Arcball techniques, as well as multidimensional input techniques ba...
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
ADHOCNOW
2008
Springer
14 years 1 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
UML
2005
Springer
14 years 29 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...