|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 13th Annual Computer Security Applications Conference (ACSAC 1997), 8-12 December 1997, San Diego, CA, USA, pp. 34-43, 1997, IEEE Computer Society, 0-8186-8274-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 167-177, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Lui Sha |
Using COTS Software in High Assurance Control Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 118, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 207-216, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Li Gong, Satya Dodda |
Security Assurance Efforts in Engineering Java 2 SE (JDK 1.2). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 89-96, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Herbert Hecht |
What are the Most Critical Challenges to Integrating High Assurance Systems?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 227-230, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings, pp. 2-13, 1997, IEEE Computer Society, 0-8186-7971-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 8-15, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 55-56, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: Fourth International Conference on Broadband Communications, Networks and Systems, (BROADNETS 2007), 10-14 September 2007, Raleigh, North-Carolina, USA, pp. 515-524, 2007, IEEE, 978-1-4244-1432-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Kyu Ouk Lee, Jin-Ho Hahm, Young Sun Kim |
Operator's QoS Policy in WiBro Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEW2AN ![In: Next Generation Teletraffic and Wired/Wireless Advanced Networking, 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006, Proceedings, pp. 271-277, 2006, Springer, 3-540-34429-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICT ![In: Proceedings of the Intenational Symposium on Information and Communication Technologies, Las Vegas, Nevada, USA, June 16-18, 2004, pp. 56-62, 2004, Trinity College Dublin, 1-59593-170-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Richard E. Smith |
Cost profile of a highly assured, secure operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 4(1), pp. 72-101, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
LOCK (Logical Coprocessing Kernel), security kernels |
32 | Kevin J. Sullivan |
Rapid Development of Simple, Custom Program Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPC ![In: 4th International Workshop on Program Comprehension (WPC '96), March 29-31, 1996, Berlin, Germany, pp. 40-44, 1996, IEEE Computer Society, 0-8186-7283-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Companion Volume ![In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume, pp. 151-154, 2010, ACM, 978-1-4503-0179-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 10(3), pp. 367-394, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: 2nd IEEE International Symposium on Network Computing and Applications (NCA 2003), 16-18 April 2003, Cambridge, MA, USA, pp. 341-350, 2003, IEEE Computer Society, 0-7695-1938-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy, pp. 266-273, 2003, IEEE Computer Society, 0-7695-1876-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings, pp. 922-948, 2002, Springer, 3-540-00106-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 159-170, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 40th EUROMICRO Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2014, Verona, Italy, August 27-29, 2014, pp. 402-405, 2014, IEEE Computer Society, 978-1-4799-5795-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Account. Inf. Syst. ![In: Int. J. Account. Inf. Syst. 6(2), pp. 129-156, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Michael Kläs, Frank Elberzhager, Haruka Nakao |
Managing software quality through a hybrid defect content and effectiveness model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, ESEM 2008, October 9-10, 2008, Kaiserslautern, Germany, pp. 321-323, 2008, ACM, 978-1-59593-971-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Companion Volume ![In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume, pp. 189-196, 2010, ACM, 978-1-4503-0179-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 394-402, 2009, Springer, 978-3-642-02808-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 817-822, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Claudio A. Ardagna, Massimo Banzi, Ernesto Damiani, Fulvio Frati |
Assurance Process for Large Open Source Code Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (3) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 412-417, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Artur Hecker, Michel Riguidel |
On the Operational Security Assurance Evaluation of Networked IT Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEW2AN ![In: Smart Spaces and Next Generation Wired/Wireless Networking, 9th International Conference, NEW2AN 2009 and Second Conference on Smart Spaces, ruSMART 2009, St. Petersburg, Russia, September 15-18, 2009. Proceedings, pp. 266-278, 2009, Springer, 978-3-642-04188-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings, pp. 102-107, 2008, IEEE Computer Society, 978-1-4244-2397-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | José Fonseca 0002, Marco Vieira, Henrique Madeira |
Training Security Assurance Teams Using Vulnerability Injection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, pp. 297-304, 2008, IEEE Computer Society, 978-0-7695-3448-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Jeffrey Choi Robinson, Jim Alves-Foss |
A high assurance MLS file server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 41(1), pp. 45-53, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Steven B. Lipner |
Assurance and evaluation: what next? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2007 ACM Conference on Computer and Communications Security, CCS 2007, Alexandria, Virginia, USA, October 28-31, 2007, pp. 1, 2007, ACM, 978-1-59593-703-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Fabio Massacci, Artsiom Yautsiukhin |
Modelling Quality of Protection in Outsourced Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: Proceedings of the Third International Symposium on Information Assurance and Security, IAS 2007, August 29-31, 2007, Manchester, United Kingdom, pp. 247-252, 2007, IEEE Computer Society, 978-0-7695-2876-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBSS ![In: COTS-Based Software Systems, 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings, pp. 258-267, 2005, Springer, 3-540-24548-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC Workshops ![In: Grid and Cooperative Computing - GCC 2004 Workshops: GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004. Proceedings, pp. 414-421, 2004, Springer, 3-540-23578-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Ronny Kolb, John D. McGregor, Dirk Muthig |
Workshop on Quality Assurance in Reuse Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC ![In: Software Product Lines, Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings, pp. 330, 2004, Springer, 3-540-22918-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Paul A. Karger |
The Importance of High Assurance Security in Pervasive Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPC ![In: Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers, pp. 9, 2003, Springer, 3-540-20887-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 331, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Samuel T. Redwine Jr. |
Dissecting Trust and the Assurance-Violation Dynamic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 331, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA, pp. 787-788, 2003, IEEE Computer Society, 0-7695-1877-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 28-30 May 2003, San Juan, Puerto Rico, Proceedings, pp. 175-182, 2003, IEEE Computer Society, 0-7695-1910-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Clark Weissman |
MLS-PCA: A High Assurance Security Architecture for Future Avionics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 19th Annual Computer Security Applications Conference (ACSAC 2003), 8-12 December 2003, Las Vegas, NV, USA, pp. 2-12, 2003, IEEE Computer Society, 0-7695-2041-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Object-Oriented. Information Systems, 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002, Proceedings, pp. 397-408, 2002, Springer, 3-540-44087-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 22nd International Conference on Distributed Computing Systems, Workshops (ICDCSW '02) July 2-5, 2002, Vienna, Austria, Proceedings, pp. 89-94, 2002, IEEE Computer Society, 0-7695-1588-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | John P. McDermott |
Abuse-Case-Based Assurance Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 17th Annual Computer Security Applications Conference (ACSAC 2001), 11-14 December 2001, New Orleans, Louisiana, USA, pp. 366-374, 2001, IEEE Computer Society, 0-7695-1405-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Helmut K. Berg, Prakash Rao, Bruce D. Shriver |
Firmware quality assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1982 National Computer Conference, 7-10 June, 1982, Houston, Texas, USA, pp. 3-10, 1982, AFIPS Press, 0-88283-035-X. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
29 | Roy Ng, LinYing Dong |
An Information Assurance Framework on Trusted Autonomic Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 367-373, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 18-23, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 502-506, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 1247-1252, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 6, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Education, Software assurance |
29 | Boris S. Verkhovsky |
Information Assurance and Secure Streaming Algorithm Based on Cubic Roots of Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 910-915, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAFOOD ![In: Software Engineering Approaches for Offshore and Outsourced Development - 2nd International Conference, SEAFOOD@TOOLS 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers, pp. 196-210, 2008, Springer, 978-3-642-01855-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAFOOD ![In: Software Engineering Approaches for Offshore and Outsourced Development - 2nd International Conference, SEAFOOD@TOOLS 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers, pp. 90-106, 2008, Springer, 978-3-642-01855-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EATIS ![In: Proceedings of the 2008 Euro American conference on Telematics and Information Systems, EATIS 2008, Aracaju, Brazil, September 10-12, 2008, 2008, 978-1-59593-988-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(8), pp. 510-525, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007, pp. 322, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
information assurance and security |
29 | Kinji Mori |
Autonomous Decentralized System for Service Assurance and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAS ![In: Service Availability, 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings, pp. 1-8, 2007, Springer, 978-3-540-72735-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (1) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 1, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 677-687, 2007, Springer, 978-0-387-75901-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 8th International Symposium on Quality of Electronic Design (ISQED 2007), 26-28 March 2007, San Jose, CA, USA, pp. 269-274, 2007, IEEE Computer Society, 978-0-7695-2795-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 4(1), pp. 62-69, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
InfoSecCD ![In: Proceedings of the 3rd Annual Conference on Information Security Curriculum Development, InfoSecCD 2006, Kennesaw, Georgia, USA, September 22-23, 2006, pp. 30-40, 2006, ACM, 1-59593-437-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 38(7), pp. 91-93, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-6, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 18(4), pp. 280-286, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(4), pp. 376-387, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 3(3), pp. 61-64, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 930-931, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VizSEC ![In: 2nd IEEE Workshop on Visualization for Computer Security, VizSEC 2005, Minneapolis, MN, USA, October 26, 2005, pp. 13, 2005, IEEE Computer Society, 0-7803-9477-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMSN ![In: Proceedings of the 2nd Workshop on Data Management for Sensor Networks, in conjunction with VLDB, DMSN 2005, Trondheim, Norway, August 30, 2005, pp. 11-17, 2005, ACM, 1-59593-206-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 293-302, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 17(4), pp. 279-284, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ACR, MRI, image quality, quality assurance, phantom |
29 | Barbara Endicott-Popovsky |
Ethics and Teaching Information Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 1(4), pp. 65-67, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy, pp. 259-265, 2003, IEEE Computer Society, 0-7695-1876-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 23, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DANCE ![In: 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 29-31 May 2002, San Francisco, CA, USA, pp. 534-, 2002, IEEE Computer Society, 0-7695-1564-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2002 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002, Houston, Texas, USA, December 8-12, 2002, pp. 35-39, 2002, ACM, 1-58113-611-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 589-595, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 372-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 16th Annual Computer Security Applications Conference (ACSAC 2000), 11-15 December 2000, New Orleans, Louisiana, USA, pp. 60-66, 2000, IEEE Computer Society, 0-7695-0859-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APAQS ![In: 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings, pp. 181-187, 2000, IEEE Computer Society, 0-7695-0825-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Software Engineering, Standards, Pedagogy, Quality Assurance |
29 | David N. Wilson |
Software quality assurance in Australia: an update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 6(2), pp. 81-87, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCNZ ![In: Proceedings of the 1996 Information Systems Conference of New Zealand, ISCNZ '96, October 30-31, 1996, pp. 154-163, 1996, IEEE Computer Society, 0-8186-7710-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 40-49, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 78-85, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 52-53, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 5(2-3), pp. 269-272, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 471-474, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Daniel Robinson, Gerald Kotonya |
A Self-Managing Brokerage Model for Quality Assurance in Service-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 424-433, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 333-342, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Michael D. DiRossi |
Towards a High Assurance Secure Computing Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 381-382, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Asesh Das |
Information Assurance Architecture with Storyboarding Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 377-378, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 35-44, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jeong-Oog Lee, Ho-Jun Lee |
Building High Assurance Multidisciplinary Design Optimization Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 391-392, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Ekpe Okorafor |
All-Optical Routing for High Assurance Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 427-428, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Branson W. Murrill |
Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 409-410, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jawwad Shamsi, Monica Brockmeyer |
SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 187-196, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 245-255, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 437-438, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 385-386, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|