Sciweavers

2780 search results - page 346 / 556
» Generalizing by Removing Detail
Sort
View
IEEEARES
2008
IEEE
16 years 1 months ago
Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
Zhiyao Liang, Rakesh M. Verma
KBSE
2008
IEEE
16 years 1 months ago
Using Simulation to Investigate Requirements Prioritization Strategies
—Agile and traditional plan-based approaches to software system development both agree that prioritizing requirements is an essential activity. They differ in basic strategy - wh...
Daniel Port, Alexy Olkov, Tim Menzies
MOBIQUITOUS
2008
IEEE
16 years 1 months ago
A multi-dimensional model enabling autonomic reasoning for context-aware pervasive applications
A fundamental requirement for autonomic computing is to be able to automatically infer how human users react in similar contextual conditions. This paper examines the problem of a...
Nearchos Paspallis, Konstantinos Kakousis, George ...
MOBIQUITOUS
2008
IEEE
16 years 1 months ago
Congestion control protocol for wireless sensor networks handling prioritized heterogeneous traffic
Heterogeneous applications could be assimilated within the same wireless sensor network with the aid of modern motes that have multiple sensor boards on a single radio board. Diff...
Muhammad Mostafa Monowar, Md. Obaidur Rahman, Al-S...
PIMRC
2008
IEEE
16 years 1 months ago
On-body wireless inertial sensing foot control applications
In recent years, the use of inertial sensing for body motion recognition has been demonstrated. However, existing work generally focuses on upper-body movements, which involve smal...
Lawrence Cheng, Stephen Hailes