464 search results - page 21 / 93 » Enjoy the Paper: Lexicology |
DSN
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper considers the problem of electing an eventual leader in an asynchronous shared memory system. While this problem has received a lot of attention in messagepassing syste...
66
Voted
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
The objectives of the research project described in this paper are (1) to develop reliable and valid measures for the components of online store image, and (2) to examine the infl...
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
67
Voted
TAPSOFT
1997
Springer
15 years 1 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
HUC
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we propose a novel microwave oven called CastOven. CastOven is a microwave oven with a LCD display that enables people to enjoy videos while they are waiting for th...