818 search results - page 37 / 164 » formats 2007 |
ALIFE
2006
14 years 9 months ago
2006
Cancer can be viewed as the loss of cooperative cell behaviors that normally facilitate multicellularity, including the formation of tissues and organs. Hanahan and Weinberg descri...
JOT
2007
14 years 9 months ago
2007
Beware of the colleague or supplier who spends large amounts of time in meetings discussing the format, sequence, and wording of documents they will deliver and very little time o...
FORMATS
2007
Springer
15 years 1 months ago
2007
Springer
In this paper, we review some recent results on the efficient synthesis of controllers for timed systems. We first recall the basics of controller synthesis for timed games and the...
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...