10038 search results - page 1777 / 2008 » Model Checking for Managers |
174
click to vote
PKC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The ring signature allows a signer to leak secrets anonymously, without the risk of identity escrow. At the same time, the ring signature provides great flexibility: No ...
167
click to vote
AICT
2006
IEEE
15 years 11 months ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
145
click to vote
AICT
2006
IEEE
15 years 11 months ago
2006
IEEE
The Web Services framework, since it leverages the Service Oriented Architecture model, enables the development of applications that are loosely coupled and easier to manage. A We...
141
Voted
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
As the scale of cluster computing grows, it is becoming hard for long-running applications to complete without facing failures on large-scale clusters. To address this issue, chec...
143
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
Service Oriented EXtensible Modeling and Simulation Supporting Environment Architecture (SO-XMSSEA) is presented based on XMSF thinking and the new technology development of web s...