3724 search results - page 109 / 745 » Timed regular expressions |
129
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
— Despite significant research efforts, closed-form bit error rate (BER) expressions for multiple-input multiple-output (MIMO) systems employing transmit antenna selection and o...
122
click to vote
HIPC
1999
Springer
15 years 8 months ago
1999
Springer
The need to evaluate expression trees involving large objects arises in scientific computing applications such as electronic structure calculations. Often, the tree node objects a...
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
TPTL and MTL are two classical timed extensions of LTL. In this paper, we positively answer a 15-year-old conjecture that TPTL is strictly more expressive than MTL. But we show tha...
127
click to vote
ESORICS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Covert timing channels aim at transmitting hidden messages by controlling the time between transmissions of consecutive payload packets in overt network communication. Pr...
126
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...