Sciweavers

31 search results - page 3 / 7
» Towards a Framework for a Network Warfare Capability
Sort
View
KES
2005
Springer
14 years 27 days ago
Synthetic Character with Bayesian Network and Behavior Network for Intelligent Smartphone
As more people get using mobile phones, smartphone which is a new generation of mobile phone with computing capability earns world-wide reputation as new personal business assistan...
Sang-Jun Han, Sung-Bae Cho
NCA
2008
IEEE
14 years 1 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
GLOBECOM
2009
IEEE
14 years 2 months ago
On Spectrum Selection Games in Cognitive Radio Networks
Abstract—Cognitive Radio Networks aim at enhancing spectrum utilization by allowing cognitive devices to opportunistically access vast portions of the spectrum. To reach such amb...
Ilaria Malanchini, Matteo Cesana, Nicola Gatti
JSW
2008
98views more  JSW 2008»
13 years 7 months ago
Towards a Collaborative and Systematic Approach to Alert Verification
With the menace of hackers increasing every day, even well administrated networks are vulnerable to attack. Therefore, securing network assets has become a significant issue for th...
Xuejiao Liu, Debao Xiao, Xi Peng
CSREASAM
2004
13 years 8 months ago
A Unified Framework for Mobile Device Security
: Present-day handheld devices, such as PDAs, are a useful blend of hardware and software oriented toward the mobile workforce. While they provide the capability to review document...
Wayne A. Jansen, Serban I. Gavrila, Vlad Korolev