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 ...
Tone reproduction is a key component in image quality and historically tone correction has been performed on a global basis for a given device or image. Several recent investigati...
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
The manufacture of pre-cast concrete building elements consists of a few manufacturing steps. The process itself is simple, but the characteristics of the business are quite rando...
In the realization of agent-based applications the developer generally needs to use heterogeneous agent architectures, so that each application component can optimally perform its...