3994 search results - page 538 / 799 » A Linear Logical Framework |
173
click to vote
FASE
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
187
click to vote
ICCS
2004
Springer
16 years 19 days ago
2004
Springer
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued th...
210
click to vote
RSCTC
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
179
click to vote
ICLP
2003
Springer
16 years 14 days ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
212
click to vote
ICLP
2003
Springer
16 years 14 days ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...