11022 search results - page 65 / 2205 » Programming Systems for Autonomy |
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...
128
Voted
ARCS
2005
Springer
15 years 8 months ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
123
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
ALPUK
1990
15 years 3 months ago
1990
117
click to vote
CAIP
1999
Springer
15 years 6 months ago
1999
Springer
Two tourist guides are described. One supports a virtual tour through an archaeological site, the other a tour through a real exhibition. The first system is based on the 3D recon...