674 search results - page 92 / 135 » Toward Self-Stabilizing Operating Systems |
165
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...
110
click to vote
ISDA
2009
IEEE
15 years 5 months ago
2009
IEEE
—Protein binding sites are often represented by means of graphs capturing their most important geometrical and physicochemical properties. Searching for structural similarities a...
SOUPS
2006
ACM
15 years 4 months ago
2006
ACM
Security software is often difficult to use thus leading to poor adoption and degraded security. This paper describes a usability study that was conducted on the software ‘Polar...
HOTOS
2009
IEEE
15 years 2 months ago
2009
IEEE
The last fifteen years has seen a vast proliferation of middleboxes to solve all manner of persistent limitations in the Internet protocol suite. Examples include firewalls, NATs,...
USS
2008
15 years 26 days ago
2008
Generation of random numbers is a critical component of existing post-election auditing techniques. Recent work has largely discouraged the use of all pseudorandom number generato...