4737 search results - page 561 / 948 » The LOGIC negotiation model |
208
click to vote
WECWIS
2005
IEEE
16 years 1 months ago
2005
IEEE
The concept of MDA (model driven architecture) aims at the goal of longevity (through business logic and architecture migration between different platforms) and quality improvemen...
202
click to vote
CAV
2005
Springer
16 years 1 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
185
click to vote
UC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
202
click to vote
ICFEM
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
214
click to vote
IFIP
2004
Springer
16 years 29 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...