3765 search results - page 160 / 753 » Formal Methods for Systems Engineering Behavior Models |
194
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
193
click to vote
APSEC
1996
IEEE
15 years 10 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
152
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Function is a dynamic property closely related to the conformational mechanisms of the protein structure in its physiological environment. Efficient methods and tools for predicti...
157
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
200
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
In social bookmarking systems, existing methods in tag prediction have shown that the performance of prediction can be significantly improved by modeling users’ preferences. Ho...