1257 search results - page 91 / 252 » Layering a Minimal Interface |
RIAO
2000
13 years 9 months ago
2000
This article deals with telemedicine and in particular with telesonography. Telesonography is real-time video collaboration for remote ultrasound examinations. We present here an ...
JANCL
2006
13 years 8 months ago
2006
This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...
ENTCS
2007
13 years 8 months ago
2007
Software coordination and adaptation is intimately related to software (modular) pieces and access points. These pieces (components or services) may be complex, dissimilar (various...
ENTCS
2002
13 years 7 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
Xax is a browser plugin model that enables developers to leverage existing tools, libraries, and entire programs to deliver feature-rich applications on the web. Xax employs a nov...