Sciweavers

2706 search results - page 249 / 542
» The case for a new business model
Sort
View
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 7 months ago
Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
Omar I. Al-Bataineh, Ron van der Meyden
VTC
2010
IEEE
124views Communications» more  VTC 2010»
15 years 5 months ago
A Novel Sampling Method for the Spatial Frequencies of Sinusoid-Based Shadowing Models
Abstract—Careful modeling of the radio channel characteristics is an important issue for system level simulations. While a number of detailed path loss, shadowing and fast fading...
Siegfried Klein, Serkan Uygungelen, Christian M. M...
MODELS
2009
Springer
16 years 2 months ago
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
Naeem Esfahani, Sam Malek, João Pedro Sousa...
SACRYPT
2004
Springer
143views Cryptology» more  SACRYPT 2004»
16 years 27 days ago
Blockwise Adversarial Model for On-line Ciphers and Symmetric Encryption Schemes
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
Pierre-Alain Fouque, Antoine Joux, Guillaume Poupa...
ICCSA
2010
Springer
16 years 20 days ago
ISATEM: An Integration of Socioeconomic and Spatial Models for Mineral Resources Exploitation
In the spatial-integrated socioeconomic model field, a multi-agent approach is appropriate for supporting applications modelled at a detailed territory scale, but it is less used t...
Fenintsoa Andriamasinoro, Daniel Cassard, Bruno Ma...