Sciweavers

5084 search results - page 371 / 1017
» Proving Possibility Properties
Sort
View
CORR
2006
Springer
95views Education» more  CORR 2006»
15 years 6 months ago
A Markov Chain based method for generating long-range dependence
This paper describes a model for generating time series which exhibit the statistical phenomenon known as long-range dependence (LRD). A Markov Modulated Process based upon an inf...
Richard G. Clegg, Maurice Dodson
CPC
2006
73views more  CPC 2006»
15 years 6 months ago
Feasible Schedules for Rotating Transmissions
Motivated by a scheduling problem that arises in the study of optical networks we prove the following result, which is a variation of a conjecture of Haxell, Wilfong and Winkler. ...
Noga Alon
IJBC
2008
85views more  IJBC 2008»
15 years 6 months ago
Center bifurcation for Two-Dimensional Border-Collision Normal Form
In this work we study some properties associated with the bordercollision bifurcations in a two-dimensional piecewise linear map in canonical form, related to the case in which a ...
Iryna Sushko, Laura Gardini
IJNSEC
2008
146views more  IJNSEC 2008»
15 years 6 months ago
Formal Protocol Design of ESIKE Based on Authentication Tests
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
Rui Jiang, Aiqun Hu, Jianhua Li
IJNSEC
2008
119views more  IJNSEC 2008»
15 years 6 months ago
Customizing Cellular Message Encryption Algorithm
This paper observes the cryptanalysis of the Telecommunications Industry Association's Cellular Message Encryption Algorithm (CMEA). The CMEA has been widely used for wireles...
Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury