1268 search results - page 223 / 254 » Verifying distributed systems: the operational approach |
IMC
2004
ACM
14 years 3 months ago
2004
ACM
The capacity of today's network links, along with the heterogeneity of their traffic, is rapidly growing, more than the workstation’s processing power. This makes the task ...
NOSSDAV
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a simple and scalable framework for architecting peer-to-peer overlays called Peer-to-peer Receiverdriven Overlay (or PRO). PRO is designed for non-interactive...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract—Many applications require continuous monitoring of a moving target by a controllable vision system. Although the goal of tracking objects is not new, traditional techniq...
CCS
2001
ACM
14 years 2 months ago
2001
ACM
Abstract. Protection of software code against illegitimate modifications by its users is a pressing issue to many software developers. Many software-based mechanisms for protectin...
IJNSEC
2008
13 years 10 months ago
2008
One approach to protect distributed systems implemented with mobile code is through program obfuscation. Disguising program intent is a form of information hiding that facilitates...