1078 search results - page 164 / 216 » Modelling and Verifying of e-Commerce Systems |
123
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
While technology advances have made MPSoCs a standard architecture for embedded systems, their applicability is increasingly being challenged by dramatic increases in the amount o...
128
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
General trust management model that we present is adapted for ad-hoc coalition environment, rather than for classic client-supplier relationship. The trust representation used in ...
141
click to vote
PATMOS
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a modular optimization framework for custom digital circuits in the power – performance space. The method uses a static timer and a nonlinear optimizer to max...
138
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
163
click to vote
WEBDB
2001
Springer
15 years 9 months ago
2001
Springer
In this paper, we propose to use database technology to improve performance of web proxy servers. We view the cache at a proxy server as a web warehouse with data organized in a h...