JUCS
2006
13 years 5 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
JUCS
2006
13 years 5 months ago
2006
Abstract: Multiple hop routing in mobile ad hoc networks can minimize energy consumption and increase data throughput. Yet, the problem of radio interferences remain. However if th...
JUCS
2006
13 years 5 months ago
2006
: Plagiarism in the sense of "theft of intellectual property" has been around for as long as humans have produced work of art and research. However, easy access to the We...
JUCS
2006
13 years 5 months ago
2006
: CQL, Continuous Query Language is suitable for data stream queries. Sometimes it is better if the queries operate on relational databases and data streams simultaneously. The exe...
JUCS
2006
13 years 5 months ago
2006
: In recent times, interest in Ambient Intelligence (or AmI) has increased considerably. One of the main challenges in the development of these systems is to improve their modulari...
JUCS
2006
13 years 5 months ago
2006
JUCS
2006
13 years 5 months ago
2006
JUCS
2006
13 years 5 months ago
2006
JUCS
2006
13 years 5 months ago
2006
JUCS
2006
13 years 5 months ago
2006
: A sequence of increasing translation invariant subspaces can be defined by the Haar-system (or generally by wavelets). The orthogonal projection to the subspaces generates a deco...