Software

DiPro – Directed Probabilistic Counterexample Generation Tool Released

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 »

Streaming Server für Samsung TVs

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 …

Streaming Server für Samsung TVs Read More »

%41%43%45%20%54%65%61%6d

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 …

%41%43%45%20%54%65%61%6d Read More »

Ajax Windows

Mittlerweile gibt es wohl keine PC-Applikation mehr, die nicht in AJAX nachgebaut wurde. Egal ob Textverarbeitung, E-Mail, Präsentations-Programme oder Multimedia-Anwendungen von fast jeder Anwendung gibt es auch eine AJAX Version/Kopie. Ganz neu ist nun eine ?Windows-Nachbildung?, die sich AjaxWindows nennt.