1604 search results - page 271 / 321 » A Logical Viewpoint on Architectures |
CAV
2004
Springer
14 years 1 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
GCC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we constructed the Distributed Object Group Framework(DOGF) which is a reconfigurable architecture supporting dynamically adaptation of distributed service...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
This work discusses an Evolvable Hardware (EHW) platform for the intrinsic evolution of analog electronic circuits. The EHW analog platform, named PAMA-NG (Programmable Analog Mult...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
The distributed information technologies collectively known as Web services recently have demonstrated powerful capabilities for scalable interoperation of heterogeneous software a...