1604 search results - page 180 / 321 » A Logical Viewpoint on Architectures |
186
click to vote
FASE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
150
click to vote
HPCC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—In this paper, a novel architecture for a streaming intrusion detection system for Grid computing environments is presented. Detection mechanisms based on traditional lo...
150
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....
147
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
This paper presents a new scan-based BIST scheme which achieves very high fault coverage without the deficiencies of previously proposed schemes. This approach utilizes scan order...
183
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...