Search results
"tag:"work""
| Title and summary | Date/time | |
|---|---|---|
|
1
|
Research vacancy at UNU-IIST on "EAE — Engineering Accountable Ensembles"
Read the full notice. |
10-May-2010 11:29:00 |
|
2
|
Turing Machine
I have to say I appreciate the pointless detailed description of its features. But I'd expected a serial console after the point where he explains how to load a program. (This just in via Einar. Waaaa, I've become a YouTube-MLPer.) |
30-Mar-2010 10:40:00 |
|
3
|
Dissing Subversion
Strong-worded opinion from Joel Spolsky on Subversion: If you are using Subversion, stop it. Just stop. Subversion = Leeches. Mercurial and Git = Antibiotics. We have better technology now. Read Distributed Version Control is here to stay, baby. ... |
19-Mar-2010 09:54:00 |
|
4
|
Making the news
The University of Oslo gave everyone who arrived in like the last quarter a big welcome and survival guides. I guess if you wouldn't get into a group where half of the people are ex-colleagues anyway, it indeed could be a bit frustrating up here. ... |
19-Mar-2010 08:17:00 |
|
5
|
Can't get no sleep
Note to self: next time be more specific if airport pickup is at 4:30 AM or PM. *yawn* |
25-Feb-2010 11:36:00 |
|
6
|
Pop Quizz: Programming Language Semantics and Software Engineering
If you're doing OO software development, then chances are high that you recently refactored something like... class M { A a; g() { ... this.a.m(); this.a.n(); ... } ...into... class M { class A { A a; g() { ... |
23-Jan-2010 10:36:00 |
|
7
|
rCOS Modeler Release v1.2.4
New features in the rCOS Requirements Modeler v1.2.4 (22. January 2010): Initial implementation of composable model transformations as outlined in the new publication An integrated Multi-View Model Evolution Framework (J. Innovations in Systems and ... |
23-Jan-2010 09:08:00 |
|
8
|
The grass is always greener on the other side.
So, here I am, finally returning to Europe. I hope it was the right decision. Things I won't be getting now are practicing my Mandarin with native speakers, or good weather and beaches for most part of the year. I've also not taken the opportunity to get ... |
22-Jan-2010 01:15:00 |
|
9
|
An integrated Multi-View Model Evolution Framework
Abstract: A Unified Modeling Language model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, transformations help the developer to proceed ... |
20-Jan-2010 03:46:00 |
|
10
|
Horses on the road in Pune, India
Horses on the road These guys were galloping down the road among the traffic in Pune, India. I didn't even notice that there were two, until reviewing the pictures just now. All in all TECS Week at Tata was fun, I met a lot of motivated students ... |
11-Jan-2010 02:52:50 |
|
11
|
Seeing Manu Chao, or getting killed trying?
Manu Chao and band in Rio! On the night of the ICFEM'09 conference dinner, and more surprisingly, right around the corner---of both the dinner and my hotel (sometimes you have to win). It's not sold out (surprise?), but I guess I'll wait until I get to ... |
03-Dec-2009 15:01:00 |
|
12
|
Short trip to Beijing
After ATVA'09, I'll be off to Beijing for a few nights again to the Verified Software Workshop. After that there's a small stint to meet Dr. Zhenbang and his colleagues in Changsha. |
11-Oct-2009 17:36:00 |
|
13
|
Vacancies at UNU-IIST
Apart from two computer science post-doc positions in the Applied Runtime Verification (ARV) project at our institute (in conjunction with the rCOS group, there are also two full-time positions for Research Fellows in e-Governance. |
15-Sep-2009 06:32:00 |
|
14
|
Pop Quizz: java.lang.StringBuffer
True or false? "".equals(... |
11-Sep-2009 13:46:00 |
|
15
|
9 MB of nothingness
Recently, while updating Eclipse...that's a load of not much, I say! |
23-Feb-2009 03:30:38 |
|
16
|
Private keys in Java's keytool
I was just preparing a new release of our fabulous rCOS modeler when I thought I might annoy people a bit more by signing the JARs. Silly me, expecting that a keytool manages keys. Okay, granted, it's not called keyimporter, but then....So today's ... |
20-Feb-2009 10:44:00 |
|
17
|
Split personality
Discovered recently as I was cleaning my bibliography files. |
18-Feb-2009 05:56:00 |
|
18
|
IPv6 day
Our Apple Time Capsule can be setup as an IPv6 router at the end of a tunnel. So I decided to scrap my OpenVPN solution to IPv6 connectivity in the office (just for my Mac) and set it up properly so that any host in the network behind the Time Capsule ... |
13-Jan-2009 11:16:00 |
|
19
|
Assistant system admin
Apart from teaching Java, I'm also brushing up my admin creds here at AUST, giving the IT guys a helping hand with some teething problems: tracking down a notorious problem with Ubuntu when you have your own partition for /var firewall config, they use ... |
16-Jul-2008 11:14:00 |
|
20
|
Newsflash: Java unsuitable for beginners!
I've been teaching an introductory course here at the African University of Science and Technology in Abuja, Nigeria, for two weeks now. My 16 students hold BSc in CompSci and Math from universities all over Africa, but there's only one in the class that ... |
12-Jul-2008 13:35:16 |