12774 search results - page 208 / 2555 » A Framework for Proof Systems |
182
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...
193
click to vote
JSS
2011
15 years 29 days ago
2011
Due to the complex nature of scientific workflow environments, temporal violations often take place and may severely reduce the timeliness of the execution’s results. To handle ...
187
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
177
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
eConference is a text-based conferencing tool that supports distributed teams in need for synchronous communication and structured discussion services. Other than offering communi...
226
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...