7529 search results - page 103 / 1506 » The Modula-3 Type System |
169
click to vote
ISDA
2006
IEEE
15 years 10 months ago
2006
IEEE
- Elliptic curve cryptography plays a crucial role in networking and information security area, and modular multiplication arithmetic over finite field is a necessary computation p...
133
click to vote
ACTA
2005
15 years 4 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
127
click to vote
CSB
2004
IEEE
15 years 8 months ago
2004
IEEE
In order to provide a portable and accurate typing system for the unambiguous characterization of pathogenic Escherichia coli isolates to the scientific community, we have constru...
145
click to vote
CPM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We apply the Boyer–Moore technique to compressed pattern matching for text string described in terms of collage system, which is a formal framework that captures variou...
144
click to vote
IEEEIAS
2008
IEEE
15 years 10 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...