Sciweavers

10156 search results - page 215 / 2032
» Step by Step to Histories
Sort
View
ESORICS
2007
Springer
16 years 1 months ago
On the Automated Correction of Security Protocols Susceptible to a Replay Attack
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
Juan Carlos López Pimentel, Raul Monroy, Di...
ICA3PP
2007
Springer
16 years 1 months ago
AnyServer: Ubiquitous Real-Time Multimedia Communication System
Ubiquitous communications require wireless networking and infrastructure network support. The first step is to look at how the different available technologies will integrate and w...
Weijia Jia
NETCOOP
2007
Springer
16 years 1 months ago
The Practical Performance of Subgradient Computational Techniques for Mesh Network Utility Optimization
In the networking research literature, the problem of network utility optimization is often converted to the dual problem which, due to nondifferentiability, is solved with a part...
Peng Wang, Stephan Bohacek
SARA
2007
Springer
16 years 1 months ago
Boosting MUS Extraction
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
Santiago Macho González, Pedro Meseguer
CSMR
2006
IEEE
16 years 1 months ago
A Framework for Software Architecture Refactoring using Model Transformations and Semantic Annotations
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
Igor Ivkovic, Kostas Kontogiannis