Water Pump Project (high Integrity Software)

WATER PUMP PROJECT (High Integrity Systems)

Project Description
This project concerns the use of the SPARK (Ada-like) language and tools for annotating existing code and using the automated analysis tools.

The scenario for this project is a water tank which is collecting rainwater. The tank has a pump attached to it, which is to be used to take water from the tank when it is approaching full. The pump will fail if there is no water to pump, so it must be closed when the water level is approaching empty.

The control system is arranged into a number of packages. The Ada code for these packages is provided. The aim of the project is first to write a short summary of the role of each package, and then to add SPARK annotations to the code.

You can find detailed information in the attached files.

Tools
You can download free versions of the tools for implementing the project from the following web site: http://libre.adacore.com/libre/download2

Deadline
January 10th, 2011

Important Notes
All candidate workers are requested to answer the following questions when bidding:
1. How familiar are you with SPARK and/or GPS?
2. How familiar are you with Ada?
3. How many days will you need in order to provide the deliverables?

Seo And Code Cleanup Required

Search Engine Optimize and clean code 30 pages of PHP code.

You will be provided:

– The 30 existing web pages that you will search engine optimize and clean code.
– The keywords to optimize for along with the keyword analysis.

Your final review and bonus will be based on how well you completed the SEO and how well you were able to eliminate the coding errors on the page using http://validator.w3.org/

Immediate: Project Requirement Specification Guide

Write me a 10 Site Project requirement spesification for this project
http://www.scriptlance.com/projects/1293452660.shtml

you need to be so exact as possible and should draw some graphics of view. min. 1500 words, plus graphics (user layout, loader,….) from the above listed short project description

this is very Urgent

Copy An Exact Flash Site With Adding One Section

Dears,

I need am exact site like this one => http://www.emadbazzi.com.jo/
But I need it fullsite dynamic with a CMS and i need it ASAP.

there is two more things there is a section missing from this site and there is some small modifications and from scratch i may provide some files but i need it from scartch.

I well consider the fastest.

Mav Kolak

Edit Pdf File

I have some proof-reading edits that I need made to a PDF file. The PDF file and the edits in Microsoft Word are attached.

The project is to make the corrections that are in the Microsoft Word file to the document that is in Adobe Acrobat.

I will need to files: 1) the entire PDF file with the corrections
2) The first 11 pages of the corrected PDF file (up through and including the Market Opportunity chapter)

Safe Driving Program

I’m in need of a programmer to build the shell for a online driving program. The program should consist of HTML, JQuery and any other language that is compatible across browsers. As this is the foundation of the overall program, the code must be built with expansion in mind. Below you will find designs of the program. I’ll outline fuctionality that will be needed.

Eos Photo:

*A slideshow with the ability to time each picture separately (i.e. one photo may need to be on the screen for 5 seconds, while the next may need to be up for 30 seconds)
*Audio narration that plays in tandum with the image slideshow.
*A pause button that effects both the narration and slideshow.
*Previous/Next buttons that will move between screens, with hotkeys on the user’s keyboard.

Eos Video:

*A video player
*Audio narration; most audio narration associated with this page should come before the user can actually play the video
*Pause button
*Previous/Next buttons that will move between screens, with hotkeys on the user’s keyboard.

Eos Quiz:

*The user will be advanced in the program to a “correct answer” screen or sent back to the beginning of the module if they choose the wrong answer.

Affiliate Network Planner

Affiliate Network Strategic Planner
Hi,
We want to create a network of affiliates to sell our software. See babycarrot.sg
We need someone with relevant experience.
We will create affiliate marketing plans for each countries in Asia.
Please indicate which market you can create strategic plan for?
We prefer plans with deep local market knowledge and execution.
Please indicate if you can help us execute the plan or you can execute a plan at any of the local market.

Please also advise what kind of:
1. Product feature
2. Website design
3. Brochure design
4. Web site functionality
We need to create ?

Also look at
5. How to find and attract affiliates
6. How to compensate them.
7. How to train them.
8. How to motivate them and achieve high salesl

We will also look at using social network and search engine.
We will need shortlisted bidders to sign a NDA. See babycarrot.sg/nda/

Thanks
Dennis

Css Dropdown Style

Hello,

I currently have a site which is about to be launched http://goo.gl/53SCG but I have problem with the drop-down menu (you can see 2 of them).
THis is the style I want : http://goo.gl/ph4HF

THis men you should use special CSS in dropdown.
You should make sure it is crossbrowser compatible (IE7 / FF3 / Chrome / Safari)

Thx.

G

Need A Skin Made For Jw Player

I need a skin made for JW player. It needs to be transparent with some basic features. Play pause and volume and timeline. Maybe logo

i have added a example of a footer player in the link below. this is what we need virtually

Here is a example http://listen.grooveshark.com

I am using it for audio only

only bids which have demo examples of previous work will be choosen.

Optimize Dns Query On Bind9 Cpanel

Hello,

I have problem on my DNS server, i’m using BIND9 under cPanel system.
The OS is CentOS 5.5 64bit, the version of BIND is 9.3.6-P1-RedHat-9.3.6-4.P1.el5_5.3

In /var/log/messages there are a flood messages like:

Jan 3 14:41:12 ethel named[29879]: client 127.0.0.1#52309: view localhost_resolver: query (cache) ‘29.54.95.212.in-addr.arpa/PTR/IN’ denied
Jan 3 14:41:12 ethel named[29879]: client 127.0.0.1#52462: view localhost_resolver: query (cache) ‘29.54.95.212.in-addr.arpa/PTR/IN’ denied
Jan 3 14:41:12 ethel named[29879]: client 127.0.0.1#48055: view localhost_resolver: query (cache) ‘29.54.95.212.in-addr.arpa/PTR/IN’ denied
Jan 3 14:41:12 ethel named[29879]: client 127.0.0.1#41356: view localhost_resolver: query (cache) ‘29.54.95.212.in-addr.arpa/PTR/IN’ denied
Jan 3 14:41:12 ethel named[29879]: client 127.0.0.1#52473: view localhost_resolver: query (cache) ‘29.54.95.212.in-addr.arpa/PTR/IN’ denied

With much IP and hostname.

When i go to resolve a domain i wait about 10 seconds before process the request http.

The problem can be “DNS Server Recursive Query Cache Poisoning Weakness”.

Please, help me to fix this problem now.