4061 search results - page 735 / 813 » Framework Evolution Tool |
129
Voted
SPIN
2010
Springer
14 years 12 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
154
Voted
SPIN
2010
Springer
14 years 12 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
156
click to vote
APSCC
2010
IEEE
14 years 11 months ago
2010
IEEE
Software as a service (SaaS) is an emerging software framework in which business data and logic typically integrate with other applications. It requires a unified subscriber to des...
134
click to vote
ASIACRYPT
2010
Springer
14 years 11 months ago
2010
Springer
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...
118
click to vote
CLOUDCOM
2010
Springer
14 years 11 months ago
2010
Springer
Carrying out science at extreme scale is the next generational challenge facing the broad field of scientific research. Cloud computing offers to potential for an increasing number...