757 search results - page 41 / 152 » Composing Security-Aware Software |
114
click to vote
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
105
Voted
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
QoS has been one of the major challenges in Web Services area. Though negotiated in the contract, service quality usually can not be guaranteed by providers. Therefore, the servic...
107
click to vote
PODC
2010
ACM
15 years 6 months ago
2010
ACM
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory bu...
ASPDAC
2001
ACM
15 years 6 months ago
2001
ACM
Abstract-- We are proposing "PPRAM-Link": a new highspeed communication standard for merged-DRAM/logic SoC architecture. PPRAM-Link standard is composed of physical/logic...
FSTTCS
2000
Springer
15 years 6 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...