4211 search results - page 549 / 843 » Types as Abstract Interpretations |
144
click to vote
VTC
2008
IEEE
16 years 28 days ago
2008
IEEE
—Many different types of modern wired and wireless communication links can be mathematically described as discretebert channels. In this extended abstract, we present an exact me...
201
click to vote
ACISP
2008
Springer
16 years 27 days ago
2008
Springer
Abstract. We propose a new hybrid protocol for cryptographically secure biometric authentication. The main advantages of the proposed protocol over previous solutions can be summar...
190
click to vote
ADAEUROPE
2008
Springer
16 years 27 days ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
172
click to vote
BROADNETS
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
146
click to vote
CEC
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— There has been much research into the development of robotic controllers in educational, industrial and government research labs, but limited hardware budgets constrain...