Sciweavers

2819 search results - page 155 / 564
» Associative Omega-product of Processes
Sort
View
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 6 months ago
A calculus for costed computations
We develop a version of the picalculus Picost where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of own...
Matthew Hennessy
AUTOMATICA
2006
54views more  AUTOMATICA 2006»
15 years 6 months ago
Output tracking of continuous bioreactors through recirculation and by-pass
In this paper, we propose to regulate the output of an auto-catalytic bioprocess (a biological process associated with a growth of a micro-organism) by means of a recirculation lo...
Jérôme Harmand, Alain Rapaport, Fr&ea...
ENVSOFT
2006
118views more  ENVSOFT 2006»
15 years 6 months ago
Database architectures: Current trends and their relationships to environmental data management
Ever increasing environmental demands from customers, authorities and governmental organizations as well as new business control functions are integrated to environmental manageme...
Jaroslav Pokorný
JAIR
2008
126views more  JAIR 2008»
15 years 6 months ago
Cooperative Search with Concurrent Interactions
In this paper we show how taking advantage of autonomous agents' capability to maintain parallel interactions with others, and incorporating it into the cooperative economic ...
Efrat Manisterski, David Sarne, Sarit Kraus
CORR
2007
Springer
99views Education» more  CORR 2007»
15 years 6 months ago
Services within a busy period of an M/M/1 queue and Dyck paths
We analyze the service times of customers in a stable M/M/1 queue in equilibrium depending on their position in a busy period. We give the law of the service of a customer at the b...
Moez Draief, Jean Mairesse