AMCS
2010
13 years 2 months ago
2010
CASC
2009
Springer
13 years 2 months ago
2009
Springer
WAIFI
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We focus on the implementation and security aspects of cryptographic protocols that use Type 1 and Type 4 pairings. On the implementation front, we report improved timing...
SETA
2010
Springer
13 years 2 months ago
2010
Springer
SETA
2010
Springer
13 years 2 months ago
2010
Springer
ITP
2010
13 years 2 months ago
2010
Using HOL4, we mechanise termination and correctness for two unification algorithms, written in a recursive descent style. One computes unifiers for first order terms, the other fo...
CASC
2010
Springer
13 years 2 months ago
2010
Springer
CASC
2010
Springer
13 years 2 months ago
2010
Springer
CASC
2010
Springer
13 years 2 months ago
2010
Springer
In this paper, we consider systems of algebraic and non-linear partial differential equations and inequations. We decompose these system into so-called simple subsystems and there...
ASMTA
2010
Springer
13 years 2 months ago
2010
Springer
Due to the overall growing demand on the network resources and tight restrictions on the power consumption, the requirements to the long-term scalability, cost and performance capa...