IEEESP
2011
12 years 8 months ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
ICC
2009
IEEE
13 years 2 months ago
2009
IEEE
This paper develops a generic geometry-based stochastic model for mobile-to-mobile (M2M) Ricean fading channels. From the generic model, the level crossing rate (LCR) and average f...
WSC
1998
13 years 5 months ago
1998
The application of simulation as a performance estimation tool in automated material handling system design is well documented, as is the amount of time required to build, debug, ...
PPDP
2000
Springer
13 years 8 months ago
2000
Springer
We introduce and develop the notion of symmetric monoidal sketch. Every symmetric monoidal sketch generates a generic model. If the sketch is commutative and single-sorted, the gen...
ERCIMDL
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
ASIACRYPT
2000
Springer
13 years 8 months ago
2000
Springer
A discrete-logarithm algorithm is called generic if it does not exploit the specific representation of the cyclic group for which it is supposed to compute discrete logarithms. Su...
CAISE
2003
Springer
13 years 9 months ago
2003
Springer
Meta-models and Generic models have been built in the area of Information Systems to facilitate the task of system designers. It de-emphasises the view under which applications are...
TYPES
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
MLMI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper presents a framework for corpus based multimodal research. Part of this framework is applied in the context of meeting modelling. A generic model for differen...
ICT
2004
Springer
13 years 10 months ago
2004
Springer
: this document presents a generic model capturing the essential structural and behavioral characteristics of network components in the light of fault management. The generic model...