3053 search results - page 88 / 611 » Performance of Generative Programming Based Protocol Impleme... |
133
Voted
EURONGI
2008
Springer
15 years 2 months ago
2008
Springer
The guaranteed delivery of critical data is an essential requirement in most Wireless Sensor Network (WSN) applications. The paucity of energy, communication, processing and storag...
129
Voted
FAC
2010
14 years 10 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
112
Voted
IFIP
2009
Springer
14 years 10 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
89
Voted
IEICET
2006
15 years 23 days ago
2006
Abstract. This paper discusses the state-of-the-art software optimization methodology for symmetric cryptographic primitives on Pentium III and 4 processors. We aim at maximizing s...
86
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
— Novel tools are needed to deploy multi-agent networks in applications that require a high degree of accuracy in the achievement and maintenance of geometric formations. This is...