5149 search results - page 625 / 1030 » Timed Asynchronous Distributed Systems |
195
click to vote
ISCA
2011
IEEE
14 years 8 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
243
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
Data integration systems offer a uniform interface to a set of data sources. Despite recent progress, setting up and maintaining a data integration application still requires sign...
164
click to vote
ISF
2008
15 years 4 months ago
2008
Abstract Many security problems are caused by vulnerabilities hidden in enterprise computer networks. It is very important for system administrators to have knowledge about the sec...
129
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Clusters of computers have emerged as mainstream parallel and distributed platforms for high-performance, highthroughput and high-availability computing. To enable effective resou...
144
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...