77016 search results - page 296 / 15404 » Modeling |
119
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes a novel technique for a program evolution based on probabilistic models. In the proposed method, two probabilistic distribution models with probabilistic depen...
127
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Cell-DEVS is a combination of CA with the DEVS formalism that allows the definition of cellular models. CD++ is a modeling and simulation tool that implements DEVS and Cell-DEVS. W...
126
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
163
Voted
ICWE
2004
Springer
15 years 10 months ago
2004
Springer
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
135
Voted
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...