Sciweavers

2740 search results - page 152 / 548
» A Model-Based Approach To Requirements Analysis
Sort
View
ICC
2007
IEEE
119views Communications» more  ICC 2007»
14 years 5 months ago
Performance Analysis of a Network-Based Protocol for Localized IP Mobility Management
— In this paper a new protocol for IP mobility management is described, which follows a network-based approach and fulfils the requirements of optimized usage of radio spectrum a...
Ivano Guardini, Gerardo Giaretta, Francesco Miconi
IROS
2006
IEEE
141views Robotics» more  IROS 2006»
14 years 4 months ago
Experimental Analysis of Overhead Data Processing To Support Long Range Navigation
Abstract— Long range navigation by unmanned ground vehicles continues to challenge the robotics community. Efficient navigation requires not only intelligent on-board perception...
David Silver, Boris Sofman, Nicolas Vandapel, J. A...
ICCSA
2005
Springer
14 years 4 months ago
A Formal Analysis of Fairness and Non-repudiation in the RSA-CEGD Protocol
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...
Almudena Alcaide, Juan M. Estévez-Tapiador,...
ITRUST
2004
Springer
14 years 4 months ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...
ICDM
2003
IEEE
114views Data Mining» more  ICDM 2003»
14 years 4 months ago
Unsupervised Link Discovery in Multi-relational Data via Rarity Analysis
A significant portion of knowledge discovery and data mining research focuses on finding patterns of interest in data. Once a pattern is found, it can be used to recognize satisfy...
Shou-de Lin, Hans Chalupsky