410 search results - page 61 / 82 » Validating Cyber Security Requirements: A Case Study |
ENTCS
2002
13 years 8 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
RE
2008
Springer
13 years 8 months ago
2008
Springer
Abstract During the selection of commercial off-theshelf (COTS) products, mismatches encountered between stakeholders' requirements and features offered by COTS products are i...
JSAC
2011
13 years 3 months ago
2011
—This paper studies the multihop packet delivery delay in a low density vehicular ad hoc network (VANET). We address a disrupted vehicle-to-infrastructure communication scenario,...
XMLSEC
2003
ACM
14 years 2 months ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...
MICCAI
2000
Springer
14 years 16 days ago
2000
Springer
Our goal was to improve image guidance during minimally invasive image guided therapy by developing an intraoperative segmentation and nonrigid registration algorithm. The algorith...