17082 search results - page 146 / 3417 » Abstractions for Mobile Computation |
163
click to vote
CADE
2005
Springer
16 years 3 hour ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
185
click to vote
MOBISYS
2008
ACM
15 years 8 months ago
2008
ACM
Kimberley enables rapid software provisioning of fixed infrastructure for transient use by a mobile device. It uses virtual machine (VM) technology, but avoids the performance cha...