Sciweavers

Share
JUCS
2006
104views more  JUCS 2006»
8 years 10 months ago
Introducing the ITP Tool: a Tutorial
: 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 ...
Manuel Clavel, Miguel Palomino, Adrián Ries...
JUCS
2006
117views more  JUCS 2006»
8 years 10 months ago
Resource Efficient Maintenance of Wireless Network Topologies
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...
Tamás Lukovszki, Christian Schindelhauer, K...
JUCS
2006
97views more  JUCS 2006»
8 years 10 months ago
Plagiarism - A Survey
: 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...
Hermann A. Maurer, Frank Kappe, Bilal Zaka
JUCS
2006
116views more  JUCS 2006»
8 years 10 months ago
Extension of CQL over Dynamic Databases
: 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...
Antal Buza
JUCS
2006
108views more  JUCS 2006»
8 years 10 months ago
Development of Ambient Intelligence Applications using Components and Aspects
: 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...
Lidia Fuentes, Daniel Jiménez, Mónic...
JUCS
2006
78views more  JUCS 2006»
8 years 10 months ago
Design and Implementation of Enum-Based Services
Balázs Benyó, Miklós F. Hatw&...
JUCS
2006
89views more  JUCS 2006»
8 years 10 months ago
Type-safe Versioned Object Query Language
Rodrigo Machado, Alvaro Freitas Moreira, Renata de...
JUCS
2006
72views more  JUCS 2006»
8 years 10 months ago
Phasetransition-like Changes in Human Visual Information Processing
Péter Nagy, Istvan Pintér, Mih&aacut...
JUCS
2006
112views more  JUCS 2006»
8 years 10 months ago
Construction of Wavelets and Applications
: 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...
Ildikó László, Ferenc Schipp,...
books