Search results for "sophistication"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Deborah Wilson, Daniel Dayton, R. Todd Hansell	ASDEN: a comprehensive design framework vision for automotive electronic control systems.	CODES	2000	DBLP DOI BibTeX RDF
10	David Petrou, Khalil Amiri, Gregory R. Ganger, Garth A. Gibson	Easing the management of data-parallel systems via adaptation.	ACM SIGOPS European Workshop	2000	DBLP DOI BibTeX RDF
10	Júlia Sawaki Tanaka, Edson Tadeu Monteiro Manoel, Luciano da Fontoura Costa	Curvature and Orientation Estimation by Neuronal Structures.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	partial differential operators, neuronal morphometry, simulation, neural networks, computer vision, computer vision, neurons, orientation estimation, curvature estimation
10	Chris G. Christou, Heinrich H. Bülthoff	Using Realistic Virtual Environments in the Study of Spatial Encoding.	Spatial Cognition	2000	DBLP DOI BibTeX RDF
10	John A. C. Woodley	Reliability at Any Cost - Risk Management through Contract Technology.	HICSS	2000	DBLP DOI BibTeX RDF
10	Daphne Economou, William L. Mitchell, Steve Pettifer, Adrian J. West	CVE Technology Development Based on Real World Application and User Needs.	WETICE	2000	DBLP DOI BibTeX RDF	education, human factors, collaborative virtual environments, virtual actors
10	Martín Abadi	Taming the Adversary.	CRYPTO	2000	DBLP DOI BibTeX RDF
10	Jana Kosecka	Hierarchies of Sensing and Control in Visually Guided Agents.	SOFSEM	2000	DBLP DOI BibTeX RDF
10	M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman	Comprehensive Specification of Distributed Systems Using I5 and IOA.	SCCC	2000	DBLP DOI BibTeX RDF	distributed systems specification, incompatible components, IOA formal language, I5 specification framework, architectural definition, semantic specification, software architecture, formal specification, standardization, distributed processing, specification languages, specification language, communication protocols, configuration management, configuration management
10	Marian H. Nodine, Damith Chandrasekara, Amy Unruh	Task Coordination Paradigms for Information Agents.	ATAL	2000	DBLP DOI BibTeX RDF
10	Amir Pnueli, Ofer Strichman, Michael Siegel	Translation Validation: From SIGNAL to C.	Correct System Design	1999	DBLP DOI BibTeX RDF
10	Russell G. Almond	Undoing Statistical Advice.	IDA	1999	DBLP DOI BibTeX RDF
10	Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov	Design and Implementation of the Fiduccia-Mattheyses Heuristic for VLSI Netlist Partitioning.	ALENEX	1999	DBLP DOI BibTeX RDF
10	Leo Hartman, Louis Hoebel	Is AI planning now?	SIGART Bull.	1998	DBLP DOI BibTeX RDF
10	Richard C. Linger, Nancy R. Mead, Howard F. Lipson	Requirements Definition for Survivable Network Systems.	ICRE	1998	DBLP DOI BibTeX RDF
10	Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj	SCR*: A Toolset for Specifying and Analyzing Software Requirements.	CAV	1998	DBLP DOI BibTeX RDF
10	Henrik Legind Larsen, Troels Andreasen, Henning Christiansen 0001	Knowledge Discovery for Flexible Querying.	FQAS	1998	DBLP DOI BibTeX RDF
10	Richard H. Waterman	Operations systems (OS) unbundling: it's all about interfaces.	NOMS	1998	DBLP DOI BibTeX RDF
10	Amir Pnueli, Ofer Strichman, Michael Siegel	Translation Validation for Synchronous Languages.	ICALP	1998	DBLP DOI BibTeX RDF
10	Julie Jones, Robin Taber	Lessons Learned in Developing Simulation-Based Expert Systems for Troubleshoting Training.	Intelligent Tutoring Systems	1998	DBLP DOI BibTeX RDF
10	Subhasish Mazumdar, Gary Yuan, Weifeng Bao, Jonathan Price	Adding Semantics to SGML Databases.	EP	1998	DBLP DOI BibTeX RDF
10	Wei-Min Shen, Jafar Adibi, Rogelio Adobbati, Srini Lanksham, Hadi Moradi, Behnam Salemi, Sheila Tejada	Integrated Reactive Soccer Agents.	RoboCup	1998	DBLP DOI BibTeX RDF
10	Joel C. Adams	Chance-It: an object-oriented capstone project for CS-1.	SIGCSE	1998	DBLP DOI BibTeX RDF
10	Constance L. Heitmeyer	On the Need for Practical Formal Methods.	FTRTFT	1998	DBLP DOI BibTeX RDF
10	Thorsten von Eicken	Integration of U-Net into Windows/NT.	PCRCW	1997	DBLP DOI BibTeX RDF
10	Sandro Morasca, Lionel C. Briand	Towards A Theoretical Framework For Measuring Software Attributes.	IEEE METRICS	1997	DBLP DOI BibTeX RDF	software attribute measurement, software product properties, construct validity, unambiguous definition, hierarchical axiomatic framework, measurement scales, software engineering, software metrics, theoretical foundations, theoretical framework, axiomatic approaches, consistent measures
10	Myla Archer, Constance L. Heitmeyer	Human-Style Theorem Proving Using PVS.	TPHOLs	1997	DBLP DOI BibTeX RDF
10	Paul A. Swatman	OPEN-MeNtOR: a third generation OO methodology-advanced tasks and techniques.	APSEC	1997	DBLP DOI BibTeX RDF	OPEN-MeNtOR, full-lifecycle object-oriented methodology, large-scale deployments, process-focussed methodology, object-oriented methods, object technology
10	George Turkiyyah, Steven J. Fenves	Knowledge-Based Assistance for Finite-Element Modeling.	IEEE Expert	1996	DBLP DOI BibTeX RDF
10	Jonas Skeppstedt, Per Stenström	Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	performance evaluation, cache coherence, dataflow analysis
10	Stephen N. Freund, Eric S. Roberts	Thetis: an ANSI C programming environment designed for introductory use.	SIGCSE	1996	DBLP DOI BibTeX RDF
10	Janet Aisbett	On the relevance of an algorithm to a problem.	ANZIIS	1996	DBLP DOI BibTeX RDF
10	Tetsuya Hara, Hideki Ando, Chikako Nakanishi, Masao Nakaya	Performance Comparison of ILP Machines with Cycle Time Evaluation.	ISCA	1996	DBLP DOI BibTeX RDF
10	Armando Fox, Steven D. Gribble, Eric A. Brewer, Elan Amir	Adapting to Network and Client Variability via On-Demand Dynamic Distillation.	ASPLOS	1996	DBLP DOI BibTeX RDF	Internet
10	Tomás Isakowitz, Shimon Schocken, Henry C. Lucas Jr.	Toward a Logical/Physical Theory of Spreadsheet Modeling.	ACM Trans. Inf. Syst.	1995	DBLP DOI BibTeX RDF	model management
10	Cindy Cullen	Internet vulnerabilities of one-time passcode mechanisms.	LCN	1995	DBLP DOI BibTeX RDF	one-time passcode mechanisms, passive attack, one-time passcode server, hacker tools, authentication, security of data, vulnerabilities, hackers, user identification
10	Jong-Deok Choi, Ron Cytron, Jeanne Ferrante	On the Efficient Engineering of Ambitious Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	efficient engineering, compile-time methods, pointer references, array accesses, optimization phase, information benefit, analysis information volume, data-flow chains, reaching definitions, demand-driven computation, software engineering, compilers, optimisation, program analysis, programming environments, program compilers, data-flow analysis, program diagnostics, compact representation, static single assignment, procedure calls
10	Jonathan M. Lever, Barry Richards	parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints.	ISMIS	1994	DBLP DOI BibTeX RDF
10	Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck	Combinations of Abstract Domains for Logic Programming.	POPL	1994	DBLP DOI BibTeX RDF
10	Lawrence Lau, Mike Rezny, John Belward, Kevin Burrage, Bert Pohl	ADVISE - Agricultural Developmental Visualisation Interactive Software Environment.	CONPAR	1994	DBLP DOI BibTeX RDF
10	Barry S. Fagin	Two years of "The Digital World": portable courseware for technological literacy.	SIGCSE	1994	DBLP DOI BibTeX RDF
10	Zoran Ivkovic, Errol L. Lloyd	Fully Dynamic Algorithms for Bin Packing: Being (mostly) Myopic Helps.	ESA	1993	DBLP DOI BibTeX RDF
10	Stephan Müller 0003, Kevin Kells, Wolfgang Fichtner	Automatic rectangle-based adaptive mesh generation without obtuse angles.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
10	J. Paul Harvey, Mohamed I. Elmasry, Bosco Leung	STAIC: an interactive framework for synthesizing CMOS and BiCMOS analog circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
10	Eduard H. Hovy	A New Level of Language Generation Technology: Capabilities and Possibilities.	IEEE Expert	1992	DBLP DOI BibTeX RDF
10	E. Jane Cameron, C. A. Norman, Lillian Ruston, Hassan N. Srinidhi	Forming telecommunications software specifications from a service-driven model using enhanced software tools.	J. Syst. Integr.	1992	DBLP DOI BibTeX RDF	service modeling, service specification, Service creation
10	Partho Pratim Mishra, Hemant Kanakia	A Hop by Hop Rate-Based Congestion Control Scheme.	SIGCOMM	1992	DBLP DOI BibTeX RDF
10	Wendy G. Lehnert, Claire Cardie, David Fisher, Ellen Riloff, Robert Williams 0001	University of Massachusetts: description of the CIRCUS system as used for MUC-3.	MUC	1991	DBLP DOI BibTeX RDF
10	Mark S. Ma	Simulation of an expert model-based adaptive controller.	Annual Simulation Symposium	1990	DBLP DOI BibTeX RDF
10	John Parkinson	Making CASE Work.	CAiSE	1990	DBLP DOI BibTeX RDF
10	Jürgen-Friedrich Hake, Willi Homberg	The impact of memory organization on the performance of matrix multiplication.	SC	1990	DBLP DOI BibTeX RDF	IBM 3090/VF, CRAY X-MP
10	Robbert van Renesse, Andrew S. Tanenbaum, Sape J. Mullender	The Evolution of a Distributed Operating System.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
10	Robert G. Brookshire	Models for the organization of academic computing.	SIGUCCS	1989	DBLP DOI BibTeX RDF
10	Ed Brinksma	Constraint-Oriented Specification in a Constructive Formal Description Technique.	REX Workshop	1989	DBLP DOI BibTeX RDF	constraint-oriented specification, multi-way synchronization, specification styles, synchronization by association, formal specification, refinement, process algebra, LOTOS, parallel composition, conjunction
10	Diana Patterson	The myth and realities of C.A.S.E. for documentation.	SIGDOC	1989	DBLP DOI BibTeX RDF
10	Les L. Miller, Ali R. Hurson	Supporting Amybe Algebra in the Associative Search Language Machine (ASLM).	SIGMOD Rec.	1987	DBLP DOI BibTeX RDF
10	Michael L. Morgan, Michael L. Arington	MEND (abstract only): a self-improving diagnostic with deep knowledge.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
10	Charles A. Dyer	Evolutionary changes in microcomputer services and support.	SIGUCCS	1987	DBLP DOI BibTeX RDF
10	Thelma Estrin	The UCLA Brain Research Institute data processing laboratory.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF
10	Tariq Samad, Stephen W. Director	Towards a natural language interface for CAD.	DAC	1985	DBLP DOI BibTeX RDF
10	Cecelia Jankowski	Engineering workstation applications to systems design (panel session): life above the IC.	DAC	1985	DBLP DOI BibTeX RDF
10	Jeffrey Kurn, Scott L. McGregor	Toward an electronic programmer's assistant.	SIGDOC	1983	DBLP DOI BibTeX RDF
10	Bezalel Gavish, Harvey S. Koch	An Extensible Architecture for Data Flow Processing.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
10	D. M. Symes	New Control Structures to Aid Gotolessness.	POPL	1975	DBLP DOI BibTeX RDF
10	John Whiting, Sandy Newman	Microprocessors in CRT terminals.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
10	Martin A. Goetz, L. A. Welke, Patrick McGovern, Burton Grad	Current trends in the software products industry.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
10	Eric L. Baatz, B. W. Jordan Jr., K. J. King, William J. Lennon, Z. Z. Stroll	Design of a minicomputer network for the automatic determination of amino acid sequences in proteins.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
10	E. L. Lohse	Standards: Heading format for data transmission (A USAAI) tutorial.	Commun. ACM	1968	DBLP DOI BibTeX RDF	data transmission heading format, heading format, message format, message headings, data transmission
10	Francis F. Lee	Machine-to-man communication by speech part 1: generation of segmental phonemes from text.	AFIPS Spring Joint Computing Conference	1968	DBLP DOI BibTeX RDF
10	Jack B. Dennis, Earl C. Van Horn	Programming semantics for multiprogrammed computations.	Commun. ACM	1966	DBLP DOI BibTeX RDF
10	Jesse H. Katz	Optimizing bit-time computer simulation.	Commun. ACM	1963	DBLP DOI BibTeX RDF
10	E. M. Boehm, Thomas B. Steel Jr.	The Share 709 System: Machine Implementation of Symbolic Programming.	J. ACM	1959	DBLP DOI BibTeX RDF