2241 search results - page 154 / 449 » Performance Modeling and Evaluation of E-Business Systems |
FMCO
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
The effective management of a service organization requires measuring system performance on many attributes. Customer waiting time is inherent to nearly all service operations and...
IPPS
2000
IEEE
14 years 21 days ago
2000
IEEE
Metacomputing infrastructures couple multiple clusters (or MPPs) via wide-area networks. A major problem in programming parallel applications for such platforms is their hierarchi...
WAIM
2005
Springer
14 years 2 months ago
2005
Springer
This paper analyzes the simulation of Finite State mobile agent, which regards the migration, execution, and searching of the mobile agents as finite states. As the finite state mo...
ICPP
2002
IEEE
14 years 2 months ago
2002
IEEE
Grid computing systems that have been the focus of much research activities in recent years provide a virtual framework for controlled sharing of resources across institutional bo...