430 search results - page 54 / 86 » Efficient Proving for Practical Distributed Access-Control S... |
111
click to vote
OSDI
2006
ACM
16 years 3 days ago
2006
ACM
Operating systems are complex and their behavior depends on many factors. Source code, if available, does not directly help one to understand the OS's behavior, as the behavi...
106
click to vote
ENTCS
2010
14 years 12 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
123
click to vote
ICPPW
2007
IEEE
15 years 6 months ago
2007
IEEE
We study the role of task-level scheduling in power management on multicore multiple voltage embedded systems. Multicore on-achip, in particular DSP systems, can greatly improve p...
CODES
2004
IEEE
15 years 3 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
183
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Recent work on distributed, in-network aggregation assumes a benign population of participants. Unfortunately, modern distributed systems are plagued by malicious participants. In...