1112 search results - page 141 / 223 » Executing Abstract Test Cases |
110
click to vote
CAISE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Recently, several large companies have been involved in financial scandals related to mismanagement, resulting in financial damages for their stockholders. In response, c...
125
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s sh...
148
click to vote
CAISE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...
126
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Complex software systems use many shared libraries frequently composed of large off-the-shelf components. Only a limited number of functions are used from these shared li...
129
click to vote
VLC
2008
15 years 2 months ago
2008
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...