|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3691 occurrences of 1860 keywords
|
|
|
Results
Found 8092 publication records. Showing 8092 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
35 | George M. Mohay, J. Zellers |
Kernel and Shell-Based Applications Integrity Assurance. |
ACSAC |
1997 |
DBLP DOI BibTeX RDF |
kernel-based applications integrity assurance, shell-based applications integrity assurance, software authenticity verification, CASS project, Computer Architecture for Secure Systems, UNIX SVR4.2, Mach 3.0 microkernel, portable shell, UNIX-style platforms, security, data integrity, operating system, executables, computer viruses, integrity checking, implementation issues |
34 | Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter |
The SSP: An Example of High-Assurance Systems Engineering. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Lui Sha |
Using COTS Software in High Assurance Control Applications. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Carol L. Hoover, Jeffery P. Hansen, Philip Koopman, Sandeep Tamboli |
The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Li Gong, Satya Dodda |
Security Assurance Efforts in Engineering Java 2 SE (JDK 1.2). |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Herbert Hecht |
What are the Most Critical Challenges to Integrating High Assurance Systems?. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Ann T. Tai, Kishor S. Trivedi, Herbert Hecht |
On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
Dependability evaluation workbench, off-the-shelf modeling techniques and tools, SHARPE |
33 | David L. MacPherson |
Specification and Testing of High-Assurance Systems. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
missile control, Mk48 ADCAP torpedo, torpedo high-assurance testing, US Navy, submarine-launched torpedo, anti-submarine weapon, wire-guided thermal torpedo, depth profile, speed profile, arctic ice canopy, software controlled weapon, software enhancements, software testing, cost, software upgrades, performance enhancements |
33 | V. T. Thomas |
Ten practical techniques for high assurance systems engineering. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
practical techniques, high assurance systems engineering, system dependability, software quality, complex systems, systems engineering, real-time requirements |
32 | Ruggero Morselli, Bobby Bhattacharjee, Jonathan Katz, Michael A. Marsh |
Exploiting approximate transitivity of trust. |
BROADNETS |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Kyu Ouk Lee, Jin-Ho Hahm, Young Sun Kim |
Operator's QoS Policy in WiBro Implementation. |
NEW2AN |
2006 |
DBLP DOI BibTeX RDF |
rtPS, PSS, ACR, ER, CAC, DiffServ, MIP, RAS |
32 | Hussein Ali, Mohammad Inayatullah, Shmuel Rotenstreich |
Resource allocation and QoS in mobile ad hoc networks. |
ISICT |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Richard E. Smith |
Cost profile of a highly assured, secure operating system. |
ACM Trans. Inf. Syst. Secur. |
2001 |
DBLP DOI BibTeX RDF |
LOCK (Logical Coprocessing Kernel), security kernels |
32 | Kevin J. Sullivan |
Rapid Development of Simple, Custom Program Analysis Tools. |
WPC |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Reijo Savola, Teemu Kanstrén, Antti Evesti |
First International Workshop on Measurability of Security in Software Architectures -- MeSSa 2010. |
ECSA Companion Volume |
2010 |
DBLP DOI BibTeX RDF |
security, privacy, evaluation, trust, measurement, metrics, assessment, assurance |
31 | Jörg Zettel |
Methodology Support in CASE Tools and Its Impact on Individual Acceptance and Use: A Controlled Experiment. |
Empir. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
methodology support, consistency assurance, process modelling, Computer-aided software engineering, technology acceptance |
31 | Minsu Choi, Noh-Jin Park, K. M. George, Byoungjae Jin, Nohpill Park, Yong-Bin Kim, Fabrizio Lombardi |
Fault Tolerant Memory Design for HW/SW Co-Reliability in Massively Parallel Computing Systems. |
NCA |
2003 |
DBLP DOI BibTeX RDF |
Built-in-self-repair (BISR), Field Reconfiguration, HW/SW Co-reliability, Reliability Assurance, Reliability, High performance computing, Yield, Massively parallel computing, Fault-tolerant memory, Modular Redundancy |
31 | Kazuo Kera, Keisuke Bekki, Hideki Osumi, Kinji Mori |
Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System. |
ISADS |
2003 |
DBLP DOI BibTeX RDF |
System construction way, Autonomous decentralized system, High assurance system |
31 | Christopher D. Gill, Fred Kuhns, Douglas C. Schmidt, Ron Cytron |
Empirical Differences between COTS Middleware Scheduling Strategies. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
Dynamic Scheduling Algorithms and Analysis, Real-Time Assurance and Optimization, Quality of Service Issues, Middleware and APIs, Mission Critical Systems, Distributed Real-time and Embedded Systems |
31 | Orna Raz, Mary Shaw |
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions. |
IWSSD |
2000 |
DBLP BibTeX RDF |
Medium-assurance software, everyday software, fitness for task, open resource coalitions, sufficient correctness, software homeostasis, distributed component-based software, fault tolerance |
31 | Frank Elberzhager, Thomas Bauer 0002 |
Optimizing Quality Assurance Strategies through an Integrated Quality Assurance Approach - Guiding Quality Assurance with Assumptions and Selection Rules. |
EUROMICRO-SEAA |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Ronald J. Daigle, James C. Lampe |
The level of assurance precision and associated cost demanded when providing continuous online assurance in an environment open to assurance competition. |
Int. J. Account. Inf. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Michael Kläs, Frank Elberzhager, Haruka Nakao |
Managing software quality through a hybrid defect content and effectiveness model. |
ESEM |
2008 |
DBLP DOI BibTeX RDF |
defect content estimation, expert estimation, quality assurance effectiveness, quality assurance strategy, quality management, defect prediction |
30 | Teemu Kanstrén, Reijo Savola, Antti Evesti, Heimo Pentikäinen, Artur Hecker, Moussa Ouedraogo, Kimmo Hätönen, Perttu Halonen, Christophe Blad, Óscar López, Saioa Ros |
Towards an abstraction layer for security assurance measurements: (invited paper). |
ECSA Companion Volume |
2010 |
DBLP DOI BibTeX RDF |
measurement, abstraction, dynamicity, taxonomy |
30 | Steven J. Landry, Amit V. Lagu |
A Model of Integrated Operator-System Separation Assurance and Collision Avoidance. |
HCI (11) |
2009 |
DBLP DOI BibTeX RDF |
safety, air traffic control, human performance modeling, aviation |
30 | Ilkka Uusitalo, Kaarina Karppinen, Pasi Ahonen, Heimo Pentikäinen |
Towards Evaluation of Security Assurance during the Software Development Lifecycle. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Claudio A. Ardagna, Massimo Banzi, Ernesto Damiani, Fulvio Frati |
Assurance Process for Large Open Source Code Bases. |
CSE (3) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Artur Hecker, Michel Riguidel |
On the Operational Security Assurance Evaluation of Networked IT Systems. |
NEW2AN |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Elisabeth A. Nguyen, William S. Greenwell, Myron Hecht |
Using an assurance case to support independent assessment of the transition to a new GPS ground control system. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
30 | José Fonseca 0002, Marco Vieira, Henrique Madeira |
Training Security Assurance Teams Using Vulnerability Injection. |
PRDC |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Jeffrey Choi Robinson, Jim Alves-Foss |
A high assurance MLS file server. |
ACM SIGOPS Oper. Syst. Rev. |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Steven B. Lipner |
Assurance and evaluation: what next? |
CCS |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Fabio Massacci, Artsiom Yautsiukhin |
Modelling Quality of Protection in Outsourced Business Processes. |
IAS |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Manuel RodrÃguez, João Gabriel Silva, Patricia RodrÃguez-Dapena, Han van Loon, Fernando Aldea-Montero |
Reuse of Existing Software in Space Projects - Proposed Approach and Extensions to Product Assurance and Software Engineering Standards. |
ICCBSS |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Xin Xu, Zunguo Huang, Lei Xuan |
Autonomic Computing for Defense-in-Depth Information Assurance: Architecture and a Case Study. |
GCC Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Ronny Kolb, John D. McGregor, Dirk Muthig |
Workshop on Quality Assurance in Reuse Contexts. |
SPLC |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Paul A. Karger |
The Importance of High Assurance Security in Pervasive Computing. |
SPC |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Rayford B. Vaughn, Ronda R. Henning, Ambareen Siraj |
Information Assurance Measures and Metrics - State of Practice and Proposed Taxonomy. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Samuel T. Redwine Jr. |
Dissecting Trust and the Assurance-Violation Dynamic. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Martin S. Feather, Allen P. Nikora, Constance L. Heitmeyer, Nancy R. Mead |
ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003). |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Carlos Pérez LeguÃzamo, Kinji Mori |
Autonomous Coordination in the Information Allocation in Distributed Database Systems for Assurance. |
FTDCS |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Clark Weissman |
MLS-PCA: A High Assurance Security Architecture for Future Avionics. |
ACSAC |
2003 |
DBLP DOI BibTeX RDF |
|
30 | José Raúl Romero, Oscar Pastor 0001, Jorge Belenguer |
Methodological Approach to Software Quality Assurance through High-Level Object-Oriented Metrics. |
OOIS |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Masayuki Matsumoto, Tadao Tsurumaki, Dai Watanabe, Kinji Mori |
Modeling of Train Control System and a Method of Assurance Evaluation. |
ICDCS Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
30 | John P. McDermott |
Abuse-Case-Based Assurance Arguments. |
ACSAC |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Helmut K. Berg, Prakash Rao, Bruce D. Shriver |
Firmware quality assurance. |
AFIPS National Computer Conference |
1982 |
DBLP DOI BibTeX RDF |
|
29 | Roy Ng, LinYing Dong |
An Information Assurance Framework on Trusted Autonomic Communications. |
ISECS |
2008 |
DBLP DOI BibTeX RDF |
security, model, case, Information assurance, autonomic communications |
29 | Ying Su, Zhanming Jin, Jie Peng |
Discrete-Event System Simulation for Information Quality Assurance. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
Information quality assurance, Assuring strategy, Simulation, EPC |
29 | Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden |
Model-Based Quality Assurance of Windows Protocol Documentation. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Spec Explorer, Test-driven, Protocols, Model-based testing, Quality Assurance |
29 | Tobias Otte, Robert Moreton, Heinz D. Knoell |
Applied Quality Assurance Methods under the Open Source Development Model. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
OSS survey, Open Source Development Model, Quality Assurance |
29 | Nancy R. Mead |
Position Statement: The Impact of Software Assurance on Computing Education. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Education, Software assurance |
29 | Boris S. Verkhovsky |
Information Assurance and Secure Streaming Algorithm Based on Cubic Roots of Integers. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
cubic root extraction, information recovery, network, information assurance, link failure |
29 | Jian Zhai, Qiusong Yang, Ye Yang, Junchao Xiao, Qing Wang 0001, Mingshu Li 0001 |
Automated Process Quality Assurance for Distributed Software Development. |
SEAFOOD |
2008 |
DBLP DOI BibTeX RDF |
process quality assurance, model checking, process modeling, distributed software development |
29 | Olly Gotel, Vidya Kulkarni, Christelle Scharff, Long Chrea Neak |
Students as Partners and Students as Mentors: An Educational Model for Quality Assurance in Global Software Development. |
SEAFOOD |
2008 |
DBLP DOI BibTeX RDF |
Testing, Requirements, Software Engineering Education, Auditing, Global Software Development, Software Quality Assurance, Mentoring |
29 | Arben Hajra, Derya Birant, Alp Kut 0001 |
Improving quality assurance in education with web-based services by data mining and mobile technologies. |
EATIS |
2008 |
DBLP DOI BibTeX RDF |
data mining, web services, mobile technologies, quality assurance, web-based application |
29 | Adam A. Porter, Cemal Yilmaz 0001, Atif M. Memon, Douglas C. Schmidt, Balachandran Natarajan |
Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
configurable components, testing, distributed testing, Distributed continuous quality assurance |
29 | Ahmad Ghafarian |
Ideas for projects in undergraduate information assurance and security courses. |
ITiCSE |
2007 |
DBLP DOI BibTeX RDF |
information assurance and security |
29 | Kinji Mori |
Autonomous Decentralized System for Service Assurance and Its Application. |
ISAS |
2007 |
DBLP DOI BibTeX RDF |
Service Assurance, real-time, high-performance, Autonomous Community, Autonomous Decentralized System |
29 | Rogério Atem de Carvalho, Renato de Campos, Rafael Manhaes Monnerat |
Quality Assurance in the ERP5 Development Process. |
CONFENIS (1) |
2007 |
DBLP DOI BibTeX RDF |
Enterprise Resources Planning (ERP), Software development processes, Software quality assurance, Enterprise engineering, Free/open source software |
29 | Naiyong Jin, Taoyong Ni |
Interface Specification Assurance Methods. |
ISQED |
2007 |
DBLP DOI BibTeX RDF |
Component-Based Methodology, Specification Assurance, SAT, PSL |
29 | Virgil D. Gligor, Thomas Haigh, Dick Kemmerer, Carl E. Landwehr, Steven B. Lipner, John D. McLean |
Information Assurance Technology Forecast 2005. |
IEEE Secur. Priv. |
2006 |
DBLP DOI BibTeX RDF |
security, attack, information assurance |
29 | Janine DeWitt, Cynthia Della Torre Cicalese |
Contextual integration: a framework for presenting social, legal, and ethical content across the computer security and information assurance curriculum. |
InfoSecCD |
2006 |
DBLP DOI BibTeX RDF |
ethical reasoning, integrative learning, education, case studies, active learning, curriculum, computer security, ethics, information assurance, social context, situated learning, cognitive apprenticeship, authentic learning |
29 | Gary Stoneburner |
Developer-Focused Assurance Requirements. |
Computer |
2005 |
DBLP DOI BibTeX RDF |
evaluation assurance levels, standards, common criteria, IT security |
29 | Wolfgang Zuser, Stefan Heil, Thomas Grechenig |
Software quality development and assurance in RUP, MSF and XP: a comparative study. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
software quality development, software process models, software quality assurance |
29 | Emily Seto, Ali Ursani, Joseph A. Cafazzo, Peter G. Rossos, Anthony C. Easty |
Image Quality Assurance of Soft Copy Display Systems. |
J. Digit. Imaging |
2005 |
DBLP DOI BibTeX RDF |
softcopy, cathode ray tube, liquid crystal display, DICOM 14, Grayscale Standard Display Function, SMPTE, monitor, medical imaging, calibration, Image quality, quality assurance, quality control, luminance, display system |
29 | Bartholomäus Kellerer, Manfred Reitenspieß |
Practical quality assurance for standards-based, high-availability middleware. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Service availability middleware, Interface standardization, Practical availability assurance, Hardware and software redundancy, Clustering |
29 | Cynthia E. Irvine, Michael F. Thompson, Ken Allen |
CyberCIEGE: Gaming for Information Assurance. |
IEEE Secur. Priv. |
2005 |
DBLP DOI BibTeX RDF |
CyberCIEGE, Naval Postgraduate School, Rivermind, security, simulation, risk management, entertainment, video games, information assurance, cybersecurity, IA |
29 | Brian Kelly, Richard T. Vidgen |
A quality framework for web site quality: user satisfaction and quality assurance. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
web site quality, standards, quality assurance, best practices |
29 | Anita D'Amico, Michael Kocka |
Information Assurance Visualizations for Specific Stages of Situational Awareness and Intended Uses: Lessons Learned. |
VizSEC |
2005 |
DBLP DOI BibTeX RDF |
computer network defense, Security, Visualization, Human Factors, information security, graphics, information assurance, data representation, IA |
29 | Wade Trappe, Yanyong Zhang, Badri Nath |
MIAMI: methods and infrastructure for the assurance of measurement information. |
DMSN |
2005 |
DBLP DOI BibTeX RDF |
measurement assurance, measurement security, sensor networks, consistency checks |
29 | Cemal Yilmaz 0001, Arvind S. Krishna, Atif M. Memon, Adam A. Porter, Douglas C. Schmidt, Aniruddha S. Gokhale, Balachandran Natarajan |
Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
design of experiment theory, performance-oriented regression testing, distributed continuous quality assurance |
29 | Chien-Chuan Chen, Yung-Liang Wan, Yau-Yau Wai, Ho-Ling Liu |
Quality Assurance of Clinical MRI Scanners Using ACR MRI Phantom: Preliminary Results. |
J. Digit. Imaging |
2004 |
DBLP DOI BibTeX RDF |
ACR, MRI, image quality, quality assurance, phantom |
29 | Barbara Endicott-Popovsky |
Ethics and Teaching Information Assurance. |
IEEE Secur. Priv. |
2003 |
DBLP DOI BibTeX RDF |
Computer Crime Survey, Information Assurance, computer crime |
29 | Masayuki Matsumoto |
Assurance Technology for Coexisting Test and Operation Subsystems and Its Application to Train Control System. |
ISADS |
2003 |
DBLP DOI BibTeX RDF |
Train Control, D-ATC, Assurance, Autonomous Decentralized System |
29 | Paul Grünbacher, Michael Halling, Stefan Biffl, Hasan Kitapci, Barry W. Boehm |
Repeatable Quality Assurance Techniques for Requirements Negotiations. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
Pre-requirements, quality assurance techniques, GSS support, empirical evaluation, requirements negotiation |
29 | Stephen F. Bush |
Active Virtual Network Management Prediction: Complexity as a Framework for Prediction, Optimization, and Assurance. |
DANCE |
2002 |
DBLP DOI BibTeX RDF |
Active Virtual Network Management Pre-diction, Information Assurance and Active Networks, Kolmogorov Complexity |
29 | Michael McEvilley |
The essence of information assurance and its implications for the Ada community. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
Ada, information assurance, security engineering |
29 | Carlos Pérez LeguÃzamo, Shohei Kato, Kenji Hirai, Kinji Mori |
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
acceralator, allowable volume, mobile agent, distributed database, e-business, assurance |
29 | Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko |
Component-based software engineering: technologies, development frameworks, and quality assurance schemes. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
software development frameworks, software quality assurance schemes, software development paradigm, component requirement analysis, component certification, component customization, system architecture design, software architecture, software architecture, object-oriented programming, software maintenance, software quality, program testing, certification, system integration, component-based software engineering, subroutines, system testing, system maintenance, off-the-shelf components, component development |
29 | Dale M. Johnson, Lee A. Benzinger |
Layering Boundary Protections: An Experiment in Information Assurance. |
ACSAC |
2000 |
DBLP DOI BibTeX RDF |
DARPA Information Assurance Program, boundary protection layering, attack protection, experiment, security of data, data security, client-server systems, client server system, data privacy, data confidentiality |
29 | J. Barrie Thompson, Helen M. Edwards |
How to Teach Practical Software Quality Assurance: An Experience Report. |
APAQS |
2000 |
DBLP DOI BibTeX RDF |
Software Engineering, Standards, Pedagogy, Quality Assurance |
29 | David N. Wilson |
Software quality assurance in Australia: an update. |
Softw. Qual. J. |
1997 |
DBLP DOI BibTeX RDF |
software quality, software quality assurance, software quality management |
29 | Siew Hock Ow, Mashkuri Yaacob |
A Survey on Software Quality Assurance - A Malaysian Perspective. |
ISCNZ |
1996 |
DBLP DOI BibTeX RDF |
Survey Methodology, SQA, QA Problems, QA Tools, SQA Team, Software Quality, Software, Software Quality Assurance |
29 | Ramkumar V. Pichai, Joseph E. Urban |
A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems |
29 | Jeffrey M. Voas, Frank Charron, Keith W. Miller 0001 |
Investigating rare-event failure tolerance: reductions in future uncertainty. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
rare-event failure tolerance, computer assurance, failure tolerance assessment technique, software fault tolerance, software fault tolerance, operational profile |
29 | I-Ling Yen |
Computer security: the good, the bad and the ugly. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
Trusted Computer Systems Evaluation Criteria, computer security, firewall, cost, security of data, data security, high assurance systems |
29 | Christian von Reventlow |
Comparing quality assurance methods and the resulting design strategies: Experiences from complex designs. |
J. Electron. Test. |
1994 |
DBLP DOI BibTeX RDF |
quality assurance methods, VLSI design methodology, Inspections |
27 | Eryk Kylikowski, Riccardo Scandariato, Wouter Joosen |
Using Multi-Level Security Annotations to Improve Software Assurance. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Daniel Robinson, Gerald Kotonya |
A Self-Managing Brokerage Model for Quality Assurance in Service-Oriented Systems. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen |
Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Michael D. DiRossi |
Towards a High Assurance Secure Computing Platform. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Asesh Das |
Information Assurance Architecture with Storyboarding Models. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Paul Townend, Nik Looker, Dacheng Zhang, Jie Xu 0007, Jianxin Li 0002, Liang Zhong, Jinpeng Huai |
CROWN-C: A High-Assurance Service-Oriented Grid Middleware System. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jeong-Oog Lee, Ho-Jun Lee |
Building High Assurance Multidisciplinary Design Optimization Framework. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Ekpe Okorafor |
All-Optical Routing for High Assurance Computer Systems. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Branson W. Murrill |
Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jawwad Shamsi, Monica Brockmeyer |
SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Joanne Bechta Dugan, Ganesh J. Pai, Hong Xu |
Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jeong-Oog Lee, Dae Hee Won, Sangkyung Sung, Taesam Kang, Young Jae Lee |
High Assurance GPS Integrity Monitoring System Using Particle Filtering Approach. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Kurt Rohloff, Joseph P. Loyall, Partha P. Pal, Richard E. Schantz |
High-Assurance Distributed, Adaptive Software for Dynamic Systems. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 8092 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|