326 search results - page 27 / 66 » Generation of visitor components that implement program tran... |
ACMSE
2005
ACM
13 years 9 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
IWMM
2009
Springer
14 years 2 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
TMC
2010
13 years 6 months ago
2010
—Secret keys can be generated and shared between two wireless nodes by measuring and encoding radio channel characteristics without ever revealing the secret key to an eavesdropp...
3DGIS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract Three-dimensional (3D) building model is one of the most important components in a cyber city implementation and application. This study developed an effective and highly ...