Sciweavers

9182 search results - page 1509 / 1837
» Requirements for Requirements Management Tools
Sort
View
LOGCOM
2010
128views more  LOGCOM 2010»
15 years 5 months ago
Answer Set Programming with Resources
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 ...
Stefania Costantini, Andrea Formisano
OTM
2010
Springer
15 years 5 months ago
A Process View Framework for Artifact-Centric Business Processes
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...
Sira Yongchareon, Chengfei Liu
PAIRING
2010
Springer
153views Cryptology» more  PAIRING 2010»
15 years 5 months ago
Compact Hardware for Computing the Tate Pairing over 128-Bit-Security Supersingular Curves
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...
Nicolas Estibals
PROCEDIA
2010
104views more  PROCEDIA 2010»
15 years 5 months ago
Composable cost estimation and monitoring for computational applications in cloud computing environments
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...
Hong Linh Truong, Schahram Dustdar
SACMAT
2010
ACM
15 years 5 months ago
Enforcing spatial constraints for mobile RBAC systems
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...
Michael S. Kirkpatrick, Elisa Bertino
« Prev « First page 1509 / 1837 Last » Next »