2473 search results - page 338 / 495 » The Logic of Communication Graphs |
145
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Host compromise is a serious computer security problem today. To better protect hosts, several Mandatory Access Control systems, such as Security Enhanced Linux (SELinux) and AppA...
175
click to vote
FSKD
2009
Springer
16 years 1 months ago
2009
Springer
Usually a meaningful web topic has tens of thousands of comments, especially the hot topics. It is valuable if we congregate the comments into clusters and find out the mainstrea...
201
click to vote
ISQED
2008
IEEE
16 years 28 days ago
2008
IEEE
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...
153
click to vote
LICS
2008
IEEE
16 years 28 days ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
188
click to vote
FPGA
2007
ACM
16 years 21 days ago
2007
ACM
The application-specific multiprocessor System-on-a-Chip is a promising design alternative because of its high degree of flexibility, short development time, and potentially high ...