713 search results - page 97 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
113
click to vote
ECRTS
2009
IEEE
14 years 9 months ago
2009
IEEE
While hardware caches are generally effective at improving application performance, they greatly complicate performance prediction. Slight changes in memory layout or data access p...
108
click to vote
APN
2010
Springer
14 years 9 months ago
2010
Springer
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...
121
click to vote
CAV
2009
Springer
16 years 10 days ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
ARC
2009
Springer
15 years 6 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
117
click to vote
AIME
2009
Springer
15 years 6 months ago
2009
Springer
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...