Sciweavers

527 search results - page 73 / 106
» Words and Bisimulations of Dynamical Systems
Sort
View
ENTCS
2006
146views more  ENTCS 2006»
13 years 7 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
ENTCS
2006
122views more  ENTCS 2006»
13 years 7 months ago
Combining Aspect-Oriented and Strategic Programming
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...
Karl Trygve Kalleberg, Eelco Visser
JUCS
2008
104views more  JUCS 2008»
13 years 7 months ago
Optimal Transit Price Negotiation: The Distributed Learning Perspective
: We present a distributed learning algorithm for optimizing transit prices in the inter-domain routing framework. We present a combined game theoretical and distributed algorithmi...
Dominique Barth, Loubna Echabbi, Chahinez Hamlaoui
SIAMAM
2008
101views more  SIAMAM 2008»
13 years 7 months ago
Competitive Exclusion of Microbial Species for a Single Nutrient with Internal Storage
We study a chemostat model that describes competition between n microbial species for a single-limited resource based on storage. The model incorporates internal resource storage v...
Sze-Bi Hsu, Ting-Hao Hsu
RAS
2006
81views more  RAS 2006»
13 years 7 months ago
Experiments in multirobot coordination
Consequent to previously published theoretical work by Marshall, Broucke, and Francis, this paper summarizes the apparatus and results of multirobot coordination experiments condu...
Joshua A. Marshall, Terence Fung, Mireille E. Brou...