2846 search results - page 352 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
197
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
194
click to vote
ISSRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Systems connected to the Internet are highly susceptible to denial-of-service attacks that can compromise service availability, causing damage to customers and providers. Due to e...
180
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
146
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
179
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...