2518 search results - page 214 / 504 » Using Communication Objects During Requirements Analysis |
230
click to vote
IJNSEC
2011
15 years 1 months ago
2011
Multicast gives professional large-scale content distribution by providing an efficient transport mechanism for one-to-many and many-to-many communications. There is a number of s...
169
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
158
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Abstract We argue that in the decision making process required for selecting assertible vague descriptions of an object, it is practical that communicating agents adopt an epistemi...
157
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
This paper describes a series of user studies on how people use the Web via mobile devices. The data primarily comes from contextual inquiries with 47 participants between 2004 an...
144
click to vote
IJACT
2008
15 years 6 months ago
2008
Abstract. A signer in a Nominative Signature (NS) scheme can arbitrarily choose a nominee, then jointly generate a signature in such a way that the signature can only be verified w...