Sciweavers

1270 search results - page 109 / 254
» IF Validation Environment Tutorial
Sort
View
ICSE
2005
IEEE-ACM
14 years 10 months ago
Monitoring and control in scenario-based requirements analysis
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
GLOBECOM
2009
IEEE
14 years 5 months ago
Dynamic Power Management in Cognitive Radio Networks Based on Constrained Stochastic Games
Abstract—Recent studies have been conducted to indicate the ineffective usage of licensed bands due to the static spectrum allocation. In order to improve the spectrum utilizatio...
Chia-Wei Wang, Yu-Pin Hsu, Kai-Ten Feng
ICC
2009
IEEE
118views Communications» more  ICC 2009»
14 years 5 months ago
A First Order Logic Security Verification Model for SIP
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
Dimitris Geneiatakis, Costas Lambrinoudakis, Georg...
NTMS
2009
IEEE
14 years 5 months ago
An Adaptive Quantization Algorithm for Secret Key Generation Using Radio Channel Measurements
—New approaches that generate secret keys from radio channel characteristics have been recently proposed. The security of these schemes usually relies on the reciprocity principl...
Sana Tmar Ben Hamida, Jean-Benoît Pierrot, C...
DATE
2008
IEEE
199views Hardware» more  DATE 2008»
14 years 4 months ago
Safe Automatic Flight Back and Landing of Aircraft Flight Reconfiguration Function (FRF)
SOFIA (Safe Automatic Flight Back and Landing of Aircraft) project is a response to the challenge of developing concepts and techniques enabling the safe and automatic return to g...
Juan Alberto Herreria Garcia