5831 search results - page 475 / 1167 » Distributed Dynamic Backtracking |
150
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
250
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
151
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Separation of Duty Constraints David Basin1 , Samuel J. Burri1,2 , and G?unter Karjoth2 1 ETH Zurich, Department of Computer Science, Switzerland 2 IBM Research, Zurich Research La...
179
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
136
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
We proposed and implemented a novel clustering algorithm called LAIR2, which has constant running time average for on-the-fly Scatter/Gather browsing [4]. Our experiments showed ...