Archive for April, 2007

Update on Z

A.A. everyone (whoever’s left here)

I’ve almost finished the specification part of the OSL. (That’s chapter 2 in the DoCoMo document.) I’ve also created a complete (albeit simple) specification in Z and type checked it using ZETA. I’ll be uploading that pretty soon inshallah. I feel pretty comfortable with Z.

I would like it very much if Mr. MM can update me on roughly what portion of the Usage Control he’s working on. I know it has something to do with his SECTET and the higher level abstraction but I’m not sure. If it’s not suitable to be put in public writing, a mail would also do.

Secondly, I would like to know what I’m expected to contribute in this area? I have a few ideas but most of them are half-baked as of now.

Monday, April 30th, 2007 Formal Methods 1 Comment

A trip to village

I am leaving for my village tomorow. LXR is at the moment stuck at cgi and apache problem. Apache picks up lxr stuff but does not process the cgi scripts rather prints it as html!

I’ll see to it after I come back on wednessday. I am also planning to start working on my thesis. I cannot take more pressure because I have to start earning. Our family ppl do not understand and do not want to understand what I want to and I think they are right.

And who says that research can’t be done with jobs. They rather get a bit slow. Not good for a competitve environment but hey I’ve got Allah on my side. But who said we’ll be doing research only and no jobs!

Any good ideas where I should apply? I would prefer Peshawar university. Have good links as well but how do I apply and what for? Plz help needed!

Sunday, April 29th, 2007 News No Comments

Gift Pack 4 Tamleek Sb wedding: Contributions Needed

Hi everyone,

Modern age has its own implications, benefits, and effects. We can shelter, but not 100% from these unwanted intrusions in our life. Regarding the gift pack for Tamleek’s sb wedding, i am thinking on a new pattern of Modern age. This would mean that instead of following the traditional patterns like “Methai pack”, “A suite” or any other wearing-eating thing, may be we can follow the modern age. Correspondingly, we may as a group think to give e.g. the implementation of “Shibboleth Protocol” as a gift to Tamleek sb, — believe me,  it is ever lasting dont you think so. May be Shahbaz can think on some thing like LXR version of Shibboleth Protocol source code, or Nauman can think on some thing like the software specification and verfication of shibbloeth procotocol exclusively for Tamleek sb wedding.

Amin may give a very different kind of gift? An example could be e.g. “links” to some useful sites “only” regarding the information of Shibboleth Protocol.

Group members comments please.

Best,
MA

Sunday, April 29th, 2007 Uncategorized 2 Comments

For Web Developers…

Check this out:

http://code.google.com/webtoolkit/

Friday, April 27th, 2007 Uncategorized No Comments

My Blogg is working!

Its fresh and decent. Check it out?

Can anyone tell me how I can submit same posts to both the blogs mine and this one with one go? Hmm.

Friday, April 27th, 2007 Ideas, News 2 Comments

Lectures

What about this..

http://freevideolectures.com/

Best,
MA

Friday, April 27th, 2007 Uncategorized 1 Comment

ZETA Presentation Uploaded

Please take a look:
http://recluze.wordpress.com/2007/04/27/zeta-presentation/

Friday, April 27th, 2007 Formal Methods 3 Comments

LXR

Well thanks to you guys for ur prayers I just bought a 512 MB ram chip and installed my linux macine. Learnt how to handle yum local repositories and working on LXR. Trouble shooting is slow becoz have to switch from one OS to another for internet access. It seems that these silly problems will never leave me. They might be a source of reducing my burden of the hereafter and might also be able to save me from hell.

The speed of FC6 on my machine is now really cool. I feel like working!

Thursday, April 26th, 2007 Linux 4 Comments

Linux Partition Problem

A.A. everyone,

I have a question for you Linux gurus here. I have my / mounted on /dev/hda9. Now, I’ve run out of disk space on it. I already have a lot of data on /usr which I don’t want to lose. I can free up a partition from Windows and turn it into ext2. The question is, how do I move the current /usr data to the new free partition and mount that as /usr. Any solution would do as long as I don’t have to re-install linux from scratch.

Any ideas?

Wednesday, April 25th, 2007 Linux No Comments

Z continued…

Thanks sir (Mr. T),

The book shouldn’t require a whole rim. It should take 205 pages only as we need to print on both sides. Binding isn’t a problem. Secondly, I’ve downloaded the file Mr. MM’s talked about. I’ll get that one printed myself. We should work on that. I’ll start working on the HOLZ presentation ASAP.

So, when will you be free so that I can come to IMS for that RAM and for this stuff?

Tuesday, April 24th, 2007 News No Comments