3481 search results - page 559 / 697 » Exploration in Relational Worlds |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper introduces the security and trust concepts in wireless sensor networks and explains the difference between them, stating that even though both terms are used interchang...
ENGL
2008
13 years 9 months ago
2008
Electronic information display systems are widely used in public places. The increase in use of light-emitting diodes (LED) display arouses our interest in the effective methods of...
ENTCS
2008
13 years 9 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
CN
2006
13 years 9 months ago
2006
In certain reliable group-oriented and multicast applications, a source needs to securely verify whether all (and if not all, which) intended receivers have received a message. How...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...