6201 search results - page 859 / 1241 » Implementation of Axiomatic Language |
177
Voted
AC
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
194
click to vote
ASP
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
172
click to vote
CP
2003
Springer
16 years 2 days ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
185
Voted
DBPL
2003
Springer
16 years 2 days ago
2003
Springer
We introduce the new notion of XML Stream Attribute Grammars (XSAGs). XSAGs are the first scalable query language for XML streams (running strictly in linear time with bounded mem...
179
click to vote
ERSHOV
2003
Springer
16 years 2 days ago
2003
Springer
Storage costs are rapidly decreasing, making it feasible to store larger amounts of data in databases. This also makes it possible to store previous versions of data in the databa...