2232 search results - page 133 / 447 » Formal Modeling and Analysis of Organizations |
204
click to vote
EPIA
2005
Springer
16 years 14 hour ago
2005
Springer
Abstract. This paper presents a novel approach to analyze the appearance of human motions with a simple model i.e. mapping the motions using a virtual marionette model. The approac...
181
click to vote
MM
2009
ACM
15 years 11 months ago
2009
ACM
The automatic analysis of social interactions is attracting significant interest in the multimedia community. This work addresses one of the most important aspects of the problem...
209
click to vote
ASIACRYPT
2004
Springer
15 years 10 months ago
2004
Springer
Group signature schemes are cryptographic systems that provide revocable anonymity for signers. We propose a group signature scheme with constant-size public key and signature leng...
144
click to vote
MONTEREY
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
214
click to vote
IRI
2008
IEEE
16 years 27 days ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...