2232 search results - page 354 / 447 » Formal Modeling and Analysis of Organizations |
200
click to vote
TC
2008
15 years 6 months ago
2008
In a distributed key distribution scheme, a set of servers help a set of users in a group to securely obtain a common key. Security means that an adversary who corrupts some server...
209
click to vote
APIN
1998
15 years 6 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
178
click to vote
JSS
2010
15 years 5 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
166
click to vote
LLC
2011
15 years 1 months ago
2011
Computational phonology studies sound patterns in the world’s languages from a computational perspective. This article shows that the similarities between different generative t...
151
click to vote
TIT
2010
15 years 1 months ago
2010
A method of `network filtering' has been proposed recently to detect the effects of certain external perturbations on the interacting members in a network. However, with larg...