711 search results - page 119 / 143 » Patterns in the analysis, design and implementation of frame... |
217
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Network intrusion detection systems are faced with the challenge of identifying diverse attacks, in extremely high speed networks. For this reason, they must operate at multi-Giga...
163
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
155
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...
170
click to vote
PROMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
160
click to vote
ATVA
2004
Springer
15 years 9 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...