4820 search results - page 475 / 964 » Implementing Signatures for C |
155
click to vote
FORTE
1998
15 years 7 months ago
1998
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...
166
click to vote
FORTE
1998
15 years 7 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
198
click to vote
WSCG
2003
15 years 7 months ago
2003
In designing physical objects, tangible models play an important part. Recent advances in augmented reality displays show new directions to support this field of prototyping. This...
149
click to vote
PDPTA
2000
15 years 7 months ago
2000
Abstract Design patterns are micro architectures, high-level building blocks which describe the solutions to speci c problems in software design. These solutions have generally bee...
143
click to vote
WSC
1998
15 years 7 months ago
1998
ON MODELING AT MULTIPLE LEVELS OF ABSTRACTION Perakath Benjamin Madhav Erraguntla Dursun Delen Richard Mayer Knowledge Based Systems, Inc. 1408 University Drive College Station, Te...