This paper reports our experiences building PlanetLab over the last four years. It identifies the requirements that shaped PlanetLab, explains the design decisions that resulted fr...
Larry L. Peterson, Andy C. Bavier, Marc E. Fiuczyn...
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
Organizations adopting Enterprise Resource Planning (ERP) are also adopting standard ERPvendor-specific process models for engineering their requirements. Making successfully a li...
This paper proposes to utilize algorithms from the probabilistic graphical models domain for Peer-to-Peer rating of data items and for computing “social influence” of nodes i...
With the great expansion of advanced wireless technologies, users can now conveniently access the Internet from almost anywhere. We consider geographic information to be an import...