2958 search results - page 291 / 592 » Extending and Implementing RASP |
204
click to vote
CSFW
2005
IEEE
16 years 27 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
204
click to vote
DATE
2005
IEEE
16 years 27 days ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
178
click to vote
ECRTS
2005
IEEE
16 years 27 days ago
2005
IEEE
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...
196
click to vote
ICCV
2005
IEEE
16 years 27 days ago
2005
IEEE
The representation and modelling of regions is an important topic in computer vision. In this paper, we represent a region via a level set of a ‘phase field’ function. The fu...
196
click to vote
ICRA
2005
IEEE
16 years 26 days ago
2005
IEEE
-In order to implement a continuous and robust dynamic localization of a mobile robot, the fusion of dead reckoning and absolute sensors is often used. Depending on the objectives ...