Bachelor Thesis available online
My bachelor thesis “Evaluation of the Matlab Simulink Design verifier vs. the model checker SPIN” is now available online at http://www.ub.uni-konstanz.de/kops/volltexte/2008/6125/
My bachelor thesis “Evaluation of the Matlab Simulink Design verifier vs. the model checker SPIN” is now available online at http://www.ub.uni-konstanz.de/kops/volltexte/2008/6125/
Das kommt davon, wenn man zu viele Sachen auf einmal macht. Gerade ebene habe ich die MySQL Datenbank in der die Daten dieses Blogs sind gelöscht. (Eigentlich wollte ich die Datenbank direkt darunter löschen). Damit habe ich das Blog nun wieder in den Stand vor Weihnachten 2007 versetzt den da habe ich das letzte Backup …
Da ich seit ein paar Monaten mein neues Handy inklusive neuem T-Mobile Vertrag mit T-Mobile interner- + Festnetz-Flatrate habe, stellt sich mir nun häufig die Frage ob ich mich kurz fassen muss oder ob mein Gesprächspartner auch bei T-Mobile ist. Eine elegantere Art dies zu klären, ist über die Services der Mobilfunkbetreiber. T-Mobile Kurzwahl: 4387 …
PartyMe.de macht dieses Jahr wieder eine Weihnachtsaktion für die Kinder des Pestalozzi Kinder- und Jugenddorf Wahlwies. Die Kinder durften Wunschzettel malen, welche PartyMe.de auf Ihrer Seite veröffentlicht. Nun können Besucher von PartyMe.de die Wünsche erfüllen. Bei den Wünschen handelt es sich hauptsächlich um Kleinigkeiten, die den Kindern aber bestimmt große Freude machen. Hier kann man …
Lange habe ich auf diese Nachricht gewartet. Google wird in den nächsten Tagen das GMail Angebot um einen IMAP Zugang erweitern. Ich hoffe nun, das IMAP dann auch bald in Google Aps kommt, um nicht immer wieder E-Mail doppelt und dreifach als gelesen zu markieren oder löschen zu müssen
Mein Vodafone VPA compact hängt sich nun nach einem Reset immer beim Abstimmen der Kontakte auf. Und zwar immer bei 33%. Das Telefon lässt sich zwar normal benutzen, jedoch verdeckt der Statusbalken den Startbildschirm.
Mit der Installation von Windows Vista vor über 8 Monaten, wurde die “Lebensdauer” meines Notebooks Akkus in etwa halbiert. das lag vor allem daran, dass ich auch im Akku betrieb, Aero aktiviert hatte, weil ich nicht immer wenn ich das Notebook vom Netz genommen habe umschalten wollte. Eine Lösung für dieses Problem ist der Vista …
Die Entscheidung ist gefallen. Bisher hatte ich eine Abneigung gegenüber T-Mobile bzw. gegenüber der ganzen Telekom AG. Ich muss jedoch sagen, dass diese deutlich am Kundenservice gearbeitet haben. Eigentlich wollte ich zuerst nach auslaufen meines Vodafone-Vetrage zu O2 wechseln. Da O2 aber das T-Mobile Roaming einstellt ist dies keine Option mehr. Nach längerem hin und …
Man sitzt gemütlich beim Essen, plötzlich klingelt das Telefon und wieder einmal versucht ein freundlicher Mitarbeiter eines Call-Centers irgendwelche Produkte zu verkaufen. Wer kennt das nicht? Hier mal ein humorvoller Ansatz dem Ganzen zu begegnen.