1746 search results - page 334 / 350 » A Constructive Semantics for ALC |
124
Voted
DOCENG
2006
ACM
15 years 6 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 ...
141
Voted
MM
2006
ACM
15 years 6 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...
109
Voted
PLDI
2006
ACM
15 years 6 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) ...
115
click to vote
ICEIS
2005
IEEE
15 years 6 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
15 years 6 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...