2288 search results - page 40 / 458 » An integrated system for genetic analysis |
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
MAGS
2007
14 years 11 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
SIGSOFT
1998
ACM
15 years 4 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
FAST
2010
15 years 2 months ago
2010
We present a study of the effects of disk and memory corruption on file system data integrity. Our analysis focuses on Sun's ZFS, a modern commercial offering with numerous r...
SCL
2008
14 years 11 months ago
2008
The Integral Input to State Stability (iISS) property is studied is the context of nonlinear time-invariant systems in cascade. Some sufficient conditions for the preservation of ...