7681 search results - page 124 / 1537 » Typed Membrane Systems |
140
click to vote
ENTCS
2002
15 years 5 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
166
Voted
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
157
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
234
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
Until now, AI argumentation-based systems have been mainly developed for handling inconsistency. In that explanation-oriented perspective, only one type of argument has been consi...
130
click to vote
ILP
1998
Springer
15 years 9 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...