1747 search results - page 159 / 350 » Long Range Dependence |
153
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
186
click to vote
HUC
1999
Springer
15 years 10 months ago
1999
Springer
This paper considers the role of network connectivity in supporting context-sensitive applications. A range of context-sensitive applications are analysed with respect to connectiv...
162
click to vote
TARK
1998
Springer
15 years 10 months ago
1998
Springer
Belief revision theory aims to describe how one should change one's beliefs when they are contradicted by newly input information. The guiding principle of belief revision th...
130
click to vote
ISCA
1990
IEEE
15 years 10 months ago
1990
IEEE
Improvements in disk speeds have not kept up with improvements in processor and memory speeds. One way to correct the resulting speed mismatch is to stripe data across many disks. ...
163
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...