7404 search results - page 189 / 1481 » New Tools in Education |
152
click to vote
ECIS
2001
15 years 8 months ago
2001
The web-technology is going through major changes these years, both with respect to types of systems based on web-technology, organization of the development work, required approa...
175
click to vote
WSC
2000
15 years 8 months ago
2000
One use of simulation is to inform decision makers that seek to select the best of several alternative systems. The system with the highest (or lowest) mean value for simulation o...
172
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In 2005, Lee, Kim, and Yoo proposed a nonce-based mutual authentication scheme using smart cards. However, this paper demonstrates that Lee-Kim-Yoo's scheme is vulnerable to ...
164
click to vote
JUCS
2007
15 years 6 months ago
2007
: Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider...
225
click to vote
ICDT
2009
ACM
15 years 4 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...