3256 search results - page 470 / 652 » Applications of Formal Methods to System Design and Verifica... |
174
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper investigates scheduling loosely coupled task-bundles in highly heterogeneous distributed systems. Two allocation quality metrics are used in pay-per-service distributed ...
136
click to vote
BPM
2009
Springer
15 years 12 months ago
2009
Springer
Despite the increasing maturity of contemporary Workflow Management Systems (WfMS), there still exist numerous process-aware application systems with more or less hard-coded proce...
151
click to vote
WECWIS
1999
IEEE
15 years 9 months ago
1999
IEEE
In an e-commerce system, security, in particular authentication, is of paramount importance. Public-key Infrastructure is often used to enforce authentication and the property of ...
158
click to vote
CLUSTER
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract--This paper proposes an analytical model to estimate the cost of running an affinity-based thread schedule on multicore systems. The model consists of three submodels to e...
156
click to vote
EUROSEC
2009
ACM
16 years 5 days ago
2009
ACM
Quantitative Trust Management (QTM) provides a dynamic interpretation of authorization policies for access control decisions based on upon evolving reputations of the entities inv...