1210 search results - page 172 / 242 » Specifying Precise Use Cases with Use Case Charts |
120
click to vote
CSFW
2009
IEEE
16 years 1 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...
164
click to vote
ATAL
2009
Springer
16 years 26 days 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...
159
click to vote
CONCUR
2009
Springer
16 years 26 days 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....
148
click to vote
MODELS
2009
Springer
16 years 25 days 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...
165
click to vote
ICDE
2008
IEEE
16 years 22 days 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...