Sciweavers

2065 search results - page 171 / 413
» Using Architectural Models at Runtime: Research Challenges
Sort
View
133
Voted
CCS
2007
ACM
15 years 11 months ago
On the infeasibility of modeling polymorphic shellcode
Current trends demonstrate an increasing use of polymorphism by attackers to disguise their exploits. The ability for malicious code to be easily, and automatically, transformed in...
Yingbo Song, Michael E. Locasto, Angelos Stavrou, ...
CAV
2012
Springer
265views Hardware» more  CAV 2012»
13 years 7 months ago
An Axiomatic Memory Model for POWER Multiprocessors
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayv...
ICSOC
2009
Springer
15 years 11 months ago
Engage: Engineering Service Modes with WS-Engineer and Dino
In this demonstration1 we present an approach to engineering service brokering requirements and capabilities using the concepts of Service Modes. The demonstration illustrates buil...
Howard Foster, Arun Mukhija, David S. Rosenblum, S...
CODES
2006
IEEE
15 years 6 months ago
Architectural support for safe software execution on embedded processors
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
Divya Arora, Anand Raghunathan, Srivaths Ravi, Nir...
148
Voted
BIOCOMP
2006
15 years 6 months ago
WebDock: A Structure-Based Drug Discovery Web Service
High-Throughput Docking has emerged as a well establish method for identifying lead components in the process of searching for new drugs. The High-Throughput Docking Service provi...
Joseph Gill, Legand L. Burge III, Zengjian Hu, Wil...