In ProM we use SlickerBox, a library providing a pretty neat skinning of Swing. Unfortunately, SlickerBox is very time-consuming and difficult to use if you go beyond the (very few) supported widgets. I wanted to set up a preferences pane for the new operational support service, and for shit and giggles decided to actually make […]
Operational Support vs. Predator
After a poll on Facebook and Twitter, the name of the new version of operational support was determined to appropriately be Operational Support vs. Predator — it may seem like we are just cashing in on two fan-bases, but, hey, if it sells! […]
Doing Some State-space Analysis…
The Joy of a Wired Network
Sometimes a wireless network is nice. Like when you take your laptop to the balcony to work in the sun or surfing on your iPad because brushing teeth is boring, but for actually moving around data, nothing beats a good wired network. I’m just rearranging some backups (as my Tame Capsule is filling up and […]
Slides from (Cancelled) Presentation at the BEST Workshop
I had a 5-minute presentation of what I do at the BEST workshop. Unfortunately, due to illness, I didn’t get to hold it, but here is the slides I’d have used: What do Britney Spears and True Happiness Have to do with Work-flow Enactment? […]
Read More… from Slides from (Cancelled) Presentation at the BEST Workshop
Slides from Advanced Course on Petri Nets
During the Advanced Course on Petri Nets in Rostock, I used these two small presentations: Routing and Dynamic Reconfiguration in Mobile Ad-hoc Networks Parallel State-space Generation […]