2918 search results - page 527 / 584 » Distributed Troubleshooting Agents |
189
click to vote
CL
2002
Springer
15 years 5 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
127
click to vote
P2P
2010
IEEE
15 years 3 months ago
2010
IEEE
—This paper investigates the Direct Connect (DC) file sharing network, which to the best of our knowledge, has never been academically studied before. We developed a participati...
142
click to vote
TOPLAS
2010
15 years 3 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
148
click to vote
JSSPP
2010
Springer
15 years 3 months ago
2010
Springer
We present the Dynamic Priority (DP) parallel task scheduler for Hadoop. It allows users to control their allocated capacity by adjusting their spending over time. This simple mech...
143
click to vote
PDPTA
2010
15 years 3 months ago
2010
To automate and accelerate Internet video search, we propose a parallelized on-the-fly video analysis that is distinguished from the conventional approaches in the following two f...