Am Dienstag den 09. Mai von 18:00-20:00 Uhr werde ich im Rahmen der Veranstaltungsreihe Maybach-Seminar, der DHBW Ravensburg und dem IWT Institut für Weiterbildung, Wissens- und Technologietransfer, einen Vortrag zum Thema “Wenn die Software fährt – Kann man der Software im Auto sein Leben anvertrauen?” halten.
After many months of implementation and testing we finally released the DiPro tool for probabilistic counterexample generation tool. I will give a talk on DiPro’s features on the SPIN 2011 Workshop (July 14-15), co-located with CAV 2011 in Snowbird Utah. What is DiPro? Current stochastic model checkers do not make counterexamples for property violations readily …
DiPro – Directed Probabilistic Counterexample Generation Tool Released Read More »
16.12.2010 Kurzes Update: Twonky kann man mittlerweile in der Version 6.0.30 auch für die MyBookWorld Festplatte herunterladen, damit funktioniert nun auch MKV Streaming problemlos. Installationsanleitung folgt. Ein sehr schönes Feature der neuen Samsung TVs ist, dass sie alle möglichen Audio-, Video- und Bild-Dateien streamen können. Hierzu muss man den Fernseher per WLAN oder Kabel mit …
On my Windows computers I use Notepad++ for editing text files like html, css, php and other script files. Now, that I’m using a MacBook Pro as work computer, I searched for an equivalent text editor. The features I need are: Freeware Syntax Highlighting Comparing Files Good Search / Replace capabilities After I tested a …
Yesterday I received my new quad core PC and I want to present a list of software tools that I don’t want to miss: Synergy: Enables you to share the keyboard and mouse with another PC via LAN. Notepad++: Great editor. ExpandDrive: Mount any folder that is accessibly via SSH as an network drive. Filezilla: …
Mit Lizenzen ist es wohl wie mit jedem anderen Rechtsdokument, wer sie verstehen will muss ganz genau lesen… Für diejenigen die nur einen kurzen Überblick haben wollen, empfehle ich diese Seite http://www.codeproject.com/info/Licenses.aspx
Was soll uns %41%43%45%20%54%65%61%6d wohl sagen? “Übersetzt” bedeutet es ACE Team oder genauer (Microsoft) Application Consulting & Engineering Team. Was kann man sich darunter vorstellen? Dieses Team besteht hauptsächlich aus IT-Security Spezialisten (= Hackern) die Sicherheitslücken aufdecken und helfen diese zu vermeiden. Der jüngste Post widmet sich Sicherheitslücken in Web-Applikationen. First Line of Defense for …
Wer häufig an mehreren Rechnern arbeiten kennt das folgende Problem sicher: Man weiß das man einen Link in seinen Favoriten hat und braucht diesen genau jetzt, sitzt aber am falschen Rechner. Hier mit ist jetzt Schluss! Mit der Firefox Erweiterung Google Browser Sync kann man seine Favoriten auf allen Rechnern synchronisieren und als kleiner Bonus hat …
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 …
Bei meinem letzten Post ist mir aufgefallen, das der Windows Live Writer Version 1.0 Beta Deutsch, noch Probleme mit deutschen Umlauten hat. Dies liegt daran, das der Live Writer die Umlaute nicht HTML-Escape Tags umbaut. Sprich ein ä bleibt auch im HTML Code ein ä und wird nicht zu ä. Deswegen wird der Post dann …
Windows Live Writer 1.0 hat Probleme mit Umlauten Read More »
