1407 search results - page 231 / 282 » Using Use Cases in Executable Z |
116
Voted
CGO
2010
IEEE
15 years 9 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
133
click to vote
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...
112
Voted
APSEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Modifying an application usually means to stop the application, apply the changes, and start the application again. That means, the application is not available for at least a sho...
123
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
133
Voted
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...