6047 search results - page 914 / 1210 » Modeling with Extend |
126
click to vote
AMC
2006
15 years 3 months ago
2006
A new methodology for the reliability evaluation of an l-dissimilar-unit non-repairable cold-standby redundant system is introduced in this paper. Each unit is composed of a numbe...
136
click to vote
ENTCS
2006
15 years 3 months ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
129
click to vote
JNW
2008
15 years 3 months ago
2008
This paper provides an overview of the technologies used in smart classrooms for distance education by classifying smart classrooms into four categories and discussing the type of ...
128
click to vote
RTS
2006
15 years 3 months ago
2006
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
138
click to vote
SIGOPS
2008
15 years 3 months ago
2008
This paper presents PipesFS, an I/O architecture for Linux 2.6 that increases I/O throughput and adds support for heterogeneous parallel processors by (1) collapsing many I/O inte...