3765 search results - page 267 / 753 » Formal Methods for Systems Engineering Behavior Models |
198
click to vote
CAV
2005
Springer
16 years 20 days ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
208
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents the dynamics of multi-agent reinforcement learning in multiple state problems. We extend previous work that formally modelled the relation between reinforcemen...
219
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Most intrusion detection systems apply the misuse detection approach. Misuse detection compares recorded audit data with predefined patterns denoted as signatures. A signature is ...
215
click to vote
TYPES
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
217
click to vote
FASE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...