232 search results - page 11 / 47 » Twenty Years Later |
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Civil infrastructures are vital elements of a nation’s physical well-being and quality of life because modern economies rely on the services these systems provide to move goods,...
MKM
2009
Springer
14 years 5 days ago
2009
Springer
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
DAWAK
2001
Springer
14 years 3 days ago
2001
Springer
The development of techniques for supporting incremental maintenance of materialized views has been an active research area for over twenty years. However, although there has been ...
MMMACNS
2001
Springer
14 years 1 days ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
ELPUB
1999
ACM
13 years 12 months ago
1999
ACM
Considers why, after nearly twenty years of development, the electronic publishing model has not replaced the paper based model for academic journals. Gives three insights that at...