12981 search results - page 2394 / 2597 » Model Checking (Abstract) |
134
click to vote
JSAC
2008
15 years 3 months ago
2008
Abstract--We address several inter-related aspects of underwater network design within the context of a cross-layer approach. We first highlight the impact of key characteristics o...
125
click to vote
JCP
2006
15 years 3 months ago
2006
Abstract-- This paper is concerned with passwordauthenticated key agreement protocols. Designing such protocols represents an interesting challenge since there is no standard way o...
155
click to vote
JUCS
2008
15 years 3 months ago
2008
Abstract: Information integration applications combine data from heterogeneous sources to assist the user in solving repetitive data-intensive tasks. Currently, such applications r...
136
Voted
JUCS
2008
15 years 3 months ago
2008
Abstract: Nowadays, more and more users make use of web-based collaborative systems. Users participate in communities or search for and provide information in webbased systems. The...
120
click to vote
JMIV
2006
15 years 3 months ago
2006
Abstract. A generalized iterative regularization procedure based on the total variation penalization is introduced for image denoising models with non-quadratic convex fidelity ter...