10038 search results - page 1588 / 2008 » Model Checking for Managers |
156
click to vote
ICFCA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Managing knowledge is a difficult and slippery enterprise. A wide variety of technologies have to be invoked in providing support for knowledge requirements, ranging fro...
130
click to vote
ICWE
2004
Springer
16 years 3 days ago
2004
Springer
Business Processes for Web 1 Services are the new paradigm for virtual organization. In such cross organizational partnerships no business partner may guess a priori what kind of c...
165
click to vote
INDOCRYPT
2004
Springer
16 years 2 days ago
2004
Springer
A ring signature scheme is a group signature scheme with no group manager to setup a group or revoke a signer. A linkable ring signature, introduced by Liu, et al. [20], additional...
163
click to vote
WAC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper presents some important directions in the use of ontologybased semantics in achieving the vision of Autonomic Communications. We examine the requirements of Au...
159
click to vote
IEEEARES
2010
IEEE
16 years 1 days ago
2010
IEEE
—Deploying a security policy may prove difficult whenever the system does not embed all necessary security functionalities. Some specific functionalities are required to accura...