288 search results - page 30 / 58 » Managing iterations with UNICASE |
141
click to vote
APN
2000
Springer
15 years 5 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
100
click to vote
ISW
2000
Springer
15 years 5 months ago
2000
Springer
An one-way hash chain generated by the iterative use of a one-way hash function on a secret value has recently been widely employed to develop many practical cryptographic solution...
142
click to vote
COOPIS
1995
IEEE
15 years 5 months ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
126
Voted
SIGCOMM
1995
ACM
15 years 5 months ago
1995
ACM
A mobile user location management mechanism is introduced that incorporates a distance based location update scheme and a paging mechanism that satis es prede ned delay requiremen...
AIRS
2008
Springer
15 years 3 months ago
2008
Springer
Although regarded as one of the most successful algorithm to identify predictive features, Relief is quite vulnerable to outliers and noisy features. The recently proposed I-Relief...