784 search results - page 150 / 157 » Relaxing the Value Restriction |
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
It is self-evident that in numerous Multiagent settings, selfish agents stand to benefit from cooperating by forming coalitions. Nevertheless, negotiating a stable distribution of...
CCS
2006
ACM
15 years 2 months ago
2006
ACM
The usage control (UCON) model was introduced as a unified approach to capture a number of extensions for traditional access control models. While the policy specification flexibi...
FORMATS
2006
Springer
15 years 2 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
118
click to vote
APSEC
2001
IEEE
15 years 2 months ago
2001
IEEE
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
147
click to vote
ARVLSI
1995
IEEE
15 years 2 months ago
1995
IEEE
Precomputation is a recently proposed logic optimization technique which selectively disables the inputs of a sequential logic circuit, thereby reducing switching activity and pow...