Sciweavers

1746 search results - page 222 / 350
» Residual for Component Specifications
Sort
View
FLAIRS
2000
15 years 7 months ago
The Use of Formal Methods for Trusted Digital Signature Devices
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 ...
Bruno Langenstein, Roland Vogt, Markus Ullmann
IMAGING
2000
15 years 7 months ago
Local Color Correction Using Non-Linear Masking
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...
Nathan Moroney
WSC
1998
15 years 7 months ago
GMSim: A Tool for Compositional GSMP Modeling
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...
Frode B. Nilson
WSC
1998
15 years 7 months ago
The Use of Simulation for Construction Elements Manufacturing
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...
Katy Vern, Ali K. Gunal
WOA
2000
15 years 7 months ago
HEMASL: A Flexible Language to Specify Heterogeneous Agents
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...
Simone Marini, Maurizio Martelli, Viviana Mascardi...