941 search results - page 68 / 189 » The Parking Permit Problem |
107
click to vote
RTSS
1997
IEEE
15 years 4 months ago
1997
IEEE
In certain real-time applications, ranging from multimedia to telecommunication systems, timing constraints can be more flexible than scheduling theory usually permits. For exampl...
SP
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
CHI
1993
ACM
15 years 4 months ago
1993
ACM
Auditory icons add valuable functionality to computer interfaces, particularly when they are parameterized to convey dimensional information. They are difficult to create and mani...
118
click to vote
PODS
1993
ACM
15 years 4 months ago
1993
ACM
In this paper we consider the problem of using disk blocks efficiently in searching graphs that are too large to fit in internal memory. Our model allows a vertex to be represented...
PLDI
1994
ACM
15 years 4 months ago
1994
ACM
Programslices have potentialuses in manysoftware engineering applications. Traditional slicing algorithms, however, do not work correctly on programs that contain explicit jump st...