4201 search results - page 723 / 841 » Our Users have Root! |
186
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Emerging large scale utility computing systems like Grids promise computing and storage to be provided to end users as a utility. System management services deployed in the middle...
163
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Role engineering, the task of defining roles and associating permissions to them, is essential to realize the full benefits of the role-based access control paradigm. Essentially,...
180
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
In emerging applications such as location-based services, sensor monitoring and biological management systems, the values of the database items are naturally imprecise. For these ...
162
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Emerging in-vehicle systems have turned the contemporary car into a human-computer interaction context that has its own set of rules and challenges. Interacting with in-vehicle sy...
198
click to vote
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
15 years 4 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...