8874 search results - page 1564 / 1775 » A New Implementation of Automath |
192
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Infrastructure-as-a-Service (IaaS) cloud computing offers new possibilities to scientific communities. One of the most significant is the ability to elastically provision and relin...
202
click to vote
CONEXT
2009
ACM
15 years 8 months ago
2009
ACM
Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semant...
200
click to vote
MOBICOM
2010
ACM
15 years 7 months ago
2010
ACM
WiFi networks have enjoyed an unprecedent penetration rate in recent years. However, due to the limited coverage, existing WiFi infrastructure only provides intermittent connectiv...
184
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
215
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Each day, security companies see themselves confronted with thousands of new malware programs. To cope with these large quantities, researchers and practitioners alike have develo...