Sciweavers

934 search results - page 87 / 187
» A theoretical analysis of the HIFF problem
Sort
View
CISS
2008
IEEE
15 years 4 months ago
Quickest spectrum sensing in cognitive radio
Abstract— Quickest detection is applied to frequency spectrum sensing in cognitive radio systems. Distribution change in frequency domain is detected for vacating secondary radio...
Husheng Li, Chengzhi Li, Huaiyu Dai
SKG
2006
IEEE
15 years 3 months ago
Completeness of Query Operations on Resource Spaces
A great variety of languages can be designed by different people for different purposes to operate resource spaces. Two fundamental issues are: can we design more operations in ad...
Hai Zhuge, Erlin Yao
ICTCS
2005
Springer
15 years 3 months ago
A Typed Assembly Language for Non-interference
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
Ricardo Medel, Adriana B. Compagnoni, Eduardo Bone...
ATS
1998
IEEE
106views Hardware» more  ATS 1998»
15 years 2 months ago
A Test Pattern Generation Algorithm Exploiting Behavioral Information
This paper aims at broadening the scope of hierarchical ATPG to the behavioral-level The main problem of using behavioral information for ATPG is the mismatch of timing models bet...
Silvia Chiusano, Fulvio Corno, Paolo Prinetto
ATAL
2008
Springer
14 years 12 months ago
Automated global-to-local programming in 1-D spatial multi-agent systems
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
Daniel Yamins, Radhika Nagpal