213 search results - page 24 / 43 » A Model of Stateful Firewalls and Its Properties |
EUROCAST
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
TCS
2008
13 years 7 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
AAAI
2007
13 years 10 months ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...