1898 search results - page 194 / 380 » About the art in this issue |
208
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
165
click to vote
ASWEC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
162
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper studies bilateral, multi-issue negotiation between self-interested agents with deadlines. There are a number of procedures for negotiating the issues and each of these g...
159
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Low power VLSI circuit design is one of the most important issues in present day technology. One of the ways of reducing power in a CMOS circuit is to reduce the number of transit...
145
click to vote
CPAIOR
2006
Springer
15 years 10 months ago
2006
Springer
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...