12774 search results - page 185 / 2555 » A Framework for Proof Systems |
126
Voted
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
148
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specificati...
146
click to vote
JSI
1998
15 years 4 months ago
1998
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
148
Voted
ISCAPDCS
2004
15 years 6 months ago
2004
In this paper we analyze the requirements access control mechanisms must fulfill in the context of group communication and define a framework for supporting fine-grained access co...
120
click to vote
IBIS
2006
15 years 4 months ago
2006
: This paper presents a framework for assessing inter-organizational integration of business information systems. The framework is organized along two dimensions, intensity of inte...