4454 search results - page 548 / 891 » Designing components for e-services |
174
Voted
FM
1999
Springer
15 years 11 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
211
click to vote
ISER
1999
Springer
15 years 11 months ago
1999
Springer
: Robotic planetary exploration is a major component of the United States’ NASA space science program. The focus of our research is to develop rover planning and control algorith...
220
click to vote
JAVA
1999
Springer
15 years 11 months ago
1999
Springer
Exploiting our experience developing the WebFlow system, we designed the Gateway system to provide seamless and secure access to computational resources at ASC MSRC. The Gateway f...
162
Voted
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
ct This paper willpresent the resultsof a comparative study of a set of vision-based control strategies that have been applied to the problem of steering an autonomous vehicle alon...
200
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
Hyper-programming is a technology only available in persistent systems, since hyper-program source code contains both text and links to persistent objects. A hyper-programming sys...