Sciweavers

4276 search results - page 462 / 856
» Techniques for Empirical Validation
Sort
View
SEAA
2008
IEEE
16 years 1 months ago
Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...
Antonia Bertolino, Guglielmo De Angelis, Francesca...
COMPSAC
2007
IEEE
16 years 1 months ago
A Combined Concept Location Method for Java Programs
Concept location is one of the fundamental activities during software maintenance which locates the parts of the source code where a specific concept is implemented. The methods f...
Dapeng Liu, Shaochun Xu
DATE
2007
IEEE
119views Hardware» more  DATE 2007»
16 years 1 months ago
Experimental evaluation of protections against laser-induced faults and consequences on fault modeling
Lasers can be used by hackers to situations to inject faults in circuits and induce security flaws. On-line detection mechanisms are classically proposed to counter such attacks, ...
Régis Leveugle, Abdelaziz Ammari, V. Maingo...
EDOC
2007
IEEE
16 years 1 months ago
Model-Driven Engineering for Requirements Analysis
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
Benoit Baudry, Clémentine Nebut, Yves Le Tr...
GLOBECOM
2007
IEEE
16 years 1 months ago
Block Equalization for Single-Carrier Satellite Communications with High-Mobility Receivers
Abstract—We compare some block equalizers for singlecarrier satellite systems subject to hard propagation conditions such as high Doppler spread, non-line-of-sight (NLOS), and no...
Luca Rugini, Paolo Banelli, Matteo Berioli