Search results for "reactive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Qing Zhao 0001, Lang Tong	Energy efficiency of large-scale wireless networks: proactive versus reactive networking.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
20	Nianjun Zhou, Huaming Wu, Alhussein A. Abouzeid	The impact of traffic patterns on the overhead of reactive routing protocols.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
20	Stavros G. Vougioukas, Spyros Fountas, Simon Blackmore, Lie Tang	Combining reactive and deterministic behaviours for mobile agricultural robots.	Oper. Res.	2005	DBLP DOI BibTeX RDF	agricultural robotics, automata, behaviours, hybrid control
20	Thomas C. Schmidt, Matthias Wählisch	Predictive versus Reactive-Analysis of Handover Performance and Its Implications on IPv6 and Multicast Mobility.	Telecommun. Syst.	2005	DBLP DOI BibTeX RDF	multicast mobility, handover performance, handover frequency, mobile IPv6, HMIPv6, FMIPv6
20	Mark Mahoney	Modeling Reactive Systems and Aspect-Orientation.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
20	Olivier Simonin 0001, Franck Gechter	An Environment-Based Methodology to Design Reactive Multi-agent Systems for Problem Solving.	E4MAS	2005	DBLP DOI BibTeX RDF
20	Rafael Murrieta-Cid, Alejandro Sarmiento, Teja Muppirala, Seth Hutchinson 0001, Raúl Monroy, Moises Alencastre-Miranda, Lourdes Muñoz-Gómez, Ricardo Swain Oropeza	A Framework for Reactive Motion and Sensing Planning: A Critical Events-Based Approach.	MICAI	2005	DBLP DOI BibTeX RDF
20	Ying Yang 0001, Xindong Wu 0001, Xingquan Zhu 0001	Combining proactive and reactive predictions for data streams.	KDD	2005	DBLP DOI BibTeX RDF	conceptual equivalence, proactive learning, data stream
20	Steffen Priesterjahn, Oliver Kramer 0001, Alexander Weimer, Andreas Goebels	Evolution of Reactive Rules in Multi Player Computer Games Based on Imitation.	ICNC (2)	2005	DBLP DOI BibTeX RDF
20	Jiachuan Shi, Yutian Liu	Fuzzy Evaluation Based Multi-objective Reactive Power Optimization in Distribution Networks.	FSKD (1)	2005	DBLP DOI BibTeX RDF
20	Masaki Omata, Masami Ishihara, Misa Grace Kwok, Atsumi Imamiya	Haptizing Wind on a Weather Map with Reactive Force and Vibration.	INTERACT	2005	DBLP DOI BibTeX RDF
20	Michael Backes 0001	Quantifying Probabilistic Information Flow in Computational Reactive Systems.	ESORICS	2005	DBLP DOI BibTeX RDF
20	Mark B. Trakhtenbrot	Use of Verification for Testing and Debugging of Complex Reactive Systems.	SEFM	2005	DBLP DOI BibTeX RDF
20	Rajeev Alur, Radu Grosu	Modular refinement of hierarchic reactive machines.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines
20	Ivan Velikic, Miroslav Popovic, Vladimir Kovacevic	A Concept of an Integrated Development Environment for Reactive Systems.	ECBS	2004	DBLP DOI BibTeX RDF
20	Javier Minguez, Javier Osuna, Luis Montano	A "Divide and Conquer" Strategy based on Situations to Achieve Reactive Collision Avoidance in Troublesome Scenarios.	ICRA	2004	DBLP DOI BibTeX RDF
20	Ana Lilia Laureano-Cruces, José Manuel de la Cruz-González, Javier Ramírez-Rodríguez, Julio Solano-González	Reactive Agents to Improve a Parallel Genetic Algorithm Solution.	MICAI	2004	DBLP DOI BibTeX RDF
20	Jürgen Dorn	Evaluating Reactive Scheduling Systems.	IAT	2004	DBLP DOI BibTeX RDF
20	Krysia Broda, Christopher J. Hogger	Policies for Cloned Teleo-reactive Robots.	MATES	2004	DBLP DOI BibTeX RDF
20	Óscar Sapena, Eva Onaindia, Martín Mellado, Carlos Correcher, Eduardo Vendrell	Reactive Planning Simulation in Dynamic Environments with VirtualRobot.	IEA/AIE	2004	DBLP DOI BibTeX RDF
20	David Harel	A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal.	HSCC	2003	DBLP DOI BibTeX RDF
20	Terry A. Halpin, Gerd Wagner 0001	Modeling Reactive Behavior in ORM.	ER	2003	DBLP DOI BibTeX RDF
20	Nick Feamster, David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek	Measuring the effects of internet path faults on reactive routing.	SIGMETRICS	2003	DBLP DOI BibTeX RDF
20	Jong Hee Kang, Matthai Philipose, Gaetano Borriello	River: An Infrastructure for Context Dependent, Reactive Communication Primitives.	WMCSA	2003	DBLP DOI BibTeX RDF
20	Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres	Specifying and Validating Reactive Systems with CommonKADS Methodology.	KES	2003	DBLP DOI BibTeX RDF
20	Pierangelo Dell'Acqua, Mattias Engberg, Luís Moniz Pereira	An Architecture for a Rational Reactive Agent.	EPIA	2003	DBLP DOI BibTeX RDF
20	Josep Carmona 0001, Jordi Cortadella, Enric Pastor	Synthesis of Reactive Systems: Application to Asynchronous Circuit Design.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
20	Mahmoud Tchikou, Eric Gouardères	Multi-agent Model to Control Production System: A Reactive and Emergent Approach by Cooperation and Competition between Agents.	Agent Technologies, Infrastructures, Tools, and Applications for E-Services	2002	DBLP DOI BibTeX RDF
20	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe	Quasi-Static Scheduling of Independent Tasksfor Reactive Systems.	ICATPN	2002	DBLP DOI BibTeX RDF
20	Mohd Ridzuan Ahmad, Shamsudin H. M. Amin, Rosbi Mamat	Development of decentralized based reactive control strategy for intelligent multi-agent mobile robotics system.	ICARCV	2002	DBLP DOI BibTeX RDF
20	Andre Zanki Cordenonsi, Luis Otávio Alvares	An Evolutionary Behavior Tool for Reactive Multi-agent Systems.	SBIA	2002	DBLP DOI BibTeX RDF
20	Michael J. Maher	Propagation Completeness of Reactive Constraints.	ICLP	2002	DBLP DOI BibTeX RDF
20	Valentina Piermarini, Leonardo Pacifici, Stefano Crocchianti, Antonio Laganà	Parallel Approaches to the Integration of the Differential Equations for Reactive Scattering.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
20	Scott D. Stoller	Domain partitioning for open reactive systems.	ISSTA	2002	DBLP DOI BibTeX RDF
20	Hanoch Lev-Ari, Alex M. Stankovic	Defining reactive power in circuit transients via local Fourier coefficients.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
20	Izzet Pembeci, Henrik Nilsson, Gregory D. Hager	Functional reactive robotics: an exercise in principled integration of domain-specific languages.	PPDP	2002	DBLP DOI BibTeX RDF	robotics, functional programming, domain-specific languages, vision
20	Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro	State- and Event-Based Reactive Programming in Shared Dataspaces.	COORDINATION	2002	DBLP DOI BibTeX RDF
20	Ferucio Laurentiu Tiplea, Aurora Tiplea	A Simulation Preorder for Abstraction of Reactive Systems.	VMCAI	2002	DBLP DOI BibTeX RDF
20	Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre	Verification of Embedded Reactive Fiffo Systems.	LATIN	2002	DBLP DOI BibTeX RDF
20	Antony Courtney	Frappé: Functional Reactive Programming in Java.	PADL	2001	DBLP DOI BibTeX RDF
20	Brannon Batson, T. N. Vijaykumar	Reactive-Associative Caches.	IEEE PACT	2001	DBLP DOI BibTeX RDF
20	Marek A. Bednarczyk, Andrzej M. Borzyszkowski	On Concurrent Realization of Reactive Systems and Their Morphisms.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
20	Dimitris Vyzovitis, Keith L. Clark	A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities.	ISADS	2001	DBLP DOI BibTeX RDF
20	Marcio Kikuti, Luiz M. G. Gonçalves, Marcio Teruo Akyama, Marcos D. Medeiros, Mariana Reis, Claus C. Aranha	Reactive Perception for Autonomous Task Manipulation in Robotic Agents.	SIBGRAPI	2001	DBLP DOI BibTeX RDF
20	Na'aman Kam, Irun R. Cohen, David Harel	The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts.	HCC	2001	DBLP DOI BibTeX RDF
20	Marc Frappier, Richard St-Denis	Towards a Computer-Aided Design of Reactive Systems.	EUROCAST	2001	DBLP DOI BibTeX RDF
20	Birgit Pfitzmann, Michael Waidner	A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission.	S&P	2001	DBLP DOI BibTeX RDF
20	Kevin Lano, Kelly Androutsopoulos, Pauline Kan	Structuring Reactive Systems in B AMN.	ICFEM	2000	DBLP DOI BibTeX RDF
20	Alessandro Bolloni, Stefano Crocchianti, Antonio Laganà	Time Independent 3D Quantum Reactive Scattering on MIMD Parallel Computers.	PVM/MPI	2000	DBLP DOI BibTeX RDF
20	Sofia Guerra	Distance Functions for Defaults in Reactive Systems.	AMAST	2000	DBLP DOI BibTeX RDF
20	Rajeev Alur, Radu Grosu	Modular Refinement of Hierarchic Reactive Machines.	POPL	2000	DBLP DOI BibTeX RDF
20	Martin A. Riedmiller, Andrew W. Moore 0001, Jeff G. Schneider	Reinforcement Learning for Cooperating and Communicating Reactive Agents in Electrical Power Grids.	Balancing Reactivity and Social Deliberation in Multi-Agent Systems	2000	DBLP DOI BibTeX RDF
20	Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi	Open Systems in Reactive Environments: Control and Synthesis.	CONCUR	2000	DBLP DOI BibTeX RDF
20	James J. Leifer, Robin Milner	Deriving Bisimulation Congruences for Reactive Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
20	Man Lin, Jacek Malec, Simin Nadjm-Tehrani	On Semantics and Correctness of Reactive Rule-Based Programs.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
20	Victor L. Winter	A Synchronous Paradigm for Modeling Stable Reactive Systems.	HASE	1999	DBLP DOI BibTeX RDF
20	Domingo Benitez, Jorge Cabrera 0001	Reactive Computer Vision System with Reconfigurable Architecture.	ICVS	1999	DBLP DOI BibTeX RDF
20	Paul Hudak	Functional Reactive Programming (Abstract).	ESOP	1999	DBLP DOI BibTeX RDF
20	Jesper Andersson, Bengt Lennartsson	Reactive Architectures with Architectural Agents.	HICSS	1999	DBLP DOI BibTeX RDF
20	Fariba Sadri, Francesca Toni	Abduction with Negation as Failure for Active and Reactive Rules.	AI*IA	1999	DBLP DOI BibTeX RDF
20	T. S. E. Maibaum, Pauline Kan, Kevin Lano	Systematising Reactive System Design.	AMAST	1998	DBLP DOI BibTeX RDF
20	Frédéric Boulanger, Guy Vidal-Naquet	Modular Development of Control and Computational Modules Using Reactive Objects.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
20	Florence Maraninchi, Yann Rémond	Mode-Automata: About Modes and States for Reactive Systems.	ESOP	1998	DBLP DOI BibTeX RDF
20	Robi Malik	Automated Deduction of Finite-State Control Programs for Reactive Systems.	CADE	1998	DBLP DOI BibTeX RDF
20	Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan	Automatically Closing Open Reactive Programs.	PLDI	1998	DBLP DOI BibTeX RDF	C
20	Silvia Coradeschi, Thierry Vidal	Accounting for Temporal Evolutions in Highly Reactive Decision-Making.	TIME	1998	DBLP DOI BibTeX RDF	dynamic supervision, context, controller, decision-making, temporal constraints, reactivity
20	Sven-Erik Bornscheuer	Integrating Reactive and Reflective Reasoning by Generating Rational Models.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF
20	Leung-Chi Chan, Qing Li 0001	An Extensible Approach to Reactive Processing in an Advanced Object Modelling Environment.	DEXA	1997	DBLP DOI BibTeX RDF
20	Conal Elliott, Paul Hudak	Functional Reactive Animation.	ICFP	1997	DBLP DOI BibTeX RDF
20	Babak Falsafi, David A. Wood 0001	Reactive NUMA: A Design for Unifying S-COMA and CC-NUMA.	ISCA	1997	DBLP DOI BibTeX RDF
20	Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott	Flow analysis for concurrent, reactive, real-time systems.	HASE	1996	DBLP DOI BibTeX RDF
20	Patrick Bourdot, Mike Krus, Rachid Gherbi	Cooperation between Reactive 3D Objects and a Multimodal X Window Kernel for CAD.	Multimodal Human-Computer Communication	1995	DBLP DOI BibTeX RDF
20	Antonio Mendes da Silva Filho	Statecharts supervision models for reactive systems.	CASCON	1995	DBLP BibTeX RDF
20	E. Pascal Gribomont, Jacques Hagelstein	Reactive Variables for System Specification and Design.	STACS	1994	DBLP DOI BibTeX RDF
20	James L. Crowley, Jean Marc Bedrune, Morten Bekker, Michael Schneider	Integration and Control of Reactive Visual Processes.	ECCV (2)	1994	DBLP DOI BibTeX RDF
20	Yishai A. Feldman, Haim Schneider	Simulating Reactive Systems by Deduction.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF
20	Dipayan Gangopadhyay, Subrata Mitra	ObjChart: Tangible Specification of Reactive Object Behavior.	ECOOP	1993	DBLP DOI BibTeX RDF
20	G. Michele Pinna, Axel Poigné	On the Specification of Elementary Reactive Behaviour.	MFPS	1993	DBLP DOI BibTeX RDF
20	Tzilla Elrad, Sungyoung Lee, Ufuk Verun	Extending Working Evnrironments for the Development of Reactive/Adaptive Systems with Intelligent Controls.	Ada-Europe	1992	DBLP DOI BibTeX RDF
20	Florence Maraninchi	Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
18	Giulia Bianco, Matthew Holcomb, Diogo Santos-Martins, Andreas F. Tillack, Althea T. Hansel-Harris, Stefano Forli	Reactive Docking: A Computational Method for High-Throughput Virtual Screenings of Reactive Species.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
18	Pierre Laguillaumie	Développement logiciel pour le contrôle commande multiaxe réactif: Du contrôle bas niveau au jumeau numérique connecté. (Software development for reactive multi-axis control / Software development for reactive multi-axis control: from low-level control to connected digital twin).		2023	RDF
18	Kevin Baldor, Xiaoyin Wang, Jianwei Niu 0001	Thorium: A Language for Bounded Verification of Dynamic Reactive Objects.	REBLS@SPLASH	2023	DBLP DOI BibTeX RDF
18	Sreejith N. A., Eleonore Riber, Bénédicte Cuenot	Analysis and design of a local time stepping scheme for LES acceleration in reactive and non-reactive flow simulations.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF
18	Sam Van den Vonder, Thierry Renaux, Wolfgang De Meuter	Topology-Level Reactivity in Distributed Reactive Programs - Reactive Acquaintance Management using Flocks.	Art Sci. Eng. Program.	2022	DBLP DOI BibTeX RDF
18	Sushil Kumar Gupta, Lalit Kumar, Manoj Kumar Kar, Sanjay Kumar	Optimal reactive power dispatch under coordinated active and reactive load variations using FACTS devices.	Int. J. Syst. Assur. Eng. Manag.	2022	DBLP DOI BibTeX RDF
18	Sam Van den Vonder, Thierry Renaux, Wolfgang De Meuter	Topology-Level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Flocks.	CoRR	2022	DBLP BibTeX RDF
18	Nicolas Hlad	IsiSPL: un processus automatisé pour faciliter l'ingénierie des lignes de produits logiciels selon une stratégie d'adoption industrielle réactive ou extractive. (IsiSPL: an automated process to facilitate the engineering of software product lines according to a reactive or extractive industrial adoption strategy).		2022	RDF
18	Louise Van Verre, Humberto Rodríguez-Avila, Jens Nicolay, Wolfgang De Meuter	FLOREnce: A Hybrid Logic-Functional Reactive Programming Language.	REBLS@SPLASH	2022	DBLP DOI BibTeX RDF
18	Shady M. Sadek, Walid A. Omran, Mohamed A. Moustafa Hassan, Hossam E. A. Talaat	Data Driven Stochastic Energy Management for Isolated Microgrids Based on Generative Adversarial Networks Considering Reactive Power Capabilities of Distributed Energy Resources and Reactive Power Costs.	IEEE Access	2021	DBLP DOI BibTeX RDF
18	Dener A. L. Brandão, Thiago M. Parreiras, Igor A. Pires, Braz de Jesus Cardoso Filho	Electric Arc Furnace Reactive Compensation System using True Power Factor - Reactive Compensator Converter.	IAS	2021	DBLP DOI BibTeX RDF
18	Julien Ponge, Arthur Navarro, Clément Escoffier, Frédéric Le Mouël	Analysing the performance and costs of reactive programming libraries in Java.	REBLS@SPLASH	2021	DBLP DOI BibTeX RDF
18	Bjarno Oeyen, Sam Van den Vonder, Wolfgang De Meuter	Trampoline variables: a general method for state accumulation in reactive programming.	REBLS@SPLASH	2021	DBLP DOI BibTeX RDF
18	Timothy Bourke	Specification and end-to-end proof of a reactive language and its compiler (invited talk).	REBLS@SPLASH	2021	DBLP DOI BibTeX RDF
18	Cloé Descheemaeker, Sam Van den Vonder, Thierry Renaux, Wolfgang De Meuter	Poker: visual instrumentation of reactive programs with programmable probes.	REBLS@SPLASH	2021	DBLP DOI BibTeX RDF
18	Yu Zhou, Zhengshuo Li	Study on Leveraging Wind Farm Reactive Power Potential for Uncertain Power System Reactive Power Optimization.	CoRR	2020	DBLP BibTeX RDF
18	Natalia I. Naumova	Reactive and Semi-Reactive Bargaining Sets for Games with Restricted Cooperation.	IGTR	2020	DBLP DOI BibTeX RDF
18	Yang Xu, Jie Gao, Yong-biao Yang, Hai-Hong Bian	Distributed Reactive Energy Storage Structure Voltage Reactive Power Control Algorithm Based on Big Data Analysis.	ADHIP (2)	2020	DBLP DOI BibTeX RDF
18	Bertrand Petit	Temps et durée: de la programmation réactive synchrone à la composition musicale. (Time and duration: from synchronous reactive programming to music composition).		2020	RDF
18	Tian Zhao 0002, Adam Berger, Yonglun Li	Asynchronous monad for reactive IoT programming.	REBLS@SPLASH	2020	DBLP DOI BibTeX RDF