29046 search results - page 402 / 5810 » Computable Models |
163
click to vote
JPDC
2006
15 years 5 months ago
2006
Conventional performance evaluation mechanisms focus on dedicated systems. Grid computing infrastructure, on the other hand, is a shared collaborative environment constructed on v...
144
click to vote
TCS
2010
15 years 3 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
187
click to vote
FGR
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract— We propose a system for human computer interaction via 3D hand movements, based on a combination of visual tracking and a cheap, off-the-shelf, accelerometer. We use a ...
202
click to vote
TCC
2012
Springer
14 years 18 days ago
2012
Springer
We propose a 2-party UC-secure protocol that can compute any function securely. The protocol requires only two messages, communication that is poly-logarithmic in the size of the ...
164
click to vote
EUROSYS
2007
ACM
16 years 2 months ago
2007
ACM
Data centers are often under-utilized due to over-provisioning as well as time-varying resource demands of typical enterprise applications. One approach to increase resource utili...