Sciweavers

5477 search results - page 523 / 1096
» Contexts, Domains, and Software
Sort
View
ICFEM
2010
Springer
15 years 5 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
SERP
2010
15 years 5 months ago
Role Explosion: Acknowledging the Problem
- In large enterprises subject to constant employee turnover and challenging security policies, the administration of Role-based Access Control (RBAC) is a daunting task that is of...
Aaron Elliott, Scott Knight
CSMR
2010
IEEE
15 years 2 months ago
InCode: Continuous Quality Assessment and Improvement
While significant progress has been made over the last ten years in the research field of quality assessment, developers still can't take full advantage of the benefits of the...
Radu Marinescu, George Ganea, Ioana Verebi
SIAMIS
2011
15 years 2 months ago
An Upwind Finite-Difference Method for Total Variation-Based Image Smoothing
In this paper we study finite-difference approximations to the variational problem using the BV smoothness penalty that was introduced in an image smoothing context by Rudin, Osh...
Antonin Chambolle, Stacey Levine, Bradley J. Lucie...
SOCO
2011
Springer
15 years 2 months ago
Retransmission steganography and its detection
The paper presents a new steganographic method called RSTEG (retransmission steganography), which is intended for a broad class of protocols that utilises retransmission mechanisms...
Wojciech Mazurczyk, Milosz Smolarczyk, Krzysztof S...