Search results for "TAOS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
137	Debra J. Richardson	TAOS: Testing with Analysis and Oracle Support.	ISSTA	1994	DBLP DOI BibTeX RDF	DEBUG
109	J. H. Medeiros, L. M. Kafure, Bernardo Lula Jr.	TAOS: A Task-and-Action Oriented Framework for User's Task Analysis in the Context of Human-Computer Interfaces Design.	SCCC	2000	DBLP DOI BibTeX RDF	TAOS, task-and-action oriented framework, KL-ONE, user interfaces, knowledge representation, knowledge representation, user centered design, knowledge based systems, human factors, conceptual model, user interface design, knowledge acquisition, knowledge acquisition, user centred design, task analysis, task analysis, modeling language, task description
53	Nancy S. Eickelmann, Debra J. Richardson	An Evaluation of Software Test Environment Architectures.	ICSE	1996	DBLP BibTeX RDF	CITE, CONVEX Integrated Test Environment, PROLOG Test Environment, Version II, PROTest II, Software Architectural Analysis Method, TAOS, Testing with Analysis and Oracle Support, architecturally imposed constraints, environment functions allocation, implementation structures, processing algorithms, software test environment architectures, test development, test failure analysis, test measurement, test process automation, performance, software architecture, programming environments, program testing, software reusability, extensibility, reusability, software performance evaluation, portability, functionality, computer aided software engineering, software portability, testing tools, data representation, reference architecture, modifiability, test management, modifications, test planning, test execution, SAAM
40	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
40	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
40	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
40	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
40	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
40	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
36	Juanjuan Li, Rui Qin 0002, Sangtian Guan, Xiao Xue 0001, Peng Zhu, Fei-Yue Wang 0001	Digital CEOs in Digital Enterprises: Automating, Augmenting, and Parallel in Metaverse/CPSS/TAOs.	IEEE CAA J. Autom. Sinica	2024	DBLP DOI BibTeX RDF
36	Geunsik Lim, MyungJoo Ham, Ji Joong Moon, Wook Song, Sangjung Woo, Sewon Oh	TAOS-CI: Lightweight & Modular Continuous Integration System for Edge Computing.	CoRR	2021	DBLP BibTeX RDF
36	Geunsik Lim, MyungJoo Ham, Ji Joong Moon, Wook Song, Sangjung Woo, Sewon Oh	TAOS-CI: Lightweight & Modular Continuous Integration System for Edge Computing.	ICCE	2019	DBLP DOI BibTeX RDF
36	Edward Wobber, Martín Abadi, Michael Burrows	Authentication in the Taos Operating System.	ACM Trans. Comput. Syst.	1994	DBLP DOI BibTeX RDF	cryptography, mathematical logic
36	Edward Wobber, Martín Abadi, Michael Burrows, Butler W. Lampson	Authentication in the Taos Operating System.	SOSP	1993	DBLP DOI BibTeX RDF
20	Vijayalakshmi Amudhan, Devi Thirupathi	Traffic Adaptive Optimum Updating Scheme for Search Engines.	ICDIM	2006	DBLP DOI BibTeX RDF
20	A. V. Singh, Louise E. Moser, P. M. Melliar-Smith	Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA.	EDCC	2005	DBLP DOI BibTeX RDF
20	Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath	A Correlation Framework for the CORBA Component Model.	FASE	2004	DBLP DOI BibTeX RDF
20	Paolo Maresca, Angela Guercio, Timothy Arndt, Pasquale Donadio	Transformation Dataflow in Multimedia Software Engineering Using TAO_XML: A Component-Based Approach.	MDIC	2001	DBLP DOI BibTeX RDF
20	Andrew W. Appel, Edward W. Felten	Proof-Carrying Authentication.	CCS	1999	DBLP DOI BibTeX RDF
20	Brian N. Bershad, David D. Redell, John R. Ellis	Fast Mutual Exclusion for Uniprocessors.	ASPLOS	1992	DBLP DOI BibTeX RDF
20	Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy	Lightweight Remote Procedure Call.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF
20	Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy	Lightweight Remote Procedure Call.	SOSP	1989	DBLP DOI BibTeX RDF
20	Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin	Synchronization Primitives for a Multiprocessor: A Formal Specification.	SOSP	1987	DBLP DOI BibTeX RDF