4966 search results - page 978 / 994 » its 2010 |
137
Voted
SP
2010
IEEE
14 years 10 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
116
click to vote
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
113
click to vote
TRIDENTCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper we present RUBIQ, a polymorphic ubiquitous network testbed. RUBIQ works on StarBED, which is a network testbed consisting of hundreds of PCs connected to each other. ...
UIST
2010
ACM
14 years 10 months ago
2010
ACM
Tabletop applications cannot display more than a few dozen on-screen objects. The reason is their limited size: tables cannot become larger than arm's length without giving u...
113
Voted
UIST
2010
ACM
14 years 10 months ago
2010
ACM
An important aspect of making the Web accessible to blind users is ensuring that all important web page elements such as links, clickable buttons, and form fields have explicitly ...