11151 search results - page 404 / 2231 » On the Complexity of Model Expansion |
181
click to vote
FOSSACS
2001
Springer
16 years 5 days ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
201
click to vote
VAMOS
2008
Springer
15 years 9 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
201
click to vote
BIB
2008
15 years 7 months ago
2008
Quantitative models of biochemical networks (signal transduction cascades, metabolic pathways, gene regulatory circuits) are a central component of modern systems biology. Buildin...
327
click to vote
Publication
We present a new approach for activity modelling and anomaly detection based on non-parametric Gaussian Process (GP) models. Specifically, GP regression models are formulated to l...
240
click to vote
ICFEM
2009
Springer
16 years 2 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...