Sciweavers

8623 search results - page 359 / 1725
» Software engineering for secure systems
Sort
View
ICSM
2005
IEEE
16 years 12 days ago
Strider: Configuration Modelling and Analysis of Complex Systems
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...
Simon Lock
188
Voted
CGO
2008
IEEE
15 years 8 months ago
Pipa: pipelined profiling and analysis on multi-core systems
Dynamic instrumentation systems are gaining popularity as means of constructing customized program profiling and analysis tools. However, dynamic instrumentation based analysis to...
Qin Zhao, Ioana Cutcutache, Weng-Fai Wong
ISPASS
2007
IEEE
16 years 1 months ago
An Analysis of Performance Interference Effects in Virtual Environments
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
Younggyun Koh, Rob C. Knauerhase, Paul Brett, Mic ...
KBSE
2003
IEEE
16 years 2 days ago
A Programmable Client-Server Model: Robust Extensibility via DSLs
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...
Charles Consel, Laurent Réveillère
COMPSAC
2007
IEEE
15 years 10 months ago
Conformance Checking of Access Control Policies Specified in XACML
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie