5981 search results - page 78 / 1197 » time 2006 |
FUIN
2002
13 years 11 months ago
2002
The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with t...
FORMATS
2006
Springer
14 years 2 months ago
2006
Springer
Using a variant of Clariso-Cortadella's parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of so...
FSTTCS
2006
Springer
14 years 2 months ago
2006
Springer
We consider timed games extended with cost information, and prove computability of the optimal cost and of -optimal memoryless strategies in timed games with one clock. In contrast...
AAIM
2006
Springer
14 years 5 months ago
2006
Springer
Abstract. We derive a polynomial time algorithm to compute a stable solution in a mixed matching market from an auction procedure as presented by Eriksson and Karlander [5]. As a s...
CSDA
2006
13 years 11 months ago
2006
Time series models of global climate change tend to estimate a low climate-sensitivity (equilibrium effect on global temperature of doubling carbon dioxide concentrations) and a f...