9455 search results - page 1797 / 1891 » The Modelling Language Zinc |
128
click to vote
TCS
2008
15 years 1 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
119
click to vote
TCS
2008
15 years 1 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
100
click to vote
TOG
2008
15 years 1 months ago
2008
A lot of research has recently focused on the problem of capturing the geometry and motion of garments. Such work usually relies on special markers printed on the fabric to establ...
132
click to vote
JODL
2007
2007
Building rich, semantic descriptions of learning activities to facilitate reuse in digital libraries
15 years 1 months ago
Abstract This paper describes efforts to extend educational descriptions of learning objects to enable semantic search for suitable resources held within digital libraries and cybe...
116
click to vote
JOT
2007
15 years 1 months ago
2007
We describe a prototype of a diffraction range finding camera implemented in, and simulated by, Java. This sensor is able to digitize objects in 3D using only a single video camer...