3443 search results - page 477 / 689 » More Algebras for Determiners |
168
click to vote
WSC
2007
15 years 9 months ago
2007
The key question addressed by the resource-constrained project scheduling problem (RCPSP) is to determine the start times for each activity such that precedence and resource const...
155
click to vote
WSC
2007
15 years 9 months ago
2007
Simulation of existing systems can reinforce a Subject Matter Expert’s gut feelings. However, it is more difficult to develop intuition for proposed systems, particularly when c...
159
click to vote
ACSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
142
click to vote
AI
2008
Springer
15 years 8 months ago
2008
Springer
The web, as a real mass medium, has become an invaluable data source for Information Extraction and Retrieval systems. Digital authoring is a relatively new style of communication,...
165
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
At system level, the on-chip temperature depends both on power density and the thermal coupling with the neighboring regions. The problem of finding the right set of input power pr...