972 search results - page 131 / 195 » Reasoning with Conditional Time-Intervals |
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
AFRICACRYPT
2008
Springer
14 years 2 months ago
2008
Springer
In this paper, we investigate the security of the Tractable Rationale Maps Signature (TRMS) signature scheme [9] proposed at PKC’05. To do so, we present a hybrid approach for so...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
Many sophisticated mechanisms have been implemented at both the transport and the network layers in order to estimate network conditions and avoid overload of network links. We ev...
BROADNETS
2007
IEEE
14 years 2 months ago
2007
IEEE
—A large majority of the Internet traffic relies on TCP as its transport protocol. In future, as the edge of the Internet continues to extend over the wireless medium, TCP (or i...
CRV
2007
IEEE
14 years 2 months ago
2007
IEEE
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...