136 search results - page 2 / 28 » An integrality theorem of root systems |
GSEM
2007
Springer
14 years 6 days ago
2007
Springer
In order to manage and enforce multiple heterogeneous authorization policies in distributed authorization environment, we defined the root policy specification language and its cor...
ISOLA
2007
Springer
14 years 5 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
Abstract— This paper examines the stability of quantum feedback networks. We introduce a novel characterization, in terms of equivalence classes of operators, that may be used to...
FLOPS
2010
Springer
14 years 26 days ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
APSEC
2005
IEEE
13 years 11 months ago
2005
IEEE
