2488 search results - page 319 / 498 » An improvement in formal verification |
117
click to vote
CGF
2010
15 years 1 months ago
2010
Graph visualization systems often exploit opaque metanodes to reduce visual clutter and improve the readability of large graphs. This filtering can be done in a path-preserving wa...
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Modularity is thought to improve the evolvability of biological systems [18, 22]. Recent studies in the field of evolutionary computation show that the use of modularity improves...
121
click to vote
HCI
2009
14 years 11 months ago
2009
With the increasing interest in metamodeling techniques for Domain Specific Modeling Languages (DSML) definition, there is a strong need to improve the language modeling process. O...
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
102
click to vote
DEXAW
2008
IEEE
15 years 8 months ago
2008
IEEE
Arabic is a language with a particularly large vocabulary rich in words with synonymous shades of meaning. Modern Standard Arabic, which ...