We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
Abstract. In this paper INDIGO, an approach to infrastructures for digital libraries is presented. It fulfills two crucial requirements to digital libraries: scalability and the ab...
In this paper we present an extension to an existing hash based packet classification technique in order to improve its performance in a distributed network access control environm...
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...
Kingshuk Karuri, Mohammad Abdullah Al Faruque, Ste...
Intermediate network elements, such as network address translators (NATs), firewalls, and transparent caches are now commonplace. The usual reaction in the network architecture co...
Michael Walfish, Jeremy Stribling, Maxwell N. Kroh...