7195 search results - page 826 / 1439 » On Computing Power |
183
click to vote
CEEMAS
2005
Springer
16 years 23 days ago
2005
Springer
We show that reputation is a basic ingredient in the Virtual Organisation (VO) formation process. Agents can use their experiences gained in direct past interactions to model other...
221
click to vote
COCO
2005
Springer
16 years 23 days ago
2005
Springer
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...
151
click to vote
CONCUR
2005
Springer
16 years 23 days ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
193
click to vote
CONCUR
2005
Springer
16 years 23 days ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...
220
click to vote
CONCUR
2005
Springer
16 years 23 days ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...