conf/dagstuhl/Mullender91:::Sape J. Mullender:::Systems for the Nineties - Distributed Multimedia Systems.
conf/dagstuhl/MusserSL98:::David R. Musser::Sibylle Schupp::Rüdiger Loos:::Requirement Oriented Programming.
conf/dagstuhl/VinczeACZPL00:::Markus Vincze::Minu Ayromlou::Stefan Chroust::Michael Zillich::Wolfgang Ponweiser::Dietmar Legenstein:::Dynamic Aspects of Visual Servoing and a Framework for Real-Time 3D Vision for Robotics.
conf/dagstuhl/KirchnerV90:::Claude Kirchner::Patrick Viry:::Implementing Parallel Rewriting.
conf/dagstuhl/CoeurjollyDT00:::David Coeurjolly::Isabelle Debled-Rennesson::Olivier Teytaud:::Segmentation and Length Estimation of 3D Discrete Curves.
conf/dagstuhl/ChomickiT98:::Jan Chomicki::David Toman:::Temporal Logic in Information Systems.
conf/dagstuhl/Niemann93:::Heinrich Niemann:::Mustererkennung.
conf/dagstuhl/Wolf94a:::Helmut Wolf:::Bericht der Arbeitsgruppe "Qualitätssicherung bei der Integration von Umweltdaten".
conf/dagstuhl/KorhonenST01:::Ari Korhonen::Erkki Sutinen::Jorma Tarhio:::Understanding Algorithms by Means of Visualized Path Testing.
conf/dagstuhl/Jiang98:::Xiaoyi Jiang:::Recent Advances in Range Image Segmentation.
conf/dagstuhl/WuJW97:::Yu Wu::Sushil Jajodia::Xiaoyang Sean Wang:::Temporal Database Bibliography Update.
conf/dagstuhl/NoborioU98:::Hiroshi Noborio::Kenji Urakawa:::Near-Optimal Sensor-Based Navigation in an Environment Cluttered sith Simple Shapes.
conf/dagstuhl/EhrichCSD98:::Hans-Dieter Ehrich::Carlos Caleiro::Amílcar Sernadas::Grit Denker:::Logics for Specifying Concurrent Information Systems.
conf/dagstuhl/KarlssonS01:::Lars Karlsson::Tommaso Schiavinotto:::Progressive Planning for Mobile Robots (A Progress Report).
conf/dagstuhl/JasperU03:::Rob Jasper::Mike Uschold:::Enabling Task-Centered Knowledge Support through Semantic Markup.
conf/dagstuhl/Sellen96:::Jürgen Sellen:::Curvature-Constrained Path Planning.
conf/dagstuhl/Helbing95:::Dirk Helbing:::Survival Analysis, Master Equation, Efficient Simulation of Path-Related Quantities, and Hidden State Concept of Transitions.
conf/dagstuhl/Svensson00:::Stina Svensson:::Reversible Surface Skeletons of 3D Objects by Iterative Thinning of Distance Transforms.
conf/dagstuhl/Fellows00:::Michael R. Fellows:::Parameterized Complexity: The Main Ideas and Connections to Practical Computing.
conf/dagstuhl/GarciaAM95:::Alonso Garcia::M. Alejandro::K. M. Luis Matey:::Tools for Mechanical Analysis and Simulation.
conf/dagstuhl/Jarvis94:::Ray Jarvis:::Localisation, Environmental Modelling and Path Planning for Autonomous Mobile Robot Navigation.
conf/dagstuhl/Larriba-Pey02:::Josep-Lluis Larriba-Pey:::Exploitation of the Memory Hierarchy in Relational DBMSs.
conf/dagstuhl/Zirkelbach96:::Christian Zirkelbach:::Integration of Automated Guided Vehicles into Manufacturing Plants.
conf/dagstuhl/Salzwedel02:::Kay Salzwedel:::Algorithmic Approaches for Storage Networks.
conf/dagstuhl/Bertelsen02:::Olav W. Bertelsen:::Reorienting.
conf/dagstuhl/KrogerN91:::Reinhold Kröger::Edgar Nett:::System Level Support for Dependable Distributed Applications.
conf/dagstuhl/BulowK00:::Thomas Bülow::Reinhard Klette:::Approximation of 3D Shortest Polygons in Simple Cube Curves.
conf/dagstuhl/Schwedhelm91:::Rolf Schwedhelm:::Einsatzmöglichkeiten interaktiver Grafik dargestellt am Beispiel eines Kanal-Informationssystems.
conf/dagstuhl/Reinhardt01:::Klaus Reinhardt:::The Complexity of Translating Logic to Finite Automata.
conf/dagstuhl/BonattiS03:::Piero A. Bonatti::Pierangela Samarati:::Logics for Authorization and Security.
conf/dagstuhl/MenasceA00:::Daniel A. Menascé::Virgilio Almeida:::Performance of Client/Server Systems.
conf/dagstuhl/Dankwort95:::C. Werner Dankwort:::CAx Systems Architecture of the Future.
conf/dagstuhl/CourcelleL93:::Bruno Courcelle::Jens Lagergren:::Recognizable Sets of Graphs of Bounded Tree-Width.
conf/dagstuhl/BanatreB91:::Jean-Pierre Banâtre::Michel Banâtre:::Fast Stable Storage as a Basis for Fault-Tolerant Architectures.
conf/dagstuhl/LangevinCWV94:::Michel Langevin::Eduard Cerny::Jörg Wilberg::Heinrich Theodor Vierhaus:::Local microcode generation in system design.
conf/dagstuhl/CorporaalH94:::Henk Corporaal::Jan Hoogerbrugge:::Code generation for transport triggered architectures.
conf/dagstuhl/DawsonJ94:::Scott Dawson::Farnam Jahanian:::Deterministic Fault Injection of Distributed Systems.
conf/dagstuhl/Arnborg93:::Stefan Arnborg:::Decomposability Helps for Deciding Logics of Knowledge and Belief.
conf/dagstuhl/GemisPPB93:::Marc Gemis::Jan Paredaens::Peter Peelman::Jan Van den Bussche:::A Computational Model for Generic Graph Functions.
conf/dagstuhl/LakshmanY95:::K. Lakshman::Raj Yavatkar:::Aqua: A adaptive end-system quality of service architecture.
conf/dagstuhl/JirotkaL02:::Marina Jirotka::Paul Luff:::Representing and Modeling Collaborative Practices for Systems Development.
conf/dagstuhl/HofmannSE91:::Fridolin Hofmann::Peter Schlenk::Thomas Eirich:::Encapsulation and Interaction in Future Operating Systems.
conf/dagstuhl/KroseVB00:::Ben J. A. Kröse::Nikos A. Vlassis::Roland Bunschoten:::Omnidirectional Vision for Appearance-Based Robot Localization.
conf/dagstuhl/ThebautS92:::Stephen M. Thebaut::Vincent Y. Shen:::Task-Specific Utility Assessment Models and their Role in the Development of Software Engineering Handbooks.
conf/dagstuhl/Willhalm99:::Thomas Willhalm:::Software Packages.
conf/dagstuhl/Evstiougov-Babaev01:::Alexander A. Evstiougov-Babaev:::Call Graph and Control Flow Graph Visualization for Developers of Embedded Applications.
conf/dagstuhl/Studer01:::Thomas Studer:::Constructive Foundations for Featherweight Java.
conf/dagstuhl/Grutzner91:::Rolf Grützner:::Simulation in Umweltinformationssystemen.
conf/dagstuhl/JiangHSAB00:::Xiaoyi Jiang::S. Hofer::T. Stahs::I. Ahrns::Horst Bunke:::A New Technique for the Extraction and Tracking of Surfaces in Range Image Sequences.
conf/dagstuhl/SadarjoenWHP94:::I. Ari Sadarjoen::Theo van Walsum::Andrea J. S. Him::Frits H. Post:::Practicle Tracing Algorithms for 3D Curvilinear Grids.
conf/dagstuhl/Ertel90:::Wolfgang Ertel:::Random Competition: A Simple but Efficient Method for Parallelizing Inference Systems.
conf/dagstuhl/FiatW96:::Amos Fiat::Gerhard J. Woeginger:::Competitive Analysis of Algorithms.
conf/dagstuhl/MinkR95:::Ulrich Mink::Dieter Roller:::New ECAD System Technology.
conf/dagstuhl/Flach98:::Peter A. Flach:::From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases.
conf/dagstuhl/Fenton92a:::Norman E. Fenton:::Session 2 Summary: Objectives and Context of Measurement or Experimentation.
conf/dagstuhl/KouvatsosF95:::Demetres D. Kouvatsos::Rod J. Fretwell:::Batch renewal process: exact model of traffic correlation.
conf/dagstuhl/Sakharov96:::Alexander Sakharov:::Specialization of Imperative Programs Through Analysis of Relational Expressions.
conf/dagstuhl/Funken93:::Christiane Funken:::Frauenforschung in der Informatik: Wissenschafliche Analyse oder sozial Bewegung?.
conf/dagstuhl/BerwangerB01a:::Dietmar Berwanger::Achim Blumensath:::Automata for Guarded Fixed Point Logics.
conf/dagstuhl/Gotzhein94:::Reinhard Gotzhein:::Applying a Temporal Logic to the RPC-Memory Specification Problem.
conf/dagstuhl/EckEFHVW98:::Pascal van Eck::Joeri Engelfriet::Dieter Fensel::Frank van Harmelen::Yde Venema::Mark Willems:::Specification of Dynamics for Knowledge-Based Systems.
conf/dagstuhl/TrompB92:::John Tromp::Peter van Emde Boas:::Associative Storage Modification Machines.
conf/dagstuhl/SchimakDH94:::Gerald Schimak::Ralf Denzer::Heinrich Humer:::Integration in the Austrian Ozone Network.
conf/dagstuhl/HackS95:::D. Hack::August-Wilhelm Scheer:::Leitplanung für ein Informationsmanagement von Umweltbehörden.
conf/dagstuhl/SaonaNB98:::Carlos Saona::Isabel Navazo::Pere Brunet:::Navigation in Highly Polygon-Populated Ship Environments using the Visibility Octree.
conf/dagstuhl/KarkkainenR02:::Juha Kärkkäinen::S. Srinivasa Rao:::Full-Text Indexes in External Memory.
conf/dagstuhl/LaengleLR94:::Thomas Laengle::Tim Lüth::Ulrich Rembold:::A Distributed Control Architecture for Autonomous Robot Systems.
conf/dagstuhl/ZitterbartF95:::Martina Zitterbart::Andreas Fieger:::End-to-end communication across hybrid networks.
conf/dagstuhl/DanthineB95:::André A. S. Danthine::Olivier Bonaventure:::Is ATM a continuity or a discontinuity for the lan environment?.
conf/dagstuhl/Yelick90:::Katherine A. Yelick:::Parallel Completion.
conf/dagstuhl/Scacchi92:::Walt Scacchi:::Qualitative Techniques and Tools for Measuring, Analyzing, and Simulating Software Processes.
conf/dagstuhl/Spaniol93:::Otto Spaniol:::Akzeptanz.
conf/dagstuhl/Cugini98:::Umberto Cugini:::Feature-Based Assembly for Aeronautics Design.
conf/dagstuhl/HeflinHL03:::Jeff Heflin::James A. Hendler::Sean Luke:::SHOE: A Blueprint for the Semantic Web.
conf/dagstuhl/ConselHNNV96:::Charles Consel::Luke Hornof::François Noël::Jacques Noyé::Nicolae Volansche:::A Uniform Approach for Compile-Time and Run-Time Specialization.
conf/dagstuhl/UhligM00:::Richard Uhlig::Trevor N. Mudge:::Trace-Driven Memory Simulation: A Survey.
conf/dagstuhl/Arimoto96:::Suguru Arimoto:::Circuit-Theoretic Module-Based Modeling and Control of Robotic Systems.
conf/dagstuhl/StappenBGO00:::A. Frank van der Stappen::Robert-Paul Berretty::Kenneth Y. Goldberg::Mark H. Overmars:::Geometry and Part Feeding.
conf/dagstuhl/JohansenH94:::Dag Johansen::Gunnar Hartvigsen:::Architectural Issues in the StormCast System.
conf/dagstuhl/Tran-Gia93:::Phuoc Tran-Gia:::Discrete-time analysis of usage parameter control functions in ATM systems.
conf/dagstuhl/Becker97:::Axel Becker:::Design mit energieoptimierten Twists.
conf/dagstuhl/Shrivastava94:::Santosh K. Shrivastava:::Lessons Learned from Building and Using the Arjuna Distributed Programming System.
conf/dagstuhl/KokicCB97:::Philip N. Kokic::Ray L. Chambers::Steve Beare:::Microsimulating Farm Business Performance.
conf/dagstuhl/Ahouse02:::Jeremy C. Ahouse:::Are the Eyes Homologous?
conf/dagstuhl/DanovaroFMP00:::Emanuele Danovaro::Leila De Floriani::Paola Magillo::Enrico Puppo:::Representing Vertex-Based Simplicial Multi-complexes.
conf/prozess/LemppG88:::Peter Lempp::Peter Göhner:::Software Reverse Engineering als Basis für eine zuverlässige Wartung und Wiederverwendung von Prozeßautomatisierungssystemen.
conf/prozess/Hotes74:::Helmut Hotes:::Funktionsbausteine für Realzeit - Betriebssysteme.
conf/prozess/ElbeshausenS84:::E. Elbeshausen::Gerhard H. Schildt:::Automatisierter Testablauf für Anwendersoftware bei Prozeßsteuerungen.
conf/prozess/Kurz88:::Eberhard Kurz:::Formale Spezifikation und Rapid Prototyping - ein Widerspruch?.
conf/prozess/Gottschalk74:::Werner Gottschalk:::Zur Entwurfsmethodologie von Programmsystemen für Prozessrechner.
conf/prozess/Moog74:::R. Moog:::Anthropotechnische Grundlagen der Informationsdarstellung auf prozessrechnergesteuerten Sichtgeräten.
conf/prozess/Swik77:::R. Swik:::Prozeßrechnergestützte Software-Entwicklung für Mikrorechner.
conf/prozess/Hanbaba88:::P. Hanbaba:::Rechnergestützte Dokumentationserstellunge für ein digitales Kraftwerkleitsystem.
conf/prozess/Howein84:::W. Howein:::Verfahren und Mittel zur industriellen Softwareerstellung.
conf/prozess/BurgG91:::Bernhard Bürg::Helmut Guth:::COSMOS-2D - Ein System zur vollautomatischen, optischen und geometrie-invarainten Vermessung von ebenen Strukturoberflächen.
conf/prozess/EpleHKK84:::Wolfgang K. Epple::M. D. Hagemann::M. A. Klump::Günter R. Koch:::Spezifikation von Prozeßautomatisierungssystemen.
conf/prozess/Roestel77:::Thomas Roestel:::Umsetzung von DIPOL-Programmen in PEARL-Programme.
conf/prozess/HaubnerK88:::Hans-Jörg Haubner::Helmut Kornmann:::Fehlerdiagnose in verteilten Rechnersystemen mit dem Expertensystem REX.
conf/prozess/Eichenauer74:::Bernd F. Eichenauer:::Ein portabler Übersetzer für einen Subset der Prozess - Programmiersprache PEARL.
conf/prozess/GschwindU84:::Hans W. Gschwind::H. Uebel:::Fail-safe-Systeme mit redundanten Rechnern.
conf/prozess/RischS91:::W. Risch::H. Steinbach:::Ergonomische Gestaltung von Prozessleitständen im Maschinenbau.
conf/prozess/KappDSH81:::Karlheinz Kapp::Reiner Daum::Erich Sartori::Reinhard Harms:::Sicherheit durch vollständige Diversität.
conf/prozess/Riegg88:::A. Riegg:::Konfigurationsmanagement als integraler Bestandteil von Software/Hardware-Produktionsumgebungen für Automatisierungssysteme.
conf/prozess/Klose91:::F. Klose:::CIM in der Fertigungsindustrie am Beispiel der Kunststoffverarbeitung - Schwerpunkt Qualitätssicherung.
conf/prozess/BechererK77:::E. Becherer::V. Kussl:::Rationelle Software-Produktion durch mehrstufiges Montieren und Modifizieren von Prozeßrechnerprogrammen.
conf/prozess/Benz-Overhage84:::Karin Benz-Overhage:::Soziale Folgen der Prozeßdatenverarbeitung / Automatisierung und Möglichkeiten der Arbeits- und Qualifikationsgestaltung.
conf/prozess/EggenbergerHMNP77:::O. Eggenberger::A. Hellmann::A. J. Mark::Jürgen Nehmer::Rainer Petereit:::Eine Erstellungsmethode für maßgeschnittene Kleinrechner-Software.
conf/prozess/Fischer91:::Klaus Fischer:::Ein Agentensystem für eine flexible Fertigungsteuerung.
conf/prozess/Brauer84:::H. Brauer:::Fehlertolerantes sicheres Rechnersystem.
conf/prozess/Farber77:::Georg Färber:::Verteilung von Systemfunktionen auf Hardware und Software von Prozeßrechnern.
conf/prozess/Muller81:::Klaus-Dieter Müller:::Struktur und Organisation von Prozeßrechner-Systemen am Beispiel der Steuerung für das Fusionsexperiment TEXTOR.
conf/safecomp/Drechsler98:::Rolf Drechsler:::Verifying Integrity of Decision Diagrams.
conf/safecomp/KaanicheGAB01:::Mohamed Kaâniche::Yannick Le Guédart::Jean Arlat::Thierry Boyer:::An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models.
conf/safecomp/ChenMH00:::Luping Chen::John H. R. May::Gordon Hughes:::A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software.
conf/safecomp/Hussey00:::Andrew Hussey:::HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems.
conf/safecomp/PorcarelliGCB01:::Stefano Porcarelli::Felicita Di Giandomenico::Amine Chohra::Andrea Bondavalli:::Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems.
conf/safecomp/NaedeleDS01:::Martin Naedele::Dacfey Dzung::Michael Stanimirov:::Network Security for Substation Automation Systems.
conf/safecomp/CaspiMP01:::Paul Caspi::Christine Mazuet::Natacha Reynaud Paligot:::About the Design of Distributed Control Systems: The Quasi-Synchronous Approach.
conf/safecomp/Lindner98:::Arndt Lindner:::ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation.
conf/safecomp/RottkeHHH02:::Thomas Rottke::Denis Hatebur::Maritta Heisel::Monika Heiner:::A Problem-Oriented Approach to Common Criteria Certification.
conf/safecomp/BertoliCGT98:::Piergiorgio Bertoli::Alessandro Cimatti::Fausto Giunchiglia::Paolo Traverso:::A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.
conf/safecomp/Filgueiras99:::Lucia Vilela Leite Filgueiras:::Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces.
conf/safecomp/Zhang00:::Wenhui Zhang:::Validation of Control System Specifications with Abstract Plant Models.
conf/safecomp/Zhang02:::Wenhui Zhang:::A Strategy for Improving the Efficiency of Procedure Verification.
conf/safecomp/Martin-VivaldiI98:::Nicolás Martín-Vivaldi::Peter Isacsson:::Controlling your Design through your Software Process.
conf/safecomp/BloomfieldCKUW00:::Robin E. Bloomfield::Dan Craigen::Frank Koob::Markus Ullmann::Stefan Wittmann:::Formal Methods Diffusion: Past Lessons and Future Prospects.
conf/safecomp/NowickiG98:::Bartosz Nowicki::Janusz Górski:::Object Oriented Safety Analysis of an Extra High Voltage Substation Bay.
conf/safecomp/Aichernig99:::Bernhard K. Aichernig:::Automated Black-Box Testing with Abstract VDM Oracles.
conf/safecomp/Dafelmair02:::Ferdinand J. Dafelmair:::Survivability Strategy for a Security Critical Process.
conf/safecomp/PapadopoulosM99:::Yiannis Papadopoulos::John A. McDermid:::Hierarchically Performed Hazard Origin and Propagation Studies.
conf/safecomp/Schenk00:::Andreas Schenk:::SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller.
conf/interworking/FirmezaF00:::João Firmeza::Francisco Fontes:::Deploying Advanced IP Services on a Community Network.
conf/interworking/AtovH02:::Irena Atov::Richard J. Harris:::Dimensioning Method for Multiservice IP Networks to Satisfy Delay QoS Constraints.
conf/interworking/KirsteinCHO02:::Peter T. Kirstein::Ken Carlberg::Kristian Hasler::Piers O'Hanlon:::Media Transmission over Coupled Wired/Wireless.
conf/interworking/HolnessP00:::Felicia Holness::Chris Phillips:::Congestion Control Mechanism for Taffic Engineering within MPLS Networks.
conf/interworking/SbataV00:::Karim Sbata::Pierre Vincent:::Development of Internet Services Based on Pure JAVA Technology.
conf/interact/NielsenLDVDG97:::Janni Nielsen::Gitte Lindgaard::Lone Dirckinck-Holmfeld::Morten Vendelø::Oluf Danielsen::Marianne Georgsen:::User requirements capture for a multimedia CSCW system.
conf/interact/LeachaGJM97:::Geoff Leach::Ghassan al-Qaimari::Mark Grieve::Noel Jinks::Cameron McKay:::Elements of a Three-dimensional Graphical User Interface.
conf/interact/NakagawaOY97:::Masaki Nakagawa::Tsuyoshi Oguni::Takashi Yoshino:::Human Interface and Applications on IdeaBoard.
conf/interact/FieldsWH97:::Bob Fields::Peter C. Wright::Michael D. Harrison:::Objectives, strategies and resources as design drivers.
conf/interact/TeasleyS97:::Barbee Teasley::Jean Scholtz:::User-Centered GUI Standards Design: A Case Study.
conf/interact/Lim97:::Kee Yong Lim:::Command/Shortcut Keys in WIMP User Interfaces: A Lost Cause?
conf/interact/KayK97:::Judy Kay::Bob Kummerfeld:::Teaching User Interface Design and Programming to Computer Science majors.
conf/interact/Ziegler97:::Jürgen Ziegler:::ViewNet - Conceptual Design and Modelling of Navigation.
conf/interact/ChristelWT97:::Michael G. Christel::David B. Winkler::C. Roy Taylor:::Improving Access to a Digital Video Library.
conf/interact/Shan90:::Yen-Ping Shan:::An object-oriented UIMS for rapid prototyping.
conf/interact/Duursma90:::C. M. Duursma:::Support for understanding and participation in a distributed problem solving system.
conf/interact/Wulf97:::Volker Wulf:::Storing and Retrieving Documents in a Shared Workspace: Experiences from the Political Administration.
conf/interact/Yang90:::Yiya Yang:::Current approaches and new guidelines for undo support design.
conf/interact/Rahmati97:::Nasrin Rahmati:::Cross-National Decision Making in a Group Support Systems Environment.
conf/interact/ScholtzW90:::Jean Scholtz::Susan Wiedenbeck:::Learning to program in another language.
conf/interact/SewellG90:::Daniel R. Sewell::Norman D. Geddes:::A plan and goal based method for computer-human system design.
conf/interact/ZeiligerK97:::Romain Zeiliger::David S. Kosbie:::Automating Tasks for Groups of Users: A System-Wide "Epiphyte" Approach.
conf/interact/BevanC97a:::Nigel Bevan::Ian Curson:::Planning and Implementing User-Centred Design Using ISO 13407.
conf/interact/BevanC97b:::Nigel Bevan::Ian Curson:::Methods for Measuring Usability.
conf/interact/LawrenceS90:::Deborah Lawrence::Rory Stuart:::Case study of development of a user interface for a voice activated dialing service.
conf/interact/CoutazCB97:::Joëlle Coutaz::James L. Crowley::François Bérard:::Eigen-Space Coding as a Means to Support Privacy in Computer Mediated Communication.
conf/interact/Taylor90:::Bronwen Taylor:::The HUFIT planning analysis and specification toolset.
conf/interact/BurgerJ97:::Karyn Burger::Ellen Jackson:::Usability Evaluation Techniques for Large-Scale Web Sites.
conf/interact/ColganB90:::Lynne Colgan::Maddy D. Brouwer-Janse:::An analysis of the circuit design process for a complex engineering application.
conf/interact/Edmondson90:::William H. Edmondson:::Decision track: A formalism for menu structure and user's selection behaviour.
conf/interact/AndersonCGMS90:::Richard I. Anderson::John M. Carroll::Jonathan Grudin::John F. McGrew::Dominique L. Scapin:::Task analysis: The oft missing step in the development of computer-human interfaces; its desirable nature, value, and role.
conf/interact/Oestreicher90:::Lars Oestreicher:::Logic descriptions in rapid prototyping of applications.
conf/interact/SeelGKS90:::Nigel R. Seel::Julia Galliers::George Kiss::Stephen A. R. Scrivener:::Multi-agent interaction.
conf/interact/Darses90:::Françoise Darses:::Constraints in design: Towards a methodology of psychological analysis based on AI formalisms.
conf/interact/PowrieS90:::S. E. Powrie::C. E. Siemieniuch:::An investigation of user requirements for broadband communications in the automotive industry.
conf/interact/SegallCR97:::Patsy Segall::Andrew Clement::Toni Robertson:::Relationships Between Work, Organisational Re-engineering and Information Systems.
conf/interact/Hewett97:::Thomas T. Hewett:::Cognitive Factors in Design: Basic Phenomena in Human Memory and Problem Solving.
conf/interact/BourguetA97:::Marie-Luce Bourguet::Akio Ando:::Speech timing prediction in multimodal human-computer interaction.
conf/interact/OzkanSB97:::Nadine Ozkan::Duncan Stevenson::Sandrine Balbo:::HCI at CSIRO: Practical Research.
conf/interact/RobertsonDOF90:::Scott P. Robertson::Erle F. Davis::Kyoko Okabe::Douglas Fitz-Randolf:::Program comprehension beyond the line.
conf/interact/Wastell90:::David Graham Wastell:::Mental effort and task performance: Towards a psychophysiology of human computer interaction.
conf/interact/KambaF97:::Tomonari Kamba::Laurent Freléchoux:::Where to locate user profiles of personalized applications? - A user profile management agent.
conf/interact/WolfKZO97:::Catherine G. Wolf::Max Kassler::Wlodek Zadrozny::Lukasz Opyrchal:::Talking to the Conversation Machine: An Empirical Study.
conf/interval/Garloff85:::Jürgen Garloff:::Convergent Bounds for the Range of Multivariate Polynomials.
conf/sagamore/KellerC74:::Tom W. Keller::K. Mani Chandy:::Computer Models with Constrained Parallel Processors.
conf/sagamore/Handler74:::Wolfgang Händler:::A Unified Associative and von-Neumann Processor EGPP and EGPP Array.
conf/sagamore/Reddi74:::S. S. Reddi:::Analytic and Implementation Considerations of Two-Facility Sequencing in Computer Systems.
conf/sagamore/CouranzGY74:::George R. Couranz::Mark S. Gerhardt::Charles J. Young:::Programmable Radar Signal Processing Using the Rap.
conf/sagamore/ReynoldsC74:::P. F. Reynolds::K. Mani Chandy:::A Recognizer and Post-Recognizer for Optimizing Execution Times of Programs.
conf/performance/BaerJ77:::Jean-Loup Baer::John E. Jensen:::Simulation of Large Parallel Systems: Modelling of Tasks.
conf/performance/Materna79:::Winfried Materna:::An Approach to the Construction of Workload Models.
conf/performance/Kaufman84:::J. S. Kaufman:::Finite and Infinite Source Interactions.
conf/performance/GhodsiK90:::Mohammad Ghodsi::Krishna Kant:::Performance Analysis of Parallel Search Algorithms on Multiprocessors.
conf/performance/HongK83:::Jim P. Hong::Gil Kim:::Class Dependent Queueing Disciplines with Product Form Solutions.
conf/performance/Walke77:::Bernhard Walke:::Improved Bounds and an Approximation for a Dynamic Priority Queue.
conf/performance/MarieS77:::Raymond A. Marie::William J. Stewart:::A Hybrid Iterative-Numerical Method for the Solution of a General Queueing Network.
conf/performance/Feitelson02:::Dror G. Feitelson:::Workload Modeling for Performance Evaluation.
conf/performance/FayolleIM83:::Guy Fayolle::R. Iasnogorodski::Isi Mitrani:::The Distribution of Sojourn Times in a Queueing Network with Overtaking: Reduction to a Boundary Problem.
conf/performance/Nelson84:::Randolph Nelson:::The Stochastic Cusp, Swallowtail, and Hyperbolic Umbilic Catastrophes as Manifest in a simple Communications Model.
conf/performance/BucciS77:::Giacomo Bucci::Donald N. Streeter:::A User-Oriented Approach to the Design of Distributed Information Systems.
conf/performance/GelenbeK76:::Erol Gelenbe::Alain Kurinckx:::Random Injection Control of Multiprogramming in Virtual Memory.
conf/performance/MitraM83:::Debasis Mitra::J. A. Morrison:::Asymptotic Expansions of Moments of the Waiting Time in Closed and Open Processor-sharing Systems with Multiple Job Classes.
conf/performance/BadelS76:::Marc Badel::Annie V. Y. Shum:::Accuracy of an Approximate Computer System Model.
conf/performance/FrickerR90:::Christine Fricker::Philippe Robert:::A Memory Reference Model for the Analysis of Cache Memories.
conf/performance/AndreoliniCC02:::Mauro Andreolini::Valeria Cardellini::Michele Colajanni:::Benchmarking Models and Tools for Distributed Web-Server Systems.
conf/performance/BaccelliR83:::François Baccelli::Philippe Robert:::Analysis of Update Response Times in a Distributed Data Base Maintained by the Conservative Time Stamps Ordering Algorithm.
conf/performance/ShumB77:::Annie W. Shum::Jeffrey P. Buzen:::A Method for Obtaining Approximate Solutions to Closed Queueing Networks with General Service Times.
conf/performance/KenevanM84:::James R. Kenevan::Anneliese von Mayrhauser:::Convexity and Concavity Properties of Analytic Queuing Models for Computer Systems.
conf/performance/Cellary77:::Wojciech Cellary:::Task Scheduling in Systems with Nonpreemptible Recources.
