2740 search results - page 439 / 548 » A Model-Based Approach To Requirements Analysis |
134
Voted
FOSSACS
2009
Springer
15 years 10 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...
122
click to vote
ICFCA
2009
Springer
15 years 10 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...
112
click to vote
GLOBECOM
2009
IEEE
15 years 10 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 ...
138
click to vote
ICC
2009
IEEE
15 years 10 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...
107
click to vote
ICC
2009
IEEE
15 years 10 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...