Sciweavers

Share
IEEESP
2011
9 years 1 months ago
On Adversary Models and Compositional Security
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...
Anupam Datta, Jason Franklin, Deepak Garg, Limin J...
ICC
2009
IEEE
9 years 8 months ago
Second Order Statistics of Non-Isotropic Mobile-to-Mobile Ricean Fading Channels
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...
Xiang Cheng, Cheng-Xiang Wang, David I. Laurenson,...
WSC
1998
9 years 11 months ago
Effective Simulation Model Reuse: a case study for AMHS modeling
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, ...
Gerald T. Mackulak, Frederick P. Lawrence, Theron ...
PPDP
2000
Springer
10 years 2 months ago
Symmetric monoidal sketches
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...
Martin Hyland, John Power
ERCIMDL
1999
Springer
111views Education» more  ERCIMDL 1999»
10 years 2 months ago
PIA - A Generic Model and System for Interactive Product and Service Catalogs
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...
Florian Matthes, Ulrike Steffens
ASIACRYPT
2000
Springer
10 years 2 months ago
A Note on Security Proofs in the Generic Model
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...
Marc Fischlin
CAISE
2003
Springer
10 years 3 months ago
Developing Application-Centric Methods
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...
Naveen Prakash, M. P. S. Bhatia
TYPES
2004
Springer
10 years 3 months ago
A Machine-Checked Formalization of the Random Oracle Model
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...
Gilles Barthe, Sabrina Tarento
MLMI
2004
Springer
10 years 3 months ago
Meeting Modelling in the Context of Multimodal Research
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...
Dennis Reidsma, Rutger Rienks, Natasa Jovanovic
ICT
2004
Springer
105views Communications» more  ICT 2004»
10 years 3 months ago
UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks
: 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...
Armen Aghasaryan, Claude Jard, Julien Thomas
books