16725 search results - page 596 / 3345 » Engineering Software Correctness |
162
click to vote
RE
2007
Springer
16 years 1 months ago
2007
Springer
Based on our recent experience in four projects, each focused on either security-critical or safety-critical software, this paper evaluates several notions, widely held by RE rese...
170
click to vote
COMPSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
180
click to vote
OOPSLA
2005
Springer
16 years 20 days ago
2005
Springer
There is a critical need for approaches to support software testing. Our research exploits the information described at Architectural Patterns to drive the definition of tests. As...
233
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We introduce a new practical mechanism for remote data storage with efficient access pattern privacy and correctness. A storage client can deploy this mechanism to issue encrypted...
198
click to vote
CEJCS
2011
14 years 7 months ago
2011
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...