34 search results - page 7 / 7 » Expressivity of Coalgebraic Modal Logic: The Limits and Beyo... |
SEMWEB
2005
Springer
13 years 10 months ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...
FMSP
2000
ACM
13 years 9 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
PLDI
2006
ACM
13 years 11 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
CAISE
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...