7195 search results - page 462 / 1439 » On Computing Power |
178
Voted
VRML
2006
ACM
16 years 26 days ago
2006
ACM
The availability of more powerful mobile devices, sometimes equipped with graphics accelerators, is making it easier to experiment with mobile 3D graphics. In this paper, we explo...
209
Voted
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
In pervasive computing environments, powerful handheld devices with wireless connections create opportunities for many new nomadic applications. We propose a new service discovery...
183
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
We take a step towards a more realistic modeling of personal digital signatures, where a human user, his mobile equipment, his PC and a server are all considered as independent pla...
178
click to vote
AB
2007
Springer
16 years 1 months ago
2007
Springer
Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem s...
147
click to vote
ASM
2005
ASM
16 years 14 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...