1573 search results - page 150 / 315 » Picture Programming Project |
121
click to vote
SBMF
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
121
click to vote
ADAEUROPE
2007
Springer
15 years 9 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
SIGADA
1998
Springer
15 years 7 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
128
click to vote
NETWORKING
2004
15 years 4 months ago
2004
We consider a system with multiple interconnected video servers storing TV programs that are received through satellite antennas. Users, equipped with set-top boxes, submit request...
123
click to vote
WSC
2004
15 years 4 months ago
2004
This paper describes a proposed pilot educational program to teach middle and high school students the space shuttle processing operations. This pilot program involves a partnersh...