3679 search results - page 533 / 736 » Answer set based design of knowledge systems |
225
Voted
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Most existing dynamic voltage scaling (DVS) schemes for multiple tasks assume an energy cost function (energy consumption versus execution time) that is independent of the task ch...
183
Voted
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
198
Voted
ALMOB
2006
15 years 7 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
227
Voted
CCS
2011
ACM
14 years 7 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
182
click to vote
HICSS
2003
IEEE
16 years 9 days ago
2003
IEEE
The paper studies the relationship between information technology (IT), time personality and managerial productivity. Time personality is captured by concepts of polychronicity an...