17 search results - page 1 / 4 » Mathematics mechanization and applications after thirty year... |
FCSC
2007
13 years 4 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
ACSAC
2002
IEEE
13 years 9 months ago
2002
IEEE
Almost thirty years ago a vulnerability assessment of Multics identified significant vulnerabilities, despite the fact that Multics was more secure than other contemporary (and cu...
OTM
2007
Springer
13 years 11 months ago
2007
Springer
After over thirty years of distributed computing, debugging distributed applications is still regarded as a difficult task. While it could be argued that this condition stems from ...
INFOCOM
2000
IEEE
13 years 9 months ago
2000
IEEE
— The Internet has witnessed a rapid growth in deployment of Web-based streaming applications during recent years. In these applications, server should be able to perform end-to-...
RTAS
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--Dynamic RAM (DRAM) has been the best technology for main memory for over thirty years. In embedded space applications, radiation hardened DRAM is needed because gamma ray...