475 search results - page 57 / 95 » Reasoning About the Transfer of Control |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
FMLDO
1999
Springer
13 years 12 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this video, we demonstrate the effectiveness of a kinodynamic planning strategy that allows a high-impedance quadruped to operate across a variety of rough terrain. At one e...
BROADNETS
2007
IEEE
14 years 2 months ago
2007
IEEE
— The expected VoIP call capacity in a one hop IEEE 802.11b network with G.711 voice codec is about 85 simultaneous calls, but the actual observed capacity is only 5 calls even a...
FROCOS
2007
Springer
14 years 1 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...