Search results for "reactive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, A. Sefidcon	An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.	RTCSA	2000	DBLP DOI BibTeX RDF	visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems
5	Dilza Szwarcman, Bruno Feijó, Mónica Costa	A Framework for Networked Reactive Character.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	networked reactive characters, distributed reactive characters, innovative concepts, shared state management, behavioral accuracy, visual soundness, open architecture toolkit, Bamboo, reactive environments, smooth animations, virtual reality, computer network, autonomy, clones, dead reckoning
5	Frédéric Boussinot, Laurent Hazard	Reactive scripts.	RTCSA	1996	DBLP DOI BibTeX RDF	broadcast event-driven interpreter, responsive systems, reactive script interpretor, complex behaviors, current interpretor reaction, associated methods, nonblocking order, method execution, SL synchronous language, ROM Reactive Object Model, Reactive-C language, parallel programming, objects, real time programming
5	Martin Adelantado, Frédéric Boniol, D. Pinault	A simulation environment for designing distributed reactive/deliberative time-constrained applications.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	distributed reactive/deliberative time-constrained applications design, deliberative systems, terminal state, logical time notion, man-machine interface handlers, time critical applications, Sun4 IPX workstation, X-Window graphical interface, French Ministry of Defense, simulator, real-time systems, graphical user interfaces, distributed processing, requirements, programming, programming environments, timing, computer games, program compilers, digital simulation, reactive systems, timing constraints, distributed real-time systems, simulation environment, application generators, reactive programming, Unix operating system, initial state
4	Dov M. Gabbay, Sérgio Marcelino	Modal Logics of Reactive Frames.	Studia Logica	2009	DBLP DOI BibTeX RDF	reactive graphs, reactive frames, (bi)modal logic, Kripke semantics
4	Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, Franz Wotawa	A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots.	IEA/AIE	2008	DBLP DOI BibTeX RDF	teleo-reactive programs, parallel actions, teleo-reactive program compilation, autonomous agents, control architecture
4	Partha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne	Towards direct execution of esterel programs on reactive processors.	EMSOFT	2004	DBLP DOI BibTeX RDF	ARE-Bench Auckland reactive benchmark, direct ESTEREL execution, reactive processor architectures
4	Kenny Qili Zhu, Kar-Loon Ong	A reactive method for real time dynamic vehicle routing problem.	ICTAI	2000	DBLP DOI BibTeX RDF	real time dynamic vehicle routing problem, concurrent agent-based reactive vehicle routing system, generic concurrent infrastructure, incremental local optimization heuristic, reactive method, real-time systems, optimisation, transportation, heuristic programming, vehicles
4	A. P. Sakis Meliopoulos, Murad A. Asad, George J. Cokkinides	Issues for Reactive Power and Voltage Control Pricing in a Deregulated Environment. (PDF / PS)	HICSS	1999	DBLP DOI BibTeX RDF	Reactive Power, Induction Motor Loads, Voltage Support, Reactive Power Pricing
4	Bouchaib Bounabat, Rahal Romadi, Salah Labhalla	Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents.	PRIMA	1999	DBLP DOI BibTeX RDF	Reactive agent, verification, formal methods, specification, Reactive systems
4	Riccardo Pucella	Reactive Programming in Standard ML. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	Reactive systems, Standard ML, Reactive programming
3	Ing-Chau Chang, Ciou-Song Lu	Reactive fast handover mechanisms in the nested mobile networks.	IWCMC	2010	DBLP DOI BibTeX RDF	predictive FHCoP-B, reactive FHCoP-B, network mobility
3	Claus Traulsen, Reinhard von Hanxleden	Reactive parallel processing for synchronous dataflow.	SAC	2010	DBLP DOI BibTeX RDF	Scade, reactive processors, synchronous languages, parallel execution, synchronous dataflow, Lustre
3	Brian G. Woolley, Gilbert L. Peterson	Unified Behavior Framework for Reactive Robot Control.	Journal of Intelligent and Robotic Systems	2009	DBLP DOI BibTeX RDF	Reactive control architecture, Software design patterns, Software frameworks, Behavior-based robotics
3	Nikos Hardavellas, Michael Ferdman, Babak Falsafi, Anastasia Ailamaki	Reactive NUCA: near-optimal block placement and replication in distributed caches.	ISCA	2009	DBLP DOI BibTeX RDF	block migration, block placement, block replication, cache indexing, cache lookup, non-uniform cache access, nuca, r-nuca, reactive nuca, rotational interleaving, cache, replication, chip multiprocessor, cmp, placement, multicore, multi-core, migration, cache coherence, data replication, coherence, interleaving, data migration, data placement, shared cache, cache management, lookup, last-level cache, private cache
3	Xuexia Zhang, Weirong Chen	Multi-objective Oriented Search Algorithm for Multi-objective Reactive Power Optimization.	ICIC	2009	DBLP DOI BibTeX RDF	MOOSA, multi-objective reactive power optimization, Pareto front, Pareto-optimal solutions
3	Yan Li, Pan-pan Jing, De-feng Hu, Bu-han Zhang, Chengxiong Mao, Xin-bo Ruan, Xiao-yang Miao, De-feng Chang	Optimal Reactive Power Dispatch Using Particle Swarms Optimization Algorithm Based Pareto Optimal Set.	ISNN	2009	DBLP DOI BibTeX RDF	Reactive power optimization, Fitness assignment, Random inertia weight strategy, Pareto Optimal set
3	Bu-han Zhang, Kai Wang, Chao Yang, Yan Li, Chengxiong Mao, Xin-bo Ruan, Yong-feng Yao, Hong-xian Hu	Two-Phase Dynamic Reactive Power Optimization Based on Improved Genetic Algorithm.	ISNN	2009	DBLP DOI BibTeX RDF	Dynamic reactive power optimization, Two-phase, Improved genetic algorithm, Regulation times, Parallel computing, Dynamic programming
3	Sergio Saez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo	Implementing Reactive Systems with UML State Machines and Ada 2005.	Ada-Europe	2009	DBLP DOI BibTeX RDF	Behavioral State Machines, Embedded Systems, Code Generation, Reactive Systems, Ada 2005
3	Neil Sculthorpe, Henrik Nilsson	Safe functional reactive programming through dependent types.	ICFP	2009	DBLP DOI BibTeX RDF	DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming
3	Jirí Hýsek, Milan Ceska, Vladimír Janousek	Model-Based Design and Verification of Reactive Systems.	EUROCAST	2009	DBLP DOI BibTeX RDF	formal verification, reactive systems, model-based design, state charts
3	Conal M. Elliott	Push-pull functional reactive programming.	Haskell	2009	DBLP DOI BibTeX RDF	semantics, concurrency, data-driven, functional reactive programming, demand-driven
3	Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic	Reactive noninterference.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	web applications, information flow, web browsers, noninterference, reactive programming
3	Jonathan Edwards	Coherent reaction.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bidirectional functions, synchronous reactive programming, trees, interactive systems, reactive systems, functional reactive programming
3	Niaz A. Wassan, A. Hameed Wassan, Gábor Nagy	A reactive tabu search algorithm for the vehicle routing problem with simultaneous pickups and deliveries.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Pickups and deliveries, Reactive tabu search, Heuristic, Vehicle routing
3	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Composing heterogeneous reactive systems.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	correct-by-construction design, reactive systems, Compositionality, models of computation, GALS
3	Olivier Lambrechts, Erik Demeulemeester, Willy Herroelen	Proactive and reactive strategies for resource-constrained project scheduling with uncertain resource availabilities.	J. Scheduling	2008	DBLP DOI BibTeX RDF	Proactive/reactive project scheduling, Stochastic resource breakdowns
3	Jonathan Evans, Pedro Patrón, Ben Smith, David M. Lane	Design and evaluation of a reactive and deliberative collision avoidance and escape architecture for autonomous robots.	Auton. Robots	2008	DBLP DOI BibTeX RDF	Deliberative, Planning, Obstacle avoidance, Reactive, Autonomous underwater vehicle, Unstructured environments, Robot architecture
3	Kitsana Waiyamai, Peera Liewlom, Thanapat Kangkachit, Thanawin Rakthanmanon	Concept Lattice-Based Mutation Control for Reactive Motifs Discovery.	PAKDD	2008	DBLP DOI BibTeX RDF	mutation control, sequence motif, reactive motif, enzyme function prediction, catalytic site, concept lattice, binding site
3	Sungil Kim, Yoo Chul Chung, Yangwoo Ko, Dongman Lee	A Reactive Local Positioning System for Ad Hoc Networks.	SUTC	2008	DBLP DOI BibTeX RDF	local coordinate system, mobile, ad-hoc, positioning, reactive
3	Andoni Lombide Carreton, Tom Van Cutsem, Wolfgang De Meuter	Reactive queries in mobile ad hoc networks.	MPAC	2008	DBLP DOI BibTeX RDF	AmbientTalk, mobile ad hoc networks, reactive programming, event-driven programming
3	Wenjin Dai, Qingsheng Lin, Yongtao Dai	New Research on Harmonics and Reactive Currents Detecting and Its Suppression with ANN in Single-Phase Circuit.	ISICA	2008	DBLP DOI BibTeX RDF	reactive current, SAPF, simulation, ANN, detecting, harmonic
3	Sergio Rampino, Dimitris Skouteris, Antonio Laganà, Ernesto Garcia	A Comparison of the Isotope Effect for the N + N2 Reaction Calculated on Two Potential Energy Surfaces.	ICCSA	2008	DBLP DOI BibTeX RDF	reactive scattering, quantum dynamics and kinetics, nitrogen exchange reaction, reactive resonances, isotope effect
3	Stijn Van de Vonder, Erik Demeulemeester, Willy Herroelen	A classification of predictive-reactive project scheduling procedures.	J. Scheduling	2007	DBLP DOI BibTeX RDF	Proactive-reactive project scheduling, Time uncertainty, Timely project completion, Stability
3	Paul Tarvydas, Norm Sanford	Software architecture using fine-grained event-driven reactive components.	DEBS	2007	DBLP DOI BibTeX RDF	components, event-driven, reactive
3	Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits	Synthesis of test purpose directed reactive planning tester for nondeterministic systems.	ASE	2007	DBLP DOI BibTeX RDF	nondeterministic extended finite state machine, reactive planning, model-based testing, online testing
3	Khalid Aallouche, Homam Albeiriss, Redouane Zarghoune, Juha Arrasvuori, Antti J. Eronen, Jukka Holm	Implementation and evaluation of a background music reactive game.	IE	2007	DBLP DOI BibTeX RDF	AudioAsteroids, Briquolo, background music reactive games, breakout, music signal analysis, musically controlled games, games, music, MP3
3	Adalet N. Abiyev	Frequency Insensitive Digital Sampler and Its Application to the Electronic Reactive Power Meter.	SCSS	2007	DBLP DOI BibTeX RDF	coherent data acquisition, digital sampler, distortion power, frequency insensitive measurement, reactive power measurement, signal processing, Walsh function, phase shift
3	Hillel Kugler, Cory Plock, Amir Pnueli	Synthesizing reactive systems from LSC requirements using the play-engine.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	reactive systems, live sequence charts, controller synthesis
3	Mahmoud Zennaki, Ahmed Ech-Cherif, Jean-Charles Lamirel	Using Reactive Tabu Search in Semi-supervised Classification.	ICTAI	2007	DBLP DOI BibTeX RDF	Reactive Tabu Search, Support Vector Machines, Semi-Supervised Learning, Mixed Integer Programming, Transductive inference
3	Edward Robinson, Timothy Ellis, Alastair Channon	Neuroevolution of Agents Capable of Reactive and Deliberative Behaviours in Novel and Dynamic Environments.	ECAL	2007	DBLP DOI BibTeX RDF	Reactive and Deliberative Systems, Novel and Dynamic Environments, Neural Networks, Artificial Life, Incremental Evolution
3	Saeed Jalili, Mehdi MirzaAghaei	RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach.	SERA	2007	DBLP DOI BibTeX RDF	Runtime Verification (RV), Real-time and Reactive Program, Event-based Real-Time Logic (ERL), Aspect- Oriented Approach
3	Nabendu Chaki, Rituparna Chaki	ORRP: Optimal Reactive Routing Protocol for Mobile Ad-Hoc Networks.	CISIM	2007	DBLP DOI BibTeX RDF	Loop-free routing, Mobile ad hoc network, Routing protocol, Shortest Path algorithms, Reactive Routing
3	Vasu S. Alagar, Mubarak Mohammad	Specification and verification of trustworthy component-based real-time reactive systems.	SAVCBS	2007	DBLP DOI BibTeX RDF	components, trustworthiness, real-time reactive systems
3	Peera Liewlom, Thanawin Rakthanmanon, Kitsana Waiyamai	Prediction of Enzyme Class by Using Reactive Motifs Generated from Binding and Catalytic Sites.	ADMA	2007	DBLP DOI BibTeX RDF	mutation control, sequence motif, reactive motif, enzyme function prediction, catalytic site, amino acid substitution group, binding site
3	Alain Girault, Xavier Nicollin, Marc Pouzet	Automatic rate desynchronization of embedded reactive programs.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	Embedded programs, long-duration tasks, parallelization algorithm, reactive systems, desynchronization, automatic distribution
3	Ying Yang, Xindong Wu, Xingquan Zhu	Mining in Anticipation for Concept Change: Proactive-Reactive Prediction in Data Streams.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	concept change, proactive learning, reactive learning, conceptual equivalence, classification, data stream
3	Cristina Urdiales, Eduardo J. Pérez, Javier Vázquez-Salceda, Miquel Sànchez-Marrè, Francisco Sandoval Hernández	A purely reactive navigation scheme for dynamic environments using Case-Based Reasoning.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Learning, Case-Based Reasoning, Reactive navigation
3	Franck Gechter, Vincent Chevrier, François Charpillet	A reactive agent-based problem-solving model: Application to localization and tracking.	TAAS	2006	DBLP DOI BibTeX RDF	Reactive multi-agent systems, localization, tracking, mobile robots
3	Robert de Simone, Charles André	Towards a "Synchronous Reactive" UML profile?	STTT	2006	DBLP DOI BibTeX RDF	UML, Embedded systems, Real-time, Synchronous, Reactive
3	Shoichi Hasegawa, Ishikawa Toshiaki, Naoki Hashimoto, Marc Salvati, Hironori Mitake, Yasuharu Koike, Makoto Sato	Human-scale haptic interaction with a reactive virtual human in a real-time physics simulator.	Computers in Entertainment	2006	DBLP DOI BibTeX RDF	reactive virtual human, haptic interaction, physics simulator
3	Vina Ermagan, Ingolf Krüger, Massimiliano Menarini	Model-Based Failure Management for Distributed Reactive Systems.	Monterey Workshop	2006	DBLP DOI BibTeX RDF	Failure Management, Ontology, Distributed Systems, Reactive Systems
3	Henrik Nilsson	Dynamic optimization for functional reactive programming using generalized algebraic data types.	ICFP	2005	DBLP DOI BibTeX RDF	DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows
3	Louis Mandel, Marc Pouzet	ReactiveML: a reactive extension to ML.	PPDP	2005	DBLP DOI BibTeX RDF	semantics, functional programming, reactive programming
3	Chunyu Hu, Jennifer C. Hou	A reactive channel model for expediting wireless network simulation.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	scalability, network simulation, reactive, channel model
3	Ronald A. Metoyer, Jessica K. Hodgins	Reactive pedestrian path following from examples.	The Visual Computer	2004	DBLP DOI BibTeX RDF	Pedestrian simulation, Animation, Reactive control
3	Jan Carlson, Björn Lisper	An event detection algebra for reactive systems.	EMSOFT	2004	DBLP DOI BibTeX RDF	event algebra, reactive systems, event detection, resource-efficiency
3	Marc Geilen, Twan Basten	Reactive process networks.	EMSOFT	2004	DBLP DOI BibTeX RDF	signal processing, multiprocessor systems, operational semantics, reactive systems, process networks, media processing
3	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA).	EMSOFT	2004	DBLP DOI BibTeX RDF	distributed deployment, heterogeneous reactive systems, GALS
3	Kaiyu Wan, Vasu S. Alagar, Joey Paquet	Real Time Reactive Programming in Lucid Enriched with Contexts.	ICTAC	2004	DBLP DOI BibTeX RDF	Real-time reactive programming, contexts, formal verification, intensional programming
3	Asaf Adi, Opher Etzion, Dagan Gilat, Royi Ronen, Guy Sharon, Inna Skarbovsky	Reactive rules inference from dynamic dependency models.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	active systems, reactive rules, relationships between entities, active databases, event correlation, rule engine, dependency models
3	Cristina Cerschi Seceleanu, Tiberiu Seceleanu	Modular Design of Reactive Systems.	COMPSAC	2004	DBLP DOI BibTeX RDF	Concurrency, Reactive systems, Modular design, Action systems
3	Cristina Urdiales, Eduardo J. Pérez, Francisco Sandoval Hernández	A Time Stamp Control Strategy for CBR Based Reactive Navigation in Dynamic Environments with Priorities.	IAT	2004	DBLP DOI BibTeX RDF	mobile obstacles, case-based reasoning, layered architecture, reactive navigation
3	Pei Yu, Qiwen Xu	Checking Interval Based Properties for Reactive Systems.	VMCAI	2004	DBLP DOI BibTeX RDF	finitary property, model checking, reactive system, interval temporal logic
3	Stefan D. Bruda	Preorder Relations.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
3	Robert J. Hall	A Supermodel Framework Supporting Validated Upgrading of Reactive Systems.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	supermodel, validation, evolution, reactive system, upgrading
3	Tal Lev-Ami, Shmuel S. Tyszberowicz	Reactive and Real-Time Systems Course: How to Get the Most Out of it.	Real-Time Systems	2003	DBLP DOI BibTeX RDF	reactive real-time systems, course syllabus, scheduling, verification, synchronous languages
3	Nianjun Zhou, Huaming Wu, Alhussein A. Abouzeid	Reactive routing overhead in networks with unreliable nodes.	MOBICOM	2003	DBLP DOI BibTeX RDF	sensor networks, ad hoc networks, reliability, AODV, DSR, reactive routing, routing overhead
3	Noriaki Yoshiura	Decision Procedures for Several Properties of Reactive System Specifications.	ISSS	2003	DBLP DOI BibTeX RDF	Specification Description, Temporal Logic, Reactive System
3	Josep Carmona, Jordi Cortadella	Input/Output Compatibility of Reactive Systems.	FMCAD	2002	DBLP DOI BibTeX RDF	Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory
3	Dana N. Xu, Siau-Cheng Khoo	Compiling real time functional reactive programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	partial evaluation, reactive system, tupling
3	Kevin Lano, David Clark, Kelly Androutsopoulos	From Implicit Specifications to Explicit Designs in Reactive System Development.	IFM	2002	DBLP DOI BibTeX RDF	B AMN, RSDS, model-checking, UML, Reactive Systems
3	Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black	Reactive Objects. (PDF / PS)	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	concurrency, object-oriented, programming model, reactive, event-based
3	David Servat, Alexis Drogoul	Combining amorphous computing and reactive agent-based systems: a paradigm for pervasive intelligence?.	AAMAS	2002	DBLP DOI BibTeX RDF	reactive MAS, pervasive computing, self-organization
3	Araceli Sanchís, J. M. Molina, Pedro Isasi, Javier Segovia	RTCS: a Reactive with Tags Classifier System.	Journal of Intelligent and Robotic Systems	2000	DBLP DOI BibTeX RDF	genetic learning, robotics, reactive systems, behavior, classifier systems
3	Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng	Specification-Based Testing for Real-Time Reactive Systems.	TOOLS	2000	DBLP DOI BibTeX RDF	complexity, information theory, software measurement, Real-time reactive systems
3	Basant Rajan, R. K. Shyamasundar	Multiclock Esterel: A Reactive Framework for Asynchronous Design. (PDF / PS)	IPDPS	2000	DBLP DOI BibTeX RDF	VHDL, Reactive Systems, Asynchronous System, Synchrony, Esterel
3	Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi	System Requirements and Formal Specifications of Hierarchical Reactive Systems. (PDF / PS)	ICPADS	2000	DBLP DOI BibTeX RDF	Formal Specification, Reactive System, System Requirement, State Transition System, Soundness and Completeness
3	Vangalur S. Alagar, L. Zhang	Automatic code generation for real-time reactive systems in TROMLAB environment.	RTCSA	2000	DBLP DOI BibTeX RDF	TROMLAB environment, rigorous framework, railroad crossing problem, benchmark example, generic real time Java libraries, Java code, Java, real-time systems, program compilers, automatic programming, software libraries, automatic code generation, real time reactive systems, implementation model
3	Vangalur S. Alagar, D. Muthiayen	Towards a mechanical verification of real-time reactive systems modeled in UML.	RTCSA	2000	DBLP DOI BibTeX RDF	Prototype Verification System, real-time systems, UML, Unified Modeling Language, formal specification, object-oriented programming, program verification, specification languages, PVS, notation, safety-critical applications, mechanical verification, real-time reactive systems, design analysis, object-based systems
3	Robert J. Hall	Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design.	FMSP	2000	DBLP DOI BibTeX RDF	Formal Methods, Reactive Systems, Electronic Mail
3	Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng	Managing Complexity in Real-Time Reactive Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	complexity management, complexity categories, rigorous development, TROMLAB, rigorous framework, real-time systems, process model, software measurement, real time reactive systems, measurement methods
3	Paul Caspi, Alain Girault, Daniel Pilaud	Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	distributed processing, reactive systems, Asynchronous communications, synchronous languages, automatic distribution
3	Frédéric Bertrand, Michel Augeraud	BDL: A Specialized Language for Per-Object Reactive Control.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	control of behavior, reactive languages, verification, Concurrent object-oriented programming
3	Olivier Roux, Vlad Rusu, Franck Cassez	Hybrid Verifications of Reactive Programs.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Model checking, Real time, Hybrid system, Asynchronism, Reactive system
3	Massimo Bernaschi, Sauro Succi, G. Bella, Hudong Chen	Digital Physics Simulations of Reactive Flow in a Catalytic Converter.	J. Sci. Comput.	1999	DBLP DOI BibTeX RDF	Kinetic theory, Digital Physics, reactive flows
3	Santiago Grijalva, Peter W. Sauer	Reactive Power Considerations in Linear ATC Computation. (PDF / PS)	HICSS	1999	DBLP DOI BibTeX RDF	Linear ATC, distribution factors, reactive power
3	Antonis A. Argyros, Fredrik Bergholm	Combining Central and Peripheral Vision for Reactive Robot Navigation. (PDF / PS)	CVPR	1999	DBLP DOI BibTeX RDF	Reactive robot navigation, Flow balancing, Peripheral vision
3	Alberto Valderruten, Javier Mosquera, Víctor M. Gulías	Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF	Synchronous Reactive Models, Multithreaded Runtime Systems, Simulation and Monitoring, Functional Programming, Instrumentation, Performance Engineering, Model Development
3	Berthier A. Ribeiro-Neto, Guilherme T. de Assis	Reactive Ranking for Cooperative Databases. (PDF / PS)	SCCC	1997	DBLP DOI BibTeX RDF	reactive ranking, cooperative databases, vague query, AutoClass II system, Bayesian probabilistic classification engine, Web browser interface, query tasks, information retrieval, query processing, relevance feedback, interactive mechanism
3	Soong Hee Lee	A Reactive Access Control Scheme at UNI for Congestion Control in ATM-Based B-ISDN. (PDF / PS)	LCN	1996	DBLP DOI BibTeX RDF	reactive access control scheme, UNI, ATM-based B-ISDN, active traffic sources, feedback traffic, GFC field, B-NT system, network congestion state, probability of overflow, node output buffer, generic flow control, broadband network termination, user network interface, performance evaluation, asynchronous transfer mode, congestion control, computer simulation
3	Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan	Animating Real-Time Reactive Systems.	ICECCS	1996	DBLP DOI BibTeX RDF	Formal Methods, Animation, Process Model, Object-Oriented Modeling, Software Requirements Specification, Real-Time Reactive Systems
3	Paul Caspi, Alain Girault	Execution of Distributed Reactive Systems.	Euro-Par	1995	DBLP DOI BibTeX RDF	parallel computing, reactive system, synchronous language, program interface
3	Frédéric Boniol, Martin Adelantado	Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling.	WDAG	1993	DBLP DOI BibTeX RDF	Synchronism and Asynchronism, Real-time, Reactive systems, Semantics of Concurrency
3	Elizabeth Szelke, G. Márkus	Reactive Scheduling - An Intelligent Supervisor Function.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
3	Klaus Fischer	Knowledge-based Reactive Scheduling in a Flexible Manufacturing System.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
3	Brian J. Garner, G. J. Ridley	Application of Neural Network Process Models in Reactive Scheduling.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
3	Migar M. C. Tam, Doris H. L. Choi, Walter W. C. Chung, T. C. Edwin Cheng, P. P. K. Chiu	A Predictive and Reactive Scheduling Tool Kit for Repetitive Manufacturing.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
3	Günter Schmidt	How to Apply fuzzy Logic to Reactive Production Scheduling.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
3	Stephen F. Smith, Ora Lassila	Configurable Systems for Reactive Production Management.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF