In this paper we seek to formally establish the similarities and differences between two formalizations of defeasible reasoning: the defeasible logics of Nute and Maier, and defeasible logics in the framework of Antoniou et al. Both families of logics have developed from earlier logics of Nute, but their development has followed different paths and they are formulated very differently. We exami...

In this paper we present a replication and extension of the study performed by Florêncio and Herley published at SOUPS 2010. They investigated a sample of US websites, examining different website features’ effects on the strength of the website’s password composition policy (PCP). Using the same methodology as in the original study, we re-investigated the same US websites to identify difference...

We present techniques that allow strength reduction to be performed concurrently with partial redundancy elimination in the SSAPRE framework. By sharing the characteristics inherent to SSAPRE, the resulting strength reduction algorithm exhibits many interesting attributes. We compare various aspects of the new strength reduction algorithm with previous strength reduction algorithms. We also out...

This paper presents a principled approach for optimizing iterative (or recur-sive) programs. The approach formulates a loop body as a function f and a change operation , incrementalizes f with respect to , and adopts an incrementalized loop body to form a new loop that is more eecient. Three general optimizations are performed as part of the adoption; they systematically handle initializations,...

This paper concerns methods to check for atomic-set serializability violations in concurrent Java programs. The straightforward way to encode a reentrant lock is to model it with a context-free language to track the number of successive lock acquisitions. We present a construction that replaces the context-free language that describes a reentrant lock by a regular language that describes a non-...

We have carried out atomistic molecular dynamics simulations of a melt of 1,4-poly~butadiene! from temperatures well above the experimentally observed merging of the primary a process and secondary b process down to temperatures approaching the experimentally observed bifurcation temperature. The relaxation strength and maximum loss frequency and its temperature dependence for the combined a-b ...

We present a bit-vector algorithm that uniformly combines code motion and strength reduction, avoids superruous register pressure due to unnecessary code motion, and is as eecient as standard unidirectional analyses. The point of this algorithm is to combine the concept of lazy code motion of 1] with the concept of unifying code motion and strength reduction of 2, 3, 4]. This results in an algo...

The Geological Strength Index (GSI) system, proposed in 1995, is now widely used for the estimation of the rock mass strength and the rock mass deformation parameters. The GSI system concentrates on the description of two factors, rock structure and block surface conditions. The guidelines given by the GSI system are for the estimation of the peak strength parameters of jointed rock masses. The...