Sciweavers

10625 search results - page 647 / 2125
» Supporting delay-intolerant applications
Sort
View
CCS
2010
ACM
15 years 7 months ago
On verifying stateful dataflow processing services in large-scale cloud systems
Cloud computing needs to provide integrity assurance in order to support security sensitive application services such as critical dataflow processing. In this paper, we present a ...
Juan Du, Xiaohui Gu, Ting Yu
CMS
2010
207views Communications» more  CMS 2010»
15 years 7 months ago
Statistical Detection of Malicious PE-Executables for Fast Offline Analysis
While conventional malware detection approaches increasingly fail, modern heuristic strategies often perform dynamically, which is not possible in many applications due to related ...
Ronny Merkel, Tobias Hoppe, Christian Krätzer...
FCCM
2008
IEEE
176views VLSI» more  FCCM 2008»
15 years 7 months ago
The Effectiveness of Configuration Merging in Point-to-Point Networks for Module-based FPGA Reconfiguration
Communications infrastructure for modular reconfiguration of FPGAs needs to support the changing communications interfaces of a sequence of modules. In order to avoid the overhead...
Shannon Koh, Oliver Diessel
ASE
2008
102views more  ASE 2008»
15 years 7 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
CGF
2008
120views more  CGF 2008»
15 years 7 months ago
COPERNICUS: Context-Preserving Engine for Route Navigation with Interactive User-modifiable Scaling
In this paper, we present an automated system for generating context-preserving route maps that depict navigation routes as a path between nodes and edges inside a topographic net...
Hartmut Ziegler, Daniel A. Keim