10159 search results - page 229 / 2032 » System Design Validation Using Formal Models |
120
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
124
click to vote
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
133
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we utilize a predator-prey model in order to identify characteristics of single-objective variation operators in the multi-objective problem domain. In detail, we a...
123
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we present, through simulations of the coffee market of the state of Veracruz, how emergence of specialized roles in participatory simulations could be used to desi...
104
click to vote
ENTCS
2006
15 years 3 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...