5015 search results - page 834 / 1003 » Model Checking a Path |
FORMATS
2006
Springer
14 years 1 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
BMCBI
2007
13 years 10 months ago
2007
Background: The simulation of metabolic networks in quantitative systems biology requires the assignment of enzymatic kinetic parameters. Experimentally determined values are ofte...
SPIN
2010
Springer
13 years 8 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
Publication
We develop a simulation model for the ATM ABR service, and use it to engineer ABR congestion control behavior. Although significant work has been performed on ABR rate allocation a...
ICCV
1998
IEEE
15 years 4 days ago
1998
IEEE
We antroduce a novel method for vasual homang. Usang thas method a robot can be sent to desared posataons and oraentataons an 3-0space specafied by sangle amages taken from these ...