Sciweavers

4311 search results - page 619 / 863
» Code Generation for Distributed Systems
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 6 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
IPPS
1999
IEEE
15 years 4 months ago
SCALA: A Framework for Performance Evaluation of Scalable Computing
Abstract. Conventional performance environments are based on pro ling and event instrumentation. It becomes problematic as parallel systems scale to hundreds of nodes and beyond. A...
Xian-He Sun, Mario Pantano, Thomas Fahringer, Zhao...
116
Voted
COOP
2004
15 years 1 months ago
Model Checking Groupware Protocols
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
Maurice H. ter Beek, Mieke Massink, Diego Latella,...
82
Voted
SIGECOM
2008
ACM
92views ECommerce» more  SIGECOM 2008»
15 years 13 days ago
Strong regularities in online peer production
Online peer production systems have enabled people to coactively create, share, classify, and rate content on an unprecedented scale. This paper describes strong macroscopic regul...
Dennis M. Wilkinson
ELECTRONICMARKETS
1998
150views more  ELECTRONICMARKETS 1998»
15 years 6 days ago
Services of A Broker in Electronic Commerce Transactions
AbstractAbstractAbstractAbstract Current Web-based electronic commerce systems are lacking in efficient electronic brokerage. However, brokerage plays an important role in many ele...
Martin Bichler, Carrie Beam, Arie Segev