8874 search results - page 1599 / 1775 » A New Implementation of Automath |
136
click to vote
OSDI
2006
ACM
16 years 5 months ago
2006
ACM
In current commodity systems, applications have no way of limiting their trust in the underlying operating system (OS), leaving them at the complete mercy of an attacker who gains...
147
click to vote
OSDI
2004
ACM
16 years 5 months ago
2004
ACM
Network worms are a clear and growing threat to the security of today's Internet-connected hosts and networks. The combination of the Internet's unrestricted connectivit...
233
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
There is currently considerable enthusiasm around the MapReduce (MR) paradigm for large-scale data analysis [17]. Although the basic control flow of this framework has existed in ...
220
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
While there seems to be a general agreement that next years' systems will include many processing cores, it is often overlooked that these systems will also include an increa...
242
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Research has investigated mappings among data sources under two perspectives. On one side, there are studies of practical tools for schema mapping generation; these focus on algor...