918 search results - page 164 / 184 » User Interface Aspects of a Translation Typing System |
ISW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
AAAIDEA
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes an infrastructure for the deployment and use of Web Services that are resilient to the failure of the nodes that host those services. The infrastructure prese...
BMCBI
2006
13 years 7 months ago
2006
Background: The relationship between disease susceptibility and genetic variation is complex, and many different types of data are relevant. We describe a web resource and databas...
UAIS
2008
13 years 7 months ago
2008
Abstract Research in the field of sign language recognition has made significant advances in recent years. The present achievements provide the basis for future applications with t...
IEEEMM
2002
13 years 7 months ago
2002
an abstract model for information sharing and integration and use it to develop an architecture for building open, component-based, interoperable systems. A geographic information ...