17082 search results - page 146 / 3417 » Abstractions for Mobile Computation |
115
Voted
CADE
2005
Springer
15 years 9 months 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...
139
Voted
MOBISYS
2008
ACM
15 years 6 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...
82
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
99
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
106
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE