10890 search results - page 1746 / 2178 » Automatic Complexity Analysis |
172
click to vote
IUI
2004
ACM
16 years 6 days ago
2004
ACM
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
274
click to vote
IWAN
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...
207
click to vote
SEMWEB
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The increasing awareness of the benefits of ontologies for information processing has lead to the creation of a number of large ontologies about real world domains. The ...
190
click to vote
VMCAI
2004
Springer
16 years 3 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
178
click to vote
HOTOS
2003
IEEE
16 years 1 days ago
2003
IEEE
Distributed writable storage systems typically provide NFS-like semantics and unbounded persistence for files. We claim that for planetary-scale distributed services such facilit...