3365 search results - page 570 / 673 » Digital System Design: Architectures, Methods and Tools |
157
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
In a dynamic service oriented environment it is desirable for service consumers and providers to offer and obtain guarantees regarding their capabilities and requirements. WS-Agre...
169
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
We address the problem of incorporating user preference in automatic image enhancement. Unlike generic tools for automatically enhancing images, we seek to develop methods that ca...
142
click to vote
IAT
2007
IEEE
16 years 11 days ago
2007
IEEE
We apply advanced agent trust modeling techniques to identify malicious traffic in computer networks. Our work integrates four state-of-the-art techniques from anomaly detection,...
144
Voted
DFG
2007
Springer
16 years 6 days ago
2007
Springer
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...
146
click to vote
ACSD
2001
IEEE
15 years 9 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...