4963 search results - page 965 / 993 » Implementing a Categorical Information System |
POPL
2005
ACM
14 years 9 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
WSDM
2010
ACM
14 years 6 months ago
2010
ACM
We study the problem of designing a mechanism to rank items in forums by making use of the user reviews such as thumb and star ratings. We compare mechanisms where forum users rat...
ICCD
2008
IEEE
14 years 5 months ago
2008
IEEE
— Power analysis attacks are a type of side-channel attacks that exploits the power consumption of computing devices to retrieve secret information. They are very effective in br...
VEE
2009
ACM
14 years 3 months ago
2009
ACM
The use of virtualization is progressively accommodating diverse and unpredictable workloads as being adopted in virtual desktop and cloud computing environments. Since a virtual ...