10666 search results - page 1485 / 2134 » Quantum programming languages |
216
click to vote
VMCAI
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
202
click to vote
HAPTICS
2003
IEEE
16 years 14 days ago
2003
IEEE
As haptic technology becomes more developed, the potential applications for three-dimensional haptic content online become more and more numerous. However, the proliferation of su...
181
click to vote
SAC
2003
ACM
16 years 13 days ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
164
click to vote
SIGDOC
2003
ACM
16 years 13 days ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
184
click to vote
ADAEUROPE
2003
Springer
16 years 12 days ago
2003
Springer
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...