1119 search results - page 111 / 224 » On the Invariance of Ant System |
CORR
2007
Springer
14 years 10 months ago
2007
Springer
— In this paper the benefits provided by multi-cell processing of signals transmitted by mobile terminals which are received via dedicated relay terminals (RTs) are assessed. Un...
TCS
2008
14 years 9 months ago
2008
We present exact and complete algorithms based on precomputed Sturm-Habicht sequences, discriminants and invariants, that classify, isolate with rational points and compare the re...
FMSD
2000
14 years 9 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
OSDI
2000
ACM
14 years 11 months ago
2000
ACM
: We explore the abstraction of failure transparency in which the operating system provides the illusion of failure-free operation. To provide failure transparency, an operating sy...
FC
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we investigate how existing theoretical contributions on usable security can serve to guide the design of a specific system. We illustrate how going through this the...