Sciweavers

1998 search results - page 185 / 400
» Situated Control Rules
Sort
View
KRDB
2003
139views Database» more  KRDB 2003»
15 years 6 months ago
Expressing Transactions with Savepoints as Non-Markovian Theories of Actions
Flat transactions with savepoints are a variation of the classical flat transactions that allows the user to go undo work done so far back to a certain point within the transacti...
Iluju Kiringa, Alfredo Gabaldon
LFP
1994
87views more  LFP 1994»
15 years 6 months ago
An Efficient Implementation of Multiple Return Values in Scheme
This paper describes an implementation of the new Scheme multiple values interface. The implementation handles multiple values efficiently, with no run-time overhead for normal ca...
J. Michael Ashley, R. Kent Dybvig
111
Voted
ICASSP
2011
IEEE
14 years 8 months ago
Class of double-talk detectors based on the holder inequality
Most of the echo cancellers are equipped with a double-talk detector (DTD) in order to control the behavior of the adaptive filter during double-talk situations. In this paper, w...
Constantin Paleologu, Jacob Benesty, Tomas Gä...
DIMVA
2009
15 years 6 months ago
A Service Dependency Modeling Framework for Policy-Based Response Enforcement
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
Nizar Kheir, Hervé Debar, Fréd&eacut...
141
Voted
ESOP
1999
Springer
15 years 9 months ago
Types for Safe Locking
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...
Cormac Flanagan, Martín Abadi