1040 search results - page 155 / 208 » Resource Usage Verification |
118
Voted
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
113
Voted
WWIC
2007
Springer
15 years 8 months ago
2007
Springer
Providing security services for wireless sensor networks plays a vital role in secure network operation especially when sensor networks are deployed in hostile areas. In order to p...
119
Voted
ASAP
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper proposes different low-cost coprocessors for public key authentication on 8-bit smart cards. Elliptic curve cryptography is used for its efficiency per bit of key and ...
113
Voted
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
The applicability of network-based computing depends on the availability of the underlying network bandwidth. However, network resources are shared and the available network bandw...
86
Voted
CLUSTER
2006
IEEE
15 years 8 months ago
2006
IEEE
Distributed applications, especially the ones being I/O intensive, often access the storage subsystem in a non-sequential way (stride requests). Since such behaviors lower the ove...