News
Portable Local WebServer with Apache, SQL, PHP and Applications for Windows
This is a cool Portable device…with a great range of support for portable devices locally and on the web….
follow the link.
Portable Local WebServer with Apache, SQL, PHP and Applications for Windows ยป Raymond.CC Blog:
amin.
Mental Slavery
The following link presents some philosophical jewels (novel approach) about study of mind and reality by professor shaz.
I hope you like it.
International MultiConference of Engineers and Computer Scientists 2008
AOA
Me Back SOME HOW!
The IMECS conference has the focus on the frontier topics in the theoretical and applied engineering and computer science subjects.
Calls for Manuscript Submissions & Important Dates:
Draft Manuscript submission deadline: 12 December, 2007
Camera-Ready Papers Due & Registration Deadline: 31 December 2007
IMECS 2008: 19-21 March, 2008
The IMECS 2008 is composed of the following 13 conferences (all will be held at the same location and date):
ICAIA’08 The 2008 IAENG International Conference on Artificial Intelligence and Applications
Hong Kong, 19-21 March, 2008
ICB’08 The 2008 IAENG International Conference on Bioinformatics
Hong Kong, 19-21 March, 2008
ICCA’08
The 2008 IAENG International Conference on Control and Automation
Hong Kong, 19-21 March, 2008
ICCS’08
The 2008 IAENG International Conference on Computer Science
Hong Kong, 19-21 March, 2008
ICCSA’08
The 2008 IAENG International Conference on Communication Systems and Applications
Hong Kong, 19-21 March, 2008
ICDMA’08
The 2008 IAENG International Conference on Data Mining and Applications
Hong Kong, 19-21 March, 2008
ICEE’08
The 2008 IAENG International Conference on Electrical Engineering
Hong Kong, 19-21 March, 2008
ICIE’08
The 2008 IAENG International Conference on Imaging Engineering
Hong Kong, 19-21 March, 2008
ICINDE’08
The 2008 IAENG International Conference on Industrial Engineering
Hong Kong, 19-21 March, 2008
ICICWS’08
The 2008 IAENG International Conference on Internet Computing and Web Services
Hong Kong, 19-21 March, 2008
ICOR’08
The 2008 IAENG International Conference on Operations Research
Hong Kong, 19-21 March, 2008
ICSC’08
The 2008 IAENG International Conference on Scientific Computing
Hong Kong, 19-21 March, 2008
ICSE’08
The 2008 IAENG International Conference on Software Engineering
Hong Kong, 19-21 March, 2008
International MultiConference of Engineers and Computer Scientists 2008
TC.
Install Windows Vista in a Mac OS X environment using VMware Fusion
It is indeed possible to run both Microsoft Windows and Mac OS X at the same time on a single personal computer. The key is VMware Fusion, a virtualization platform that allows you to run Windows in an OS X environment. This How do I… shows you how to install Windows Vista in an OS X environment. If you currently own an Intel Mac and want to run Windows alongside OS X, this tutorial is for you.
http://ct.techrepublic.com.com/clicks?t=39742567-a4acee59e60b2ede1d9ae2fca3986a14-bf&s=5&fs=0
amin.
Updates on Research and Other Status
A.A. once again every one!
After a long time, I have regained my ‘dil ka zore’. I’ve been through it before — many times. So, I’m pretty used to it by now. It’s always left me with a lot more knowledge than I would’ve gained without it.
Anyway, I think I have a job in City. I have an office at least. I have setup my FC6 and Isabelle (once again) and have started working on the Message formalization for security protocol verification.
Once again, I would like to invite all of you to start working to make this group better. I know we’re all very busy with what we do. But this group is a commitment and I’m sure you all appreciate that there aren’t many people in Peshawar who can work on research the way we are currently working. If we want to continue with our work (which is taking a pretty good shape, btw), we need to work together and not through some disconnected communication in email.
I’m especially expecting a lot from Mr. MM and Mr. T. You two are the leaders and being that you have to provide with the sacrifices. Iss dafa qurbani ka baqra aap loge khareedain gay aur group ki taraf se qurbani kerain gay.
As for my part. I’m just waiting for my internet connection and then I can start the voice chat with Mr. MM regarding Isabelle. Shaz has said more than once about Calculus but I’m not sure that was serious. Anyway, I’m ready for that too and Lisp is always easy — if someone needs it.
Now, I expect to see some comments here. Get writing! ![]()
TPM HACKS-Controversial Security Paper Nixed From Black Hat!
amin.
Meeting on Monday
AoA
everybody is hereby informed that we have a meeting with Mr. mm tomorrow at 10am to 11am at my office in ims junior campus inshallah. so noman and shaz and possibly amin should join us at the meeting…
Thanks.
Mr. TaT
Meeting Tomorrow at 10
A.A. everyone,
Meeting tomorrow at 10AM in IMS. I’ll pick Amin up from his home at 9. Mr. T will be there in IMS at 10. Mr. MM: We can talk about our stuff after the meeting. That will solve the whole problem of internet too inshallah.
Abstract Submitted
Dear everyone,
I have made the submission of the abstract again to ICET 2007. I have received a confirmation this time. Everyone who submits the abstract and receives the confirmation, kindly post a comment here so that we can keep track of the submissions.
p.s. Shaz: I have made the submission of the folksonomy paper 2 as well. We’ll see how it goes.
20th International CSEE&T - (in progress)
New post: http://recluze.wordpress.com/2007/07/03/20th-international-cseet-in-progress/
And Mr. T and Mr. MM: Take special note of the CMU stuff I’ve posted. I’ll talk more about this later.
Search
Recent Comments
- Khushal Khan on Dynamic Behavioral Attestation for Mobile Platforms
- Dynamic Behavioral Attestation for Mobile Platforms - Project « recluze on DBAMP
- shazkhan on Backing up OpenMoko FR before bricking it and getting your custom kernel and rootfs onto it …
- shazkhan on Getting Java on Openmoko
- shazkhan on A Standardized .bib File
Archives
- November 2008 (6)
- October 2008 (4)
- September 2008 (2)
- August 2008 (4)
- July 2008 (1)
- June 2008 (5)
- January 2008 (5)
- December 2007 (5)
- November 2007 (5)
- October 2007 (3)
- September 2007 (6)
- August 2007 (14)
- July 2007 (25)
- June 2007 (24)
- May 2007 (33)
- April 2007 (70)
Categories
- Achievements (7)
- Announcements (16)
- Blogroll (1)
- Conferences (11)
- Formal Methods (8)
- Ideas (11)
- Isabelle (6)
- Linux (18)
- News (28)
- Publications (1)
- Resources (30)
- SELinux (10)
- Trusted Computing (11)
- Uncategorized (104)