2740 search results - page 439 / 548 » A Model-Based Approach To Requirements Analysis |
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
ICFCA
2009
Springer
15 years 4 months ago
2009
Springer
Formal concept analysis (FCA) is increasingly applied to data mining problems, essentially as a formal framework for mining reduced representations (bases) of target pattern famili...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper proposes a new preprocessing scheme for rate-one quasi-orthogonal space-time block code (QO-STBC), which requires no channel state information at the transmitter. We ...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper investigates methods for link quality measurement of an indoor, time-varying wireless link. Link quality estimates are used for a number of higher-layer functions, in...