3093 search results - page 507 / 619 » The Multi-perspective Process Explorer |
USS
2008
15 years 1 months ago
2008
Complexity in commodity operating systems makes compromises inevitable. Consequently, a great deal of work has examined how to protect security-critical portions of applications f...
108
click to vote
USS
2008
15 years 1 months ago
2008
Graphics processors are continuing their trend of vastly outperforming CPUs while becoming more general purpose. The latest generation of graphics processors have introduced the a...
110
click to vote
ICDT
2010
ACM
15 years 1 months ago
2010
ACM
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
ACMDIS
2008
ACM
15 years 1 months ago
2008
ACM
We conducted a 6-month project with a physical therapy clinic, involving equal parts ethnographic fieldwork and rapid prototyping. It differed from most reported user-informed des...
APN
2008
Springer
15 years 1 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...