2261 search results - page 50 / 453 » Dynamic types for authentication |
DLS
2008
13 years 10 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
COLING
2002
13 years 8 months ago
2002
This paper describes an indexing substrate for typed feature structures (ISTFS), which is an efficient retrieval engine for typed feature structures. Given a set of typed feature ...
IJBC
2008
13 years 8 months ago
2008
: A unidirectional coupling scheme is investigated in double scroll type chaotic oscillators that reveal interesting multiscroll dynamics. Instead of using self-oscillatory systems...
ENTCS
2002
13 years 8 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
FLAIRS
2008
13 years 11 months ago
2008
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...