1210 search results - page 172 / 242 » Specifying Precise Use Cases with Use Case Charts |
CSFW
2009
IEEE
14 years 3 months ago
2009
IEEE
Multi-party contract signing protocols specify how a number of signers can cooperate in achieving a fully signed contract, even in the presence of dishonest signers. This problem h...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
ICDE
2008
IEEE
14 years 3 months ago
2008
IEEE
Network accountability and forensic analysis have become increasingly important, as a means of performing network diagnostics, identifying malicious nodes, enforcing trust managem...