2153 search results - page 295 / 431 » From Requirements Models to Formal Specifications in B |
150
click to vote
SSS
2009
Springer
15 years 11 months ago
2009
Springer
Consider a fully connected network where up to t processes may crash, and all processes start in an arbitrary memory state. The self-stabilizing firing squad problem consists of e...
166
click to vote
WSC
2001
15 years 7 months ago
2001
This paper describes the efforts required to convert conceptual designs and undefined processes for a proposed advanced steel processing shipyard facility into a discrete event si...
191
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
Most highly accurate predictive modeling techniques produce opaque models. When comprehensible models are required, rule extraction is sometimes used to generate a transparent mod...
175
click to vote
CRV
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we introduce the concept and method for adaptively tuning the model complexity in an online manner as more examples become available. Challenging classification pro...
208
click to vote
CMSB
2007
Springer
16 years 16 days ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...