Sciweavers

6978 search results - page 130 / 1396
» Reframing Requirements Analysis
Sort
View
RECOMB
2001
Springer
15 years 2 months ago
Extracting structural information using time-frequency analysis of protein NMR data
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...
Christopher James Langmead, Bruce Randall Donald
HASE
2007
IEEE
14 years 11 months ago
Behavioral Fault Modeling for Model-based Safety Analysis
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
Anjali Joshi, Mats Per Erik Heimdahl
RV
2010
Springer
153views Hardware» more  RV 2010»
14 years 7 months ago
Run-Time Verification of Networked Software
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
Cyrille Valentin Artho
SIGSOFT
2010
ACM
14 years 7 months ago
Separation of concerns for dependable software design
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
Daniel Jackson, Eunsuk Kang
ICASSP
2009
IEEE
14 years 7 months ago
A differential motion estimation method for image interpolation in distributed video coding
Motion estimation methods based on differential techniques proved to be very useful in the context of video analysis, but have a limited employment in classical video compression ...
Marco Cagnazzo, Thomas Maugey, Béatrice Pes...