8503 search results - page 1236 / 1701 » Secure Software Architectures |
197
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
223
Voted
ICFEM
2007
Springer
16 years 1 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
160
Voted
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inc...
194
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mappin...
177
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Distributed programming has shifted from private networks to the Internet using heterogeneous Web APIs. This enables the creation of situational applications of composed services ...