Sciweavers

2740 search results - page 251 / 548
» A Model-Based Approach To Requirements Analysis
Sort
View
SIGSOFT
2010
ACM
15 years 1 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
2011
IEEE
14 years 7 months ago
On autocorrelation-based multiantenna spectrum sensing for cognitive radios in unknown noise
Recently several time-domain approaches relying on the generalized likelihood ratio test (GLRT) paradigm have been proposed for multiple antenna spectrum sensing in cognitive radi...
Jitendra K. Tugnait
CIKM
2005
Springer
15 years 9 months ago
Structure-based query-specific document summarization
Summarization of text documents is increasingly important with the amount of data available on the Internet. The large majority of current approaches view documents as linear sequ...
Ramakrishna Varadarajan, Vagelis Hristidis
WSC
2008
15 years 6 months ago
Comparison of bayesian priors for highly reliable limit models
Limit standards are probability interval requirements for proportions. Simulation literature has focused on finding the confidence interval of the population proportion, which is ...
Roy R. Creasey Jr., K. Preston White, Linda B. Wri...
RV
2010
Springer
153views Hardware» more  RV 2010»
15 years 1 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