1438 search results - page 84 / 288 » An Expressive Extension of TLC |
73
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
114
Voted
GPCE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic pr...
88
Voted
INEX
2004
Springer
15 years 6 months ago
2004
Springer
NEXI was introduced in INEX 2004 as a query language for specifying structured and unstructured queries on XML documents. A language expressive enough for INEX yet simple enough f...
107
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
112
Voted
POLICY
2004
Springer
15 years 6 months ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...