4359 search results - page 611 / 872 » Designing learning systems to provide accessible services |
156
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Communication networks are growing exponentially, and new services and applications are being introduced unceasingly. To meet the demands of these services and applications, curre...
191
click to vote
USENIX
1994
15 years 8 months ago
1994
A hybrid of window system, shell, and editor, Acme gives text-oriented applications a clean, expressive, and consistent style of interaction. Traditional window systems support in...
234
click to vote
ICSE
2007
IEEE-ACM
16 years 23 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
167
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
152
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
The ever increasing die area of Chip Multiprocessors (CMPs) affects manufacturing yield, resulting in higher manufacture cost. Meanwhile, network-on-chip (NoC) has emerged as a p...