20573 search results - page 255 / 4115 » The Computer's New Clothes |
230
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...
164
click to vote
IJKDB
2010
15 years 4 months ago
2010
Searching for repeated features characterizing biological data is fundamental in computational biology. When biological networks are under analysis, the presence of repeated modul...
200
click to vote
IJNSEC
2010
15 years 1 months ago
2010
Remote user authentication scheme is one of the simplest and the most convenient authentication mechanisms to deal with secret data over insecure networks. These types of schemes ...
171
click to vote
SQJ
2010
15 years 1 months ago
2010
The identification of occurrences of design patterns in programs can help maintainers to understand the program design and implementation. It can also help them to make informed ch...
150
click to vote
DIGRA
2005
Springer
16 years 6 days ago
2005
Springer
This illustrated paper reports on the early digital games industry in New Zealand, during the late 1970s and 80s. It presents an overview of this largely unknown history, drawing ...