2850 search results - page 469 / 570 » On Timed Models and Full Abstraction |
97
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
We try to close the gap between theoretical investigations of wireless network topologies and realistic wireless environments. For point-to-point communication, we examine theoret...
89
Voted
EPIA
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. One of the most influential factors in the quality of the solutions found by an evolutionary algorithm is the appropriateness of the fitness function. Specifically in ...
FOSSACS
2003
Springer
15 years 6 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
132
Voted
FPL
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper explores using information about program branch probabilities to optimise reconfigurable designs. The basic premise is to promote utilization by dedicating mo...