819 search results - page 118 / 164 » Using Assumptions to Distribute CTL Model Checking |
107
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
121
click to vote
SAC
2009
ACM
15 years 5 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
103
Voted
BMCBI
2008
15 years 22 days ago
2008
Background: Population structure analysis is important to genetic association studies and evolutionary investigations. Parametric approaches, e.g. STRUCTURE and L-POP, usually ass...
110
click to vote
IPTPS
2003
Springer
15 years 5 months ago
2003
Springer
Much of the existing work in peer to peer networking assumes that users will follow prescribed protocols without deviation. This assumption ignores the user’s ability to modify ...
129
click to vote
KDD
2012
ACM
13 years 3 months ago
2012
ACM
Crowdsourcing has recently become popular among machine learning researchers and social scientists as an effective way to collect large-scale experimental data from distributed w...