5189 search results - page 476 / 1038 » Modeling architectural patterns using architectural primitiv... |
153
click to vote
DSD
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper shows a new architecture for a virus scanning system, which is different from that of an intrusion detection system. The proposed method uses two-stage matching: In the...
210
click to vote
LAWEB
2003
IEEE
16 years 9 days ago
2003
IEEE
In this article we present a method for the design and implementation of Web Applications for the Semantic Web. Based on the "Object Oriented Hypermedia Design Method" a...
190
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
179
click to vote
ICCS
2003
Springer
16 years 7 days ago
2003
Springer
We present XML schemas and our design for related data services for describing faults and surface displacements, which we use within earthquake modeling codes. These data services ...
185
click to vote
IPPS
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper presents preliminary efforts to develop compilation and execution environments that achieve performance portability of multilevel parallelization on hierarchical archit...