2826 search results - page 153 / 566 » FFF97 - Oberon in the Real World |
183
click to vote
FC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper introduces certified sets to the private set intersection problem. A private set intersection protocol allows Alice and Bob to jointly compute the set intersec...
185
click to vote
HOPL
2007
15 years 11 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
213
click to vote
ICCTA
2007
IEEE
15 years 11 months ago
2007
IEEE
We have carried out experimental research into implicit representation of large graphs using reduced ordered binary decision diagrams (OBDDs). We experimentally show that for grap...
198
click to vote
APSEC
2006
IEEE
15 years 11 months ago
2006
IEEE
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
178
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
The analysis of real-time properties of an embedded system usually relies on the worst-case execution times (WCET) of the tasks to be executed. In contrast to that, in real world ...