2142 search results - page 127 / 429 » Improved Conditional E-Payments |
126
click to vote
ISQED
2007
IEEE
15 years 9 months ago
2007
IEEE
Parameter variation in integrated circuits causes sections of a chip to be slower than others. To prevent any resulting timing errors, designers have traditionally designed for th...
100
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
108
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we discuss variational data assimilation using the STEM atmospheric Chemical Transport Model. STEM is a multiscale model and can perform air quality simulations and p...
135
Voted
IDEAS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper proposes CADRE (Collaborative Allocation and Deallocation of Replicas with Efficiency), a dynamic replication scheme for improving the typically low data availability ...
120
Voted
MOBICOM
2006
ACM
15 years 9 months ago
2006
ACM
Broadcast transmissions are the predominate form of network traffic in a VANET. However, since there is no MAC-layer recovery on broadcast frames within an 802.11-based VANET, th...