1199 search results - page 156 / 240 » Parameterized Proof Complexity |
125
Voted
CASCON
2004
15 years 2 months ago
2004
Previous research shows that most software systems contain significant amounts of duplicated, or cloned, code. Some clones are exact duplicates of each other, while others differ ...
FORTE
2004
15 years 2 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
122
click to vote
MMNS
2003
15 years 2 months ago
2003
We propose a lightweight traffic admission control scheme based on on-line monitoring which ensures multimedia services quality both intra-domain and end-to-end. The AC strategy i...
118
click to vote
JMLR
2006
15 years 21 days ago
2006
Receiver Operating Characteristic (ROC) curves are a standard way to display the performance of a set of binary classifiers for all feasible ratios of the costs associated with fa...
115
Voted
TCOM
2008
15 years 20 days ago
2008
The constellation design for differential space-time modulation usually requires to construct L (constellation size) unitary matrices making the design complexity increasing rapidl...