44 search results - page 4 / 9 » Mining System-User Interaction Traces for Use Case Models |
CIKM
2006
Springer
13 years 9 months ago
2006
Springer
In recent years, weblogs, or blogs for short, have become an important form of online content. The personal nature of blogs, online interactions between bloggers, and the temporal...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
SPIN
2012
Springer
11 years 8 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
FAC
2007
13 years 5 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
WABI
2009
Springer
14 years 5 days ago
2009
Springer
Background: Functionally related genes tend to be correlated in their expression patterns across multiple conditions and/or tissue-types. Thus co-expression networks are often use...