simplEcard E-Card Tool

16.3.2007
I would like to announce simplEcard, a little script for electronic postcards I wrote. I wrote it because i wanted a simple system but one that is able to send HTML emails with the image embedded. Of course the email is multipart, so users without HTML mail also can read the message.

Please have a look at the simplEcard website

opensource php


Assessment of code quality through classification of unit tests in VeriNeC

10.8.2006

(Together with Dominik Jungo)

WINSYS 2006, Portugal August 7-10, 2006.


Abstract: The type or class of an object is not always sufficient to decide on its runtime behaviour. In many cases, the
context of the object is also important. Environmental acquisition is a concept to handle context in information
models.

We explore the use of environmental acquisition for the management of computer network configuration and
for network simulation. Physical location or subnet membership are part of the environment for a computer
in a network. For the simulation of networks, environmental acquisition will be especially useful to model
mobile devices moving from one area into an other.

The concept is illustrated using the network configuration management project Verinec.

Downloads

2006_WINSYS_DavidBuchmann_EnvAcq.pdf

verinec


CLiXML - Testing of semantic properties in XML documents

24.5.2006

(Co-Authored)

MSVVEIS 2006, Cyprus May 23-24, 2006


Abstract: XML is a markup language with a clear hierarchical structure. Validating an XML document against a schema document is an important part in the work flow incorporating XML documents. Most approaches use grammar based schema languages. Grammar based schemas are well suited for the syntax definition of an XML document, but come to their limits when semantic properties are to be defined. This paper presents a rule based, first order schema language, complementary to grammar based schema languages, demonstrating its strength in defining semantic properties for an XML document.

verinec


Unix Wars

20.4.2006


-------------------------------------------------------------------------------

 # # # # ### # # # # # ###### #####

 # # ## # # # # # # # # # # # # #

 # # # # # # # # # # # # # # # #

 # # # # # # # # # # # # ###### #####

 # # # # # # # # # # # ####### # # #

 # # # ## # # # # # # # # # # # #

  ##### # # ### # # ## ## # # # # #####



  (Version 1.1)


Read more

fun


Textverarbeitung mit Latex

31.1.2006

Latex ist das Textsatzsystem für umfangreichere Arbeiten. Im Gegensatz zu Microsoft Word trennt das System zwischen Texterstellung und Layout. Der Text wird in einem beliebigen Texteditor geschrieben, ohne sich zu diesem Zeitpunkt von Layout ablenken zu lassen.

Das Layout nimmt anschliessend der Latex converter vor. Abbildungen werden automatisch platziert, nicht immer direkt im Text aber dafür hat man nicht mehr die ganzen Layoutpannen wie mit Word. Mit pdflatex kann man auch sehr schüne PDF's inklusive anklickbaren Links erstellen.


Read more

make latex


Weshalb der Weihnachtsmann tot ist

6.12.2005
Folgender Text beweist mit Logik und einigen Berechnungen, dass es den Weihnachtsmann nicht geben kann. Sorry Kinder.


  1. Keine bekannte Spezies der Gattung Rentier kann fliegen. ABER es gibt 300.000 Spezies von lebenden Organismen, die noch klassifiziert werden müssen, und obwohl es sich dabei hauptsächlich um Insekten und Bakterien handelt, schliesst dies nicht mit letzter Sicherheit fliegende Rentiere aus, die nur der Weihnachtsmann bisher gesehen hat.
  2. Read more

fun


Quiz

22.10.2005
Eine Blondine nimmt an einem Intelligenzquiz im "Life TV Show " teil. Gewinnsumme: 1.000.000 EUR.

Der Moderator stellt ihr die folgenden Fragen:

1. Wie lange dauerte der Hundertjährige Krieg?
a. 116 Jahre
b. 99 Jahre
c. 100 Jahre
d. 150 Jahre

Die Blondine nutzt ihr Recht die Frage nicht zu beantworten.

2. In welchem Land wurde der "Panama Hut" erfunden?
a. Brasilien
b. Chile
c. Panama
d. Equador

Die Blondine bittet die Zuschauer um die Hilfe.

3. In welchem Monat feiern die Russen den Festtag der Oktober-Revolution?
a. Januar
b. September
c. Oktober
d. November

Read more

fun


Automated Configuration Distribution in Verinec

7.10.2005

ICETE 2005, Reading, UK October 3-7, 2005.


Abstract: We present in this paper a system to configure networks. The Verified Network Configuration (Verinec) project aims to manage the complete network from one central XML database. This approach allows to test whether the configuration is usable prior to modify the setup of the real network devices.



The distribution of the configuration is handled by the adaption module, a framework which can be extended to support all kinds of services and devices. Applying the configuration to each managed device within the network requires conversion from the Verinec XML database into a format suitable for that device and send the configuration to the device using a protocol supported by that device. In this paper, we focus on the adaption module.

Downloads

2005_ICETE_DavidBuchmann_verinec.pdf

verinec


Using local Copies of XML Schema Documents with JDOM / Xerces

26.7.2005

XML schemas are powerful but also rather complicated to use within Java.
Within my PhD Thesis, I used them a lot. One problem that can arise is that validating an XML document with a schema normally needs network access, as the schema locations are typically specified with URLs. I will show you here how to configure the SAX parser to use schemas stored in the jar instead.


Read more

xml java