5843 search results - page 892 / 1169 » Software Security in Practice |
151
click to vote
AOSE
2005
Springer
16 years 6 days ago
2005
Springer
Interactions between agents are traditionally specified as interaction protocols using notations such as Petri nets, AUML, or finite state machines. These protocols are a poor ...
181
click to vote
ASM
2005
ASM
16 years 6 days ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
157
click to vote
CAISE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...
141
click to vote
CBSE
2005
Springer
16 years 6 days ago
2005
Springer
The concept of responsibility aims at making a computing system trustworthy for its users despite the fact that failures of IT systems cannot be completely excluded. The presented ...
170
click to vote
ECMDAFA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. A software product line comprises a set of products implementing different configurations of features. The set of valid feature configurations within a product line ca...