Sciweavers

2746 search results - page 334 / 550
» Case Study in Survivable Network System Analysis
Sort
View
145
Voted
VTC
2008
IEEE
157views Communications» more  VTC 2008»
16 years 16 days ago
Performance of MIMO Aware RRM in Downlink OFDMA
— This paper addresses advanced radio resource management (RRM) algorithms for multiple-input multipleoutput (MIMO) transmission schemes in downlink OFDMA systems. The analysis c...
István Z. Kovács, Markku Kuusela, El...
ICDAR
2003
IEEE
15 years 11 months ago
Comparison of Genetic Algorithm and Sequential Search Methods for Classifier Subset Selection
Classifier subset selection (CSS) from a large ensemble is an effective way to design multiple classifier systems (MCSs). Given a validation dataset and a selection criterion, the...
Hongwei Hao, Cheng-Lin Liu, Hiroshi Sako
RTCSA
2003
IEEE
15 years 11 months ago
Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
Anders Wall, Johan Andersson, Jonas Neander, Chris...
CSFW
2010
IEEE
15 years 10 months ago
Towards a Formal Foundation of Web Security
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
Devdatta Akhawe, Adam Barth, Peifung E. Lam, John ...
163
Voted
ICFP
2004
ACM
16 years 6 months ago
Types, potency, and idempotency: why nonlinearity and amnesia make a type system work
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
Harry G. Mairson, Peter Møller Neergaard