In the ļ¬eld of business document standardization a multitude of different standardization efforts exist. Unfortunately, most of the developed standards are designed for a speciļ...
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
Abstract. Ada has proved to be one of the best languages to learn computer programming. Nevertheless, learning to program is diļ¬cult and when it is combined with lack of motivati...
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deļ...
Mobile devices such as the iPhone provide state of the art interaction capabilities also for web browser applications. Our mobile development is targeted to a Energy Awareness app...