3057 search results - page 439 / 612 » Complexity management |
128
click to vote
ISW
2009
Springer
15 years 10 months ago
2009
Springer
The recently started SHA-3 competition in order to find a new secure hash standard and thus a replacement for SHA-1/SHA-2 has attracted a lot of interest in the academic world as ...
106
Voted
MKM
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
137
click to vote
FDG
2009
ACM
15 years 10 months ago
2009
ACM
Engineering education has evolved from providing students solely with technical skills to providing them with courses that provide students with the non-technical “soft skills...
127
click to vote
MOBILWARE
2009
ACM
15 years 10 months ago
2009
ACM
The availability of heterogeneous wireless interfaces and of growing computing resources on widespread portable devices pushes for enabling innovative deployment scenarios where mo...
106
Voted
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
As virtualized data-centres become the back-end platforms behind a new generation of utility and cloud computing infrastructures (such as AmazonAWS [1]) their multi-tenancy, scale...