918 search results - page 52 / 184 » e-Procurement Using Goal Programming |
SIGCSE
1990
ACM
14 years 21 days ago
1990
ACM
This paper presents a philosophy underlying CS-1 programming projects, and illustrates this philosophy with a concrete example. Integral to the philosophy is the use of Ada packag...
HPCN
2000
Springer
14 years 8 days ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
ROBOCUP
2007
Springer
14 years 2 months ago
2007
Springer
Aiming to reduce cycle time and improving the accuracy on tracking, a modified adaptive control was developed, which adapts autonomously to changing dynamic parameters. The platfor...
FASE
2006
Springer
14 years 10 days ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
IASTEDSEA
2004
13 years 10 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...