488 search results - page 67 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
153
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Answers to several fundamental questions in statistical genetics would ideally require knowledge of the ancestral pedigree and of the gene flow therein. A few examples...
144
click to vote
KDD
2008
ACM
16 years 3 months ago
2008
ACM
Privacy-preserving data mining (PPDM) is an emergent research area that addresses the incorporation of privacy preserving concerns to data mining techniques. In this paper we prop...
124
click to vote
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
Social virtual worlds (SVWs) have become increasingly important environments for social interaction, especially for the younger generations. For SVWs to be economically sustainabl...
133
click to vote
FMAM
2010
15 years 1 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
125
click to vote
WSCG
2003
15 years 4 months ago
2003
Boolean operations and feature-based modeling are closely linked domains. For example, several, sometimes many Boolean operations are involved during a feature instantiation or mo...