1746 search results - page 334 / 350 » A Constructive Semantics for ALC |
DOCENG
2006
ACM
14 years 3 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
MM
2006
ACM
14 years 3 months ago
2006
ACM
Automated annotation of digital pictures has been a highly challenging problem for computer scientists since the invention of computers. The capability of annotating pictures by c...
PLDI
2006
ACM
14 years 3 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
ICEIS
2005
IEEE
14 years 3 months ago
2005
IEEE
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...
PLDI
2005
ACM
14 years 3 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...