Sciweavers

7421 search results - page 1324 / 1485
» In search of dependable design
Sort
View
GLOBECOM
2010
IEEE
15 years 4 months ago
Packet-Reliability-Based Decode-and-Forward Distributed Space-Time Shift Keying
Motivated by the recent concept of Space-Time Shift Keying (STSK), we propose a novel cooperative STSK scheme, which is capable of achieving a flexible rate-diversity tradeoff, in ...
Shinya Sugiura, Sheng Chen, Lajos Hanzo
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
15 years 4 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
EUSFLAT
2009
156views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Interactive Fuzzy Modeling by Evolutionary Multiobjective Optimization with User Preference
One of the new trends in genetic fuzzy systems (GFS) is the use of evolutionary multiobjective optimization (EMO) algorithms. This is because EMO algorithms can easily handle two c...
Yusuke Nojima, Hisao Ishibuchi
BMCBI
2011
15 years 1 months ago
A Platform for Processing Expression of Short Time Series (PESTS)
Background: Time course microarray profiles examine the expression of genes over a time domain. They are necessary in order to determine the complete set of genes that are dynamic...
Anshu Sinha, Marianthi Markatou
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
15 years 1 months ago
Effect of network structure on the stability margin of large vehicle formation with distributed control
We study the problem of distributed control of a large network of double-integrator agents to maintain a rigid formation. A few lead vehicles are given information on the desired t...
He Hao, Prabir Barooah, J. J. P. Veerman
« Prev « First page 1324 / 1485 Last » Next »