7066 search results - page 1302 / 1414 » Contact Relations with Applications |
ESOP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
EUC
2005
Springer
14 years 3 months ago
2005
Springer
Wireless sensor networks are capable of carrying out surveillance missions for various applications in remote areas without human interventions. An essential issue of sensor netwo...
ICA3PP
2005
Springer
14 years 3 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
IFIP
2005
Springer
14 years 3 months ago
2005
Springer
Nearly all network applications rely on the global Internet routing infrastructure to compute routes and deliver packets. Unfortunately, false Internet routes can be maliciously in...
ISRR
2005
Springer
14 years 3 months ago
2005
Springer
Large area mapping at high resolution underwater continues to be constrained by the mismatch between available navigation as compared to sensor accuracy. In this paper we present ...