98 search results - page 2 / 20 » The ROOTS Constraint |
STTT
2010
13 years 14 hour ago
2010
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: ...
ICASSP
2011
IEEE
12 years 9 months ago
2011
IEEE
We consider a power-controlled wireless network with an established network topology in which the communication links (transmitter-receiver pairs) are subject to general constrain...
CDC
2010
IEEE
13 years 9 days ago
2010
IEEE
Abstract-- Given a family of real or complex monic polynomials of fixed degree with one fixed affine constraint on their coefficients, consider the problem of minimizing the root r...
GSEM
2007
Springer
13 years 11 months 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...
WETICE
1998
IEEE
13 years 9 months ago
1998
IEEE
Much work is going into securing the public key infrastructure (PKI). Various models for trust exist; Pretty Good Privacy (PGP) and the Progressive-Constraint Trust model are exam...