Überprüfung auf Korrektheit: Wie eine Problemstellung aus der theoretischen Informatik die Welt verändern kann

Hi… ich habe vor Jahren in einem Projekt mitgearbeitet bei dem es um eine Überprüfung der Funktion von Software ging. In meinem Falle ging es um die Genehmigung Kernkraftwerke steuern zu dürfen. Klingt erstmal dramatisch, ist aber technisch nicht so kompliziert wie zum Beispiel ein Flugzeug. Wenn die Steuerung bei dieser Art von Kernkraftwerk versagt,…

0

Small Basic… how cool is this…

Hi… I observed this tool quite some time now and it convinces me more every day. First download it and try it yourself: http://msdn.microsoft.com/en-us/devlabs/cc950524.aspx What you will find is an easy to use development environment with some very compelling features. Here is my favourite: Intellisense That is the way it looks. It works like a…

1

MS Research

Hi… if you are interested in research in the field of software there is a must see: https://channel9.msdn.com/pdc2008/KYN04/ It is Rick Rashid’s keynote at the PDC… Wuha, did I mention that I dream of working in MSR?? CU 0xff

1

Microsoft in Germany – the EMIC

Hi…   since 2003 we have a research and development facility in Aachen here in Germany. It is called EMIC and Lori just visited those guys to get a glimpse of what they do. You can find the videos on Channel9 in Lori’s section: https://channel9.msdn.com/Niners/Lori/ It is interesting to see in which fields they do…

1

Slides of Hasso-Plattner-Institute Talk

Hi…   I just did a talk of Server computing (as a replacement of my manager) and you can find the slides here: www.cu-0xff.de/downloads/Hpi_public.pptx The slides are a mixture of German and English… CU 0xff

0

Everybody can be Part of the Media Selling Industry

Hi… this paper might contain some explosives: ftp://ftp.research.microsoft.com/pub/tr/TR-2007-167.pdf The basic idea is “The platform aims to enable selling digital content by any-one, anywhere, and anytime”… ??? The system works by having two trusted devices (players) which can exchange media content offline. The payment towards the copyright owner is then done afterwards (as soon as the…

1

Beyond Search – Sematic Computing…

Hi… Microsoft Research and Microsoft adCenter recently announced the 20 winners in an Award called “Beyond Search – Semantic Computing and Internet Economics Awards”. The award had rewards around a million US$. (not that bad). http://research.microsoft.com/ur/us/fundingopps/RFPs/beyondSearchAwards.aspx OK, since adCenter played a role in here the bias on advertising on the web is understandable (and ok…

2

Transistors switching light…

Hi… researchers made a “transistor” able to use a single photon (input) to amplify a stream of light (output). This sounds like nothing special first but it could open the door for faster and less power consuming computers. http://spectrum.ieee.org/aug07/5497 CU 0xff

1

Pass a Turing Test and Find a Friend for Live

Hi… we all know services (like Hotmail for example) which require to identify the person behind the client to be a human being. I would call it a Turing test, others call it a CAPTCHA (Complete Automated Public Turing test to tell Computers and Humans Apart). We all know those quirky collections of disordered characters…

1

What do you need for an SMS server??

Hi… SMS (or Short Message Service, not the System Management Server, sorry) is very popular. I heard that some youngster are able to type SMS in the pocket of their trousers while talking to somebody else on another topic (must be females because of reasons we all know regarding Multi-Processing). If you want to send…

1