This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
In this paper, we want to show how the morphological component of an existing NLP-system for Dutch (Dutch Medical Language Processor - DMLP) has been extended in order to produce ...
Peter Spyns, Ngo Thanh Nhan, Erik Baert, Naomi Sag...
This paper presents an automated system for optimizing earthmoving operations. The proposed system can assist earthmoving contractors, during bid preparation stage, in estimating ...
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...
Robert J. Bobrow, Philip Resnik, Ralph M. Weisched...
Speed alone is insufficient for real-time performance. We define real-time performance in terms of speed, responsiveness, timeliness, and graceful adaptation. We claim that all fo...
Rajendra T. Dodhiawala, N. S. Sridharan, Peter Rau...