5159 search results - page 383 / 1032 » Structural Testing of Executables |
213
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
213
click to vote
WER
2007
Springer
16 years 1 months ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...
178
click to vote
OOPSLA
2005
Springer
16 years 29 days ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
189
click to vote
ADC
2004
Springer
16 years 26 days ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
371
click to vote
ICS
2001
Tsinghua U.
15 years 12 months ago
2001
Tsinghua U.
For most parallel and high performance systems, tuning guides provide the users with advices to optimize the execution time of their programs. Execution time may be very sensitive...