4061 search results - page 735 / 813 » Framework Evolution Tool |
145
Voted
SPIN
2010
Springer
15 years 2 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 ...
175
Voted
SPIN
2010
Springer
15 years 2 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...
179
Voted
APSCC
2010
IEEE
15 years 1 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...
150
Voted
ASIACRYPT
2010
Springer
15 years 1 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...
137
Voted
CLOUDCOM
2010
Springer
15 years 1 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...