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

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.

Read more

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

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

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

Thema: WAS WILL DER KOLLEGE AUS BAYERN DAMIT SAGEN?

Des sog i da ....
DIESE SACHE MÖCHTE ICH BESONDERS BETONEN

Do wennst di ned glei schlaichst
MIT DIESER SACHE MÖCHTE ICH MICH IM MOMENT NICHT BEFASSEN

Kon scho sei
ES SPRICHT EINIGES DAFÜR, DASS...

So is a wieda ned ....
DER SACHVERHALT IST KOMPLIZIERTER, WIE ER SICH DARSTELLT

Schau mer moi....
DETAILLIERTE AUSSAGEN SIND IM MOMENT NICHT OPPORTUN

A bissi wos geht allerweil....
EINE KOMPROMISSLÖSUNG IST VORSTELLBAR

Do schiabt se heit nix mehr....
DIE ARBEITEN KÖNNEN HEUTE LEIDER NICHT MEHR FERTIG GESTELLT WERDEN

Jetzt wart' ma moi....
IM MOMENT SOLLTEN KEINE ENTSCHEIDUNGEN GETROFFEN WERDEN

Wennst moanst...
ICH AKZEPTIERE IHRE MEINUNG, WÜRDE ABER ....

Schmarrn.....
DA BIN ICH ANDERER MEINUNG

Read more

(Co-Authored)

MSVVEIS 2005, Miami, USA May 24, 2005.

Abstract: We present in this paper a unit testing framework for network configurations which verifies that the configuration meets prior defined requirements of the networks behavior. This framework increases the trust in the correctness, security and reliability of a networks configuration. Our testing framework is based on a behavioral simulation approach as it is used in hardware design.

Der letzte Schrei: Einsiedler

(Co-Authored)

ICICT 2004, Cairo, Egypt December 6-7, 2004.

Abstract: We report in this paper on a network simulator, which allows checking behavioural properties of a network prior to the real configuration of the network. Properties such as filtering strategies of firewalls, the correct functionality of DNS or DHCP servers, etc. can be tested using the simulator. In the presented approach, the entire network configuration and topology is represented as eXtensible Markup Language (XML) documents, which the simulator reads and operates on accordingly. After successful tests of the network using the simulator, the XML configuration description will be translated automatically into configuration files that are used to configure the concrete services present in the actual network. The translation will be performed using eXtensible Stylesheet Language Transformations (XSLT).

Auch wenn die Karriere Bush eigentlich zum heulen war, tut gelegentliches Lachen gut.