10715 search results - page 224 / 2143 » Proofs from Tests |
188
click to vote
AICCSA
2005
IEEE
16 years 8 days ago
2005
IEEE
—In the current research, we present an operation framework and protection mechanism to facilitate secure environment to protect mobile agents against tampering. The system depen...
191
click to vote
EDCC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
190
click to vote
APCCM
2008
15 years 8 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
177
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Participation from all stakeholders is important in a successful software development project, especially if the development project is complex and has many stakeholders. Identify...
169
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We construct a financial "Turing test" to determine whether human subjects can differentiate between actual vs. randomized financial returns. The experiment consists of ...