14285 search results - page 2461 / 2857 » Web Based Management |
162
click to vote
MKM
2009
Springer
16 years 1 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...
188
click to vote
PVM
2009
Springer
16 years 1 months ago
2009
Springer
The objective of this research is to convert ordinary idle PCs into virtual clusters for executing parallel applications. The paper introduces VolpexMPI that is designed to enable ...
215
click to vote
QUACON
2009
Springer
16 years 1 months ago
2009
Springer
Much research on context quality in context-aware systems divides into two strands: (1) the qualitative identi cation of quality measures and (2) the use of uncertain reasoning tec...
175
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
— Thermal balancing and reducing hot-spots are two important challenges facing the MPSoC designers. In this work, we model the thermal behavior of a MPSoC as a control theory pro...
204
click to vote
ICUIMC
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a detailed review of remote user authentication schemes with smart cards based on bilinear pairings. The first scheme regarding this was proposed by Manik et a...