Sciweavers

17049 search results - page 134 / 3410
» cans 2007
Sort
View
COMBINATORICS
2007
84views more  COMBINATORICS 2007»
13 years 10 months ago
A Characterization of Balanced Episturmian Sequences
It is well-known that Sturmian sequences are the non ultimately periodic sequences that are balanced over a 2-letter alphabet. They are also characterized by their complexity: the...
Geneviève Paquin, Laurent Vuillon
AMC
2005
188views more  AMC 2005»
13 years 10 months ago
An efficient signcryption scheme with forward secrecy based on elliptic curve
An efficient signcryption scheme based on elliptic curve is proposed in this paper. The signcryption scheme combines digital signature and encryption functions. The proposed schem...
Ren-Junn Hwang, Chih-Hua Lai, Feng-Fu Su
FORTE
2004
13 years 11 months ago
Automatized Verification of Ad Hoc Routing Protocols
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...
Oskar Wibling, Joachim Parrow, Arnold Neville Pear...
SERP
2004
13 years 11 months ago
Formal Analysis of UML-Based Designs
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
Boumediene Belkhouche, Anastasia Nix
GRAPHICSINTERFACE
1997
13 years 11 months ago
Multiresolution Rendering of Complex Botanical Scenes
This paper presents a system for rendering very large collections of randomly parameterized plants while generating manageable scene geometries for rendering. A given botanical de...
Dana Marshall, Donald S. Fussell, A. T. Campbell I...