5494 search results - page 893 / 1099 » E-services Management Requirements |
195
click to vote
LOGCOM
2010
15 years 5 months ago
2010
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
189
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
187
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Over the past several years, the artifact-centric approach to workflow has emerged as a new paradigm of business process modelling. It provides a robust structure of workflow and s...
159
click to vote
PAIRING
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a novel method for designing compact yet efficient hardware implementations of the Tate pairing over supersingular curves in small characteristic. Since such cu...
180
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
With the offer from cloud computing providers, scientists have the opportunity to utilize pay-as-you-go resources together with their own and shared resources. However, scientist...