Sciweavers

18429 search results - page 367 / 3686
» Typing dynamic typing
Sort
View
ENTCS
2006
103views more  ENTCS 2006»
15 years 6 months ago
Incremental Confined Types Analysis
Michael Eichberg, Sebastian Kanthak, Sven Kloppenb...
IJNSEC
2008
98views more  IJNSEC 2008»
15 years 6 months ago
A New Type of Designated Confirmer Signatures for a Group of Individuals
A new concept of society-oriented designated confirmer signatures (SDCS) is introduced in this paper. SDCS is well suited to applications where the capability of the signer and th...
Baodian Wei, Fangguo Zhang, Xiaofeng Chen
CCR
2007
90views more  CCR 2007»
15 years 6 months ago
You must be joking... warns you: don't drink and type
I would like to apologise to both of my fans (which I will call Tom and Jerry respecting their request for anonymity for obvious reasons) for missing my column in the last issue. ...
Michalis Faloutsos
177
Voted
IANDC
2006
82views more  IANDC 2006»
15 years 6 months ago
Recognizability, hypergraph operations, and logical types
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
Achim Blumensath, Bruno Courcelle
IEICET
2006
56views more  IEICET 2006»
15 years 6 months ago
Average Coset Weight Distribution of Multi-Edge Type LDPC Code Ensembles
Kenta Kasai, Yuji Shimoyama, Tomoharu Shibuya, Koh...