Sciweavers

443 search results - page 43 / 89
» Compensation-Aware Runtime Monitoring
Sort
View
118
Voted
CSFW
2009
IEEE
15 years 7 months ago
Securing Timeout Instructions in Web Applications
Timeout mechanisms are a useful feature for web applications. However, these mechanisms need to be used with care because, if used as-is, they are vulnerable to timing attacks. Th...
Alejandro Russo, Andrei Sabelfeld
98
Voted
CSMR
2005
IEEE
15 years 6 months ago
Tracing Cross-Cutting Requirements via Context-Based Constraints
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
Felix Bübl, Michael Balser
90
Voted
IPPS
2003
IEEE
15 years 6 months ago
A Case Study of Optimistic Computing on the Grid: Parallel Mesh Generation
This paper describes our progress in creating a case study on optimistic computing for the Grid using parallel mesh generation. For the implementation of both methods we will be u...
Nikos Chrisochoides, Andriy Fedorov, Bruce Lowekam...
101
Voted
ICALP
2003
Springer
15 years 6 months ago
Resource Access and Mobility Control with Dynamic Privileges Acquisition
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
Daniele Gorla, Rosario Pugliese
LSSC
2001
Springer
15 years 5 months ago
IC2D: Interactive Control and Debugging of Distribution
Within the trend of object-based distributed programming, we present a non-intrusive graphical environment for remote monitoring and steering, IC2D: Interactive Control and Debuggi...
Françoise Baude, Alexandre Bergel, Denis Ca...