Sciweavers

2403 search results - page 279 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
CBMS
2008
IEEE
16 years 1 months ago
Behavior-Based Access Control for Distributed Healthcare Environment
Privacy and security are critical requirements for using patient profiles in distributed healthcare environments. The amalgamation of new information technology with traditional ...
Mohammad H. Yarmand, Kamran Sartipi, Douglas G. Do...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 11 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
ALMOB
2006
80views more  ALMOB 2006»
15 years 6 months ago
Pattern statistics on Markov chains and sensitivity to parameter estimation
Background: In order to compute pattern statistics in computational biology a Markov model is commonly used to take into account the sequence composition. Usually its parameter mu...
Grégory Nuel
ICC
2009
IEEE
116views Communications» more  ICC 2009»
15 years 4 months ago
Latency and Capacity Optimal Broadcasting in Wireless Multihop Networks
In this paper, we study the fundamental properties of broadcasting in multi-hop wireless networks. Previous studies have shown that, as long as broadcast capacity is concerned, asy...
Giovanni Resta, Paolo Santi
INTERSPEECH
2010
15 years 1 months ago
On the interdependencies between voice quality, glottal gaps, and voice-source related acoustic measures
In human speech production, the voice source contains important non-lexical information, especially relating to a speaker's voice quality. In this study, direct measurements ...
Yen-Liang Shue, Gang Chen, Abeer Alwan