12774 search results - page 374 / 2555 » A Framework for Proof Systems |
188
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Systems are increasingly expected to adapt themselves to changing requirements and environmental situations with minimum user interactions. A challenge for self-adaptation is the i...
158
click to vote
ISPAN
1996
IEEE
15 years 11 months ago
1996
IEEE
SmartNet is a scheduling framework for heterogeneous systems. Preliminary conservative simulation results
151
click to vote
USENIX
2003
15 years 8 months ago
2003
We explore the requirements, design, and implementation of the TrustedBSD MAC Framework. The TrustedBSD MAC Framework, integrated into FreeBSD 5.0, provides a flexible framework ...
223
click to vote
ATAL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper will discuss the internal architecture for an agent framework called DECAF (Distributed Environment Centered Agent Framework). DECAF is a software toolkit for ...
160
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we present a framework for online discovery of semantic links from relational data. Our framework is based on declarative specification of the linkage requirements ...