4117 search results - page 566 / 824 » On the Satisfiability of Complex Constraints |
167
click to vote
POLICY
2004
Springer
16 years 3 days ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
169
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper, a simulation-based synthesis tool, AMIGO, for analog cell sizing is presented. AMIGO is based upon genetic optimization techniques adapted to circuit sizing. A fram...
206
click to vote
RTCSA
2003
IEEE
16 years 13 hour ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
164
click to vote
ISMIS
2003
Springer
15 years 12 months ago
2003
Springer
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
153
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...