Formal tools for web services security

Feeling nostalgic about Pi calculus, theorem proving and all those nice things you were used to play with back at your university time? Jorgen Thelin gives you the chance to brush up your formal reasoning skills in association with web service security topic, by introducing project Samoa from MS Research: http://www.thearchitect.co.uk/weblog/archives/2003/11/000258.html That page is…

Make your electric gizmo interoperate with a foreign power source

The following is not exactly highly academic EAI design pattern discussion, be warned. Don’t read if you value your time 😉 Another thought from everyday life. Ever had to deal with power plug interoperability? Well I had, especially when going to UK and US (I’ll not even mention Poland: they have an exotic…

WS-Luggage

WS-Luggage

  [UPDATE: the old scan image of the luggage strip got lost. The image on the left is another strip, which makes the same point.. it is a flight from Singapore to Seattle, via Tokyo. I won;t change the text below, ’cause it was specific to PDC2003… but substitute LA with Singapore, Atlanta with Tokyo, Milan…

Meeting at PDC – 29/10

Here there is the gotha of weblogs.asp.net 🙂 Somebody tried to contact me around, but not knowing my visual appearance doesn’t actually help… So: if you want to talk to mer for whatever reason (mainly WS-SOA discussions, i guess :-), but chatting is OK as well), you’re welcome to do so. I have long…