795 search results - page 69 / 159 » A Formal Approach to Heterogeneous Software Modeling |
93
Voted
BMCBI
2008
15 years 20 days ago
2008
Background: We consider the discovery of recombinant segments jointly with their origins within multilocus DNA sequences from bacteria representing heterogeneous populations of fa...
126
Voted
SOFT
2000
15 years 4 months ago
2000
In meeting the challenges that resulted from the explosion of collected, stored, and transferred data, Knowledge Discovery in Databases or Data Mining has emerged as a new research...
118
Voted
SAC
2006
ACM
15 years 14 days ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
ICSE
2004
IEEE-ACM
16 years 19 days ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
81
Voted
WETICE
2006
IEEE
15 years 6 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...