1588 search results - page 255 / 318 » On the Logic of Constitutive Rules |
175
click to vote
ICCS
2005
Springer
16 years 10 days ago
2005
Springer
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose...
173
click to vote
IFM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
174
click to vote
RTA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
185
click to vote
SIGIR
2004
ACM
16 years 8 days ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
173
click to vote
DSOM
2004
Springer
16 years 7 days ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...