5465 search results - page 756 / 1093 » Assigning Types to Processes |
197
click to vote
WOSP
2004
ACM
16 years 25 days ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
205
click to vote
COLT
2004
Springer
16 years 24 days ago
2004
Springer
Different formal learning models address different aspects of human learning. Below we compare Gold-style learning—interpreting learning as a limiting process in which the lear...
229
click to vote
FORMATS
2004
Springer
16 years 24 days ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
174
click to vote
FPGA
2004
ACM
16 years 24 days ago
2004
ACM
We present the design of a high-performance, highly pipelined asynchronous FPGA. We describe a very fine-grain pipelined logic block and routing interconnect architecture, and sh...
218
click to vote
ICCS
2004
Springer
16 years 24 days ago
2004
Springer
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...