8874 search results - page 344 / 1775 » A New Implementation of Automath |
247
click to vote
IPCCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Role-based access control and role hierarchies have been the subject of considerable research in recent years. In this paper, we consider three useful applications of a new role-b...
171
click to vote
ESOP
2007
Springer
16 years 29 days ago
2007
Springer
We propose multi-language synchronization, a novel approach to the problem of migrating code from a legacy language (such as C) to a new language. We maintain two parallel versions...
182
click to vote
ELPUB
2003
ACM
16 years 1 days ago
2003
ACM
Website development has always been an hard task: it consumes time and resources. What is new today is normally taken as granted tomorrow by users. This is to say that users always...
170
click to vote
HPCA
2002
IEEE
15 years 11 months ago
2002
IEEE
As the frequency gap between main memory and modern microprocessor grows, the implementation and efficiency of on-chip caches become more important. The growing latency to memory ...
185
click to vote
ISCC
2002
IEEE
15 years 11 months ago
2002
IEEE
We believe that existing wire solutions such as HomePNA2.0 and HomePlug and wireless solution such as HomeRF are the most promising solutions, because of its cost-effectiveness. H...