2850 search results - page 420 / 570 » On Timed Models and Full Abstraction |
142
click to vote
CISC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a signcryption scheme which provides all the following properties at the same time. (1) forward security: the private key of a sender does not h...
160
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Energy consumption is a major factor that limits the performance of sensor applications. Sensor nodes have varying sampling rates since they face continuously changing en...
113
click to vote
ANTSW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In previous papers we proposed an algorithm for real parameter optimization called the Aggregation Pheromone System (APS). The APS replaces pheromone trails in traditiona...
163
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a scalable and partitionable asynchronous bus arbiter for use with chip multiprocessors (CMP) and its corresponding pre-layout simulation results usin...
165
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Mobile devices get to handle much information thanks to the convergence of diverse functionalities. Their environment has great potential of supporting customized service...