8623 search results - page 113 / 1725 » Software engineering for secure systems |
ISSE
2011
13 years 3 months ago
2011
Application developers utilizing event-based middleware have sought to leverage domain-specific modeling for the advantages of intuitive specification, code synthesis, and suppo...
SIGSOFT
2002
ACM
14 years 10 months ago
2002
ACM
This paper explores the idea that redundant operations, like type errors, commonly flag correctness errors. We experimentally test this idea by writing and applying four redundanc...
EUROSYS
2007
ACM
14 years 6 months ago
2007
ACM
We describe a new design for authorization in operating systems in which applications are first-class entities. In this design, principals reflect application identities. Access c...
EUROSYS
2007
ACM
14 years 6 months ago
2007
ACM
Antiquity is a wide-area distributed storage system designed to provide a simple storage service for applications like file systems and back-up. The design assumes that all serve...
EUROSYS
2011
ACM
13 years 20 days ago
2011
ACM
The increasing popularity of cloud storage services has lead companies that handle critical data to think about using these services for their storage needs. Medical record databa...