5981 search results - page 78 / 1197 » time 2006 |
113
click to vote
FUIN
2002
15 years 14 days 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...
94
Voted
FORMATS
2006
Springer
15 years 4 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...
96
Voted
FSTTCS
2006
Springer
15 years 4 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
15 years 6 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...
80
Voted
CSDA
2006
15 years 21 days 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...