2796 search results - page 189 / 560 » A time structure based software reliability model |
134
click to vote
NETWORKING
2007
15 years 5 months ago
2007
This paper addresses the study of fundamental properties of stream-based content distribution services. We assume the presence of an overlay network with limited connectivity degre...
126
click to vote
JCB
2006
15 years 3 months ago
2006
Following Zuker (1986), a saturated secondary structure for a given RNA sequence is a secondary structure such that no base pair can be added without violating the definition of s...
168
click to vote
JSAC
2008
15 years 2 months ago
2008
In this paper we design a cognitive radio that can coexist with multiple parallel WLAN channels while abiding by an interference constraint. The interaction between both systems is...
167
click to vote
ISAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
127
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...