Conferences in DBLP
Alberto Broggi , Alexander D. Stoyenko Engineering Complex Computer Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Bach , Michael Braun , Arno Formella , Jörg Friedrich , Thomas Grün , Cédric Lichtenau Building the 4 Processor SB-PRAM Prototype. [Citation Graph (0, 0)][DBLP ] Conf ] V. J. Fazio , R. D. Pose Distributed Route Initialization Algorithms for the Monash Secure RISC Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Panzieri , Marco Roccetti Communication Support for Critical Distributed Multimedia Applications: an Experimental Study. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Hansson , Mikael Sjödin , Ken Tindell Guaranteeing Real-Time Traffic Through an ATM Network. [Citation Graph (0, 0)][DBLP ] Conf ] Garret Okamoto , Guanghan Xu Multimedia Communications over Wireless LANs via the SWL Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Miriam A. M. Capretz Conceptual Model for a Software Maintenance Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Habib Ammari Towards Program Debugging and Dynamic Reverse Engineering Using Multi-procedure Program Dynamic Decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Hee Beng Kuan Tan , Tok Wang Ling Recovery of Functional Dependencies from Data-Intensive Business Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Keiko Takahashi , Isao Ono , Hiroshi Satoh , Shigenobu Kobayashi An Efficient Genetic Algorithm for Reachability Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio A. Schreiber , Marcello L. Falleni Analysis of Data Transmission Performance over a GSM Cellular Network. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Burrell , Panayota Papantoni-Kazakos An Integrated Approach to Signaling, Transmission, and Traffic Monitoring for Dynamic Capacity Allocation in Mobile ATM Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Olli-Matti Penttinen , Tino Pyssysalo , Leo Ojala Performance Analysis of Adaptive Video on Demand Using Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Reiner W. Hartenstein , Jürgen Becker A Two-level Co-Design Framework for Xputer-based data-driven reconfigurable Accelerators. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd J. Krämer A Case Study in Developing Complex Safety Critical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tangny Le Quenven , Alexander Hayward Use of Optimization and Simulation in the Implementation of the Process. [Citation Graph (0, 0)][DBLP ] Conf ] Catherine H. Gebotys , Robert J. Gebotys Performance-Power Optimization of Memory Components for Complex Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Enzo Mumolo , Giulia Bernardis A Novel Demand Prefetching Algorithm Based on Volterra Adaptive Prediction for Virtual Memory Management Systems. [Citation Graph (0, 0)][DBLP ] Conf ] David Channon , David Koch Performance Analysis of Re-configurable Partitioned TLBs. [Citation Graph (0, 0)][DBLP ] Conf ] Billibon H. Yoshimi , Peter K. Allen Integrating Real-Time Vision And Manipulation. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Tucakov , Michael Sahota , Don Murray , Alan K. Mackworth , James J. Little , Stewart Kingdon , Cullen Jennings , Rod Barman Spinoza: A Stereoscopic Visually Guided Mobile Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Stig Fr. Mjølsnes , Rolf Michelsen Open Transnational System for Digital Currency Payments. [Citation Graph (0, 0)][DBLP ] Conf ] Monica Alderighi , Giacomo R. Sechi , Riccardo P. G. Mazzei , Francesco Tisato Broadcast Automata: a Parallel Scalable Architecture for Prototypal Embedded Processors for Space Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond J. A. Buhr , Alex Hubbard Use Case Maps for Engineering Real Time and Distributed Computer. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Piaggio , Renato Zaccaria An Information Exchange Protocol in a Multi-Layer Distributed Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Diot , Aruna Seneviratne Quality of Service in Heterogeneous Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] James D. Kiper , Brent Auernheimer , Charles K. Ames Techniques for Safety Critical Software Develoopment. [Citation Graph (0, 0)][DBLP ] Conf ] Cui Zhang , Brian R. Becker , Dave Peticolas , Mark Heckman , Karl N. Levitt , Ronald A. Olsson Verification of a Distributed Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Paul E. Black , Phillip J. Windley Verifying Resilient Software. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Hecht , Myron Hecht Test-Linked Specification For Safety-Critical Software. [Citation Graph (0, 0)][DBLP ] Conf ] Tien-fu Chang , Alejandro Danylyzsn , So Norimatsu , Jose Rivera , David Shepard , Anthony Lattanze , James E. Tomayko "Continuous Verification" in Mission Critical Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Christer Carlsson , Pirkko Walden , Deepak N. Kumar Emerging Paradingms for Intelligent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Seppo Puuronen , Vagan Y. Terziyan The Voting-Type Technique in the Refinement of Multiple Expert Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Kamp , Bernd Neumann Knowledge-based Inference Methods for Modeling Technical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hannu Vanharanta , Pekka Pihlanto , Ai-Mei Chang Decision Support for Strategic Management in a Hyperknowledge Environment and The Holistic Concept of Man. [Citation Graph (0, 0)][DBLP ] Conf ] Pirkko Walden , Christer Carlsson , Ossi Kokkonen Hyperknowledge in Practice - Users' Attitudes to Active DSS. [Citation Graph (0, 0)][DBLP ] Conf ] Christer Carlsson Fuzzy Logic and Hyperknowledge A New, Effect Paradigm for Active DSS. [Citation Graph (0, 0)][DBLP ] Conf ] Steven O. Kimbrough , Donald Nute Logic Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Dignum , Ruurd Kuiper Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. [Citation Graph (0, 0)][DBLP ] Conf ] Hong-Gee Kim Formalizing Perspectival Defeasible Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Donald Nute , Christopher Henderson , Zachary Hunter d-Graph: An Argument-Based System Incorporating Defensible Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Steven O. Kimbrough , William J. Vachula Towards a Logic Model for Object-Oriented Systems Analysis and Design. [Citation Graph (0, 0)][DBLP ] Conf ] Filipe A. A. Santos , Andrew J. I. Jones , José Carmo Action Concepts for Describing Organised Interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Guo-Qiang Zhang , Chang Huang , William C. Rounds A Modal Logic for Reasoning about Belief. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel R. Dolk Logic Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Hua Hua , Steven O. Kim A Case Study in Model Management: The US Coast Guard, GAO, TEFA-2, and Structured Modeling with Embedded Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Hemant K. Bhargava , Ramayya Krishnan , Stephen F. Roehrig , Michael Casey , David Kaplan , Rudolf Müller Model Management in Electronic Markets for Decision Technologies: A Software Agent Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Major Bill Branley , Russell Fradin , Steven O. Kimbrough , Tate Shafer On Heuristic Mapping of Decision Surfaces for Post-Evaluation Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Joobin Choobineh A Meta ERM and its Relational Translation for a Database Design System. [Citation Graph (0, 0)][DBLP ] Conf ] Walter D. Potter Defensible Dependencies for Relational Database Design. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Hitz , Hannes Werthner Earning Benefits of the Object-Oriented Paradigm in Dynamic System Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Suleiman K. Kassicieh , Thomas L. Paez , Gautam Vora Complex and Chaotic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Natter Conditional Market Segmentation by Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Nittida Nuansri , Tharam S. Dillon , Samar Singh An Application of Neural Network and Rule-Based System for Network Management: Application Level Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Suleiman K. Kassicieh , Thomas L. Paez , Gautam Vora Investment Decisions Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Norman F. Hunter State Analysis of Nonlinear Systems Using Local Canonical Variate Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Barney , Carlos Ferregut , Luis E. Perez , Norman F. Hunter , Thomas L. Paez Statistical Validation Of System Models. [Citation Graph (0, 0)][DBLP ] Conf ] Power Auctions and Network Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Melody Y. Kiang , Uday R. Kulkarni , Michael Goul , Robert T. H. Chi , Efraim Turban , Andrew Philippakis Improving the Effectiveness of Self-Organizing Map Networks Using a Circular Kohonen Layer. [Citation Graph (0, 0)][DBLP ] Conf ] Radu Drossu , Zoran Obradovic Regime Signaling Techniques for Non-stationary Time Series. [Citation Graph (0, 0)][DBLP ] Conf ] Hemant K. Bhargava , David L. Jacobson Genetic Storms: Investigating the Gulf War Syndrome. [Citation Graph (0, 0)][DBLP ] Conf ] Zuohong Pan , Xiaodi Liu , Olugbenga Mejabi A Neural-Fuzzy System for Forecasting. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Thomas Restructuring the Electric Power Industry: Emerging Issues, Methods and Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Thomas , Thomas R. Schneider Underlying Technical issues in Electricity Deregulation. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Alvarado , Robert J. Camfield , Rajesh Rajaraman Open Transmission Access: An Efficient Minimal Role for the ISO. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Lasseter Unbundling Power Quality Services: Technical Issues. [Citation Graph (0, 0)][DBLP ] Conf ] Peter W. Sauer Technical Challenges of Computing Available Transfer Capability (ATC). [Citation Graph (0, 0)][DBLP ] Conf ] Shmuel Oren , Alva J. Svoboda , Raymond B. Johnson Volatility of Unit Commitment in Competitive Electricity Markets. [Citation Graph (0, 0)][DBLP ] Conf ] Pravin Varaiya , Felix Wu MinISO: A Minimal Independent System Operator. [Citation Graph (0, 0)][DBLP ] Conf ] Mark J. Kempker , Niusha Rostamkolai Electric Utility Industry Restructuring and its Impact on Power Engineering Education. [Citation Graph (0, 0)][DBLP ] Conf ] Benoit S. Lecinq , Marija D. Ilie Peak-load Pricing for Electric Power Transmission. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas J. Overbye , Peter W. Sauer , George Gross , Mark J. Laufenberg , Jamie D. Weber A Simulation Tool for Analysis of Alternative Paradigms for the New Electricity Business. [Citation Graph (0, 0)][DBLP ] Conf ] Yong Tian , George Gross Simulation of the Multi-Node Open Access Same-Time Information System. [Citation Graph (0, 0)][DBLP ] Conf ] Yuri V. Makarov , David J. Hill , Jovica V. Milanovic Effect of Load Uncertainty on Small Disturbance Stability Margins in Open-Access Power Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Carla P. Gomes , Douglas R. Smith , Stephen J. Westfold A Transformational Approach Applied to Outage Management of Nuclear Power Plants. [Citation Graph (0, 0)][DBLP ] Conf ] Zhao Yang Dong , Yuri V. Makarov , David J. Hill Computing the Aperiodic and Oscillatory Small Signal Stability Boundaries in Modern Power Grids. [Citation Graph (0, 0)][DBLP ] Conf ] Minetada Osano , Miriam A. M. Capretz A Distributed Method for Solving Nonlinear Equations Applying the Power Load Flow Calculation. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Sakk , Robert J. Thomas , Ray Zimmerman Power System Bidding Tournaments for a Deregulated Environment. [Citation Graph (0, 0)][DBLP ] Conf ] 