856 search results - page 134 / 172 » Dependent Types in Practical Programming |
ICSE
2005
IEEE-ACM
14 years 2 months ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
FC
2000
Springer
14 years 10 days ago
2000
Springer
For the two last decades, people have tried to provide practical electronic cash schemes, with more or less success. Indeed, the most secure ones generally suffer from inefficiency...
APGV
2008
ACM
13 years 10 months ago
2008
ACM
Most head-mounted displays (HMDs) suffer from substantial optical distortion, and vendor-supplied specifications for field-of-view often are at variance with reality. Such display...
SCAI
2008
13 years 10 months ago
2008
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
IMAGING
2004
13 years 10 months ago
2004
This research integrates the techniques used for the display of high dynamic range pictorial imagery for the practical visualization of non-pictorial (scientific) imagery such as ...