Search results for "reactive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Marc Lettrari	Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems.	FME	2003	DBLP DOI BibTeX RDF	UML, abstractions, heuristic search, symbolic execution
15	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services.	CIAA	2003	DBLP DOI BibTeX RDF
15	Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.	EMSOFT	2003	DBLP DOI BibTeX RDF
15	Cristina Urdiales, Eduardo J. Pérez, Francisco Sandoval Hernández, Javier Vázquez-Salceda	A hybrid architecture for autonomous navigation using a CBR reactive layer.	IAT	2003	DBLP DOI BibTeX RDF
15	Fabien L. Gandon	Combining reactive & deliberative agents for complete ecosystems in infospheres.	IAT	2003	DBLP DOI BibTeX RDF
15	Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner	Prototype-Based Tests for Hybrid Reactive Systems.	IEEE International Workshop on Rapid System Prototyping	2003	DBLP DOI BibTeX RDF
15	K. H. Kim	Commanding and Reactive Control of Peripherals in the TMO Programming Scheme.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	real time, middleware, parallel, distributed, programming, embedded, object, message, TMO, time triggered
15	Jun Miura, Yoshiaki Shirai	Parallel scheduling of planning and action for realizing an efficient and reactive robotic system.	ICARCV	2002	DBLP DOI BibTeX RDF
15	Alejandro Zunino, Marcelo Campo, Cristian Mateos	Simplifying Mobile Agent Development through Reactive Mobility by Failure.	SBIA	2002	DBLP DOI BibTeX RDF
15	Karl Iagnemma, Dariusz Golda, Matthew Spenko, Steven Dubowsky	Experimental Study of High-speed Rough-terrain Mobile Robot Models for Reactive Behaviors.	ISER	2002	DBLP DOI BibTeX RDF
15	Massimiliano Chiodo	Optimization and synthesis for complex reactive embedded systems by incremental collapsing.	CODES	2002	DBLP DOI BibTeX RDF	real-time systems, embedded systems, finite-state machines, software synthesis
15	Andreas Metzger, Stefan Queins	Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems.	SAM	2002	DBLP DOI BibTeX RDF
15	Guido Boella, Rossana Damiano	An Architecture for Normative Reactive Agents.	PRIMA	2002	DBLP DOI BibTeX RDF
15	Guido Boella, Rossana Damiano	A Replanning Algorithm for a Reactive Agent Architecture.	AIMSA	2002	DBLP DOI BibTeX RDF
15	Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson	Arrows, Robots, and Functional Reactive Programming.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
15	Bruno Dillenseger, Anne-Marie Tagant, Laurent Hazard	Programming and Executing Telecommunication Service Logic with Moorea Reactive Mobile Agents.	MATA	2002	DBLP DOI BibTeX RDF
15	Gerasimos G. Rigatos	Fuzzy Stochastic Automata for Reactive Learning and Hybrid Control.	SETN	2002	DBLP DOI BibTeX RDF
15	Anatoly A. Shalyto, N. I. Tukkel	SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF
15	Paolo Puliti, Guido Tascini, Anna Montesanto	Reactive Navigation Using Reinforment Learning in Situations of POMDPs.	IWANN (2)	2001	DBLP DOI BibTeX RDF
15	Kai Dadhe, Volker Roßmann, Kazim Durmus, Sebastian Engell	Neural Networks as a Tool for Gray Box Modelling in Reactive Distillation.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
15	Valentina Piermarini, Leonardo Pacifici, Stefano Crocchianti, Antonio Laganà	Parallel Models for Reactive Scattering Calculations.	HPCN	2001	DBLP DOI BibTeX RDF
15	Valentina Piermarini, Leonardo Pacifici, Stefano Crocchianti, Antonio Laganà, Giuseppina D'Agosto, Sergio Tasso	Parallel Methods in Time Dependent Approaches to Reactive Scattering Calculations.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
15	Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin	Scheduling Reactive Task Graphs in Embedded Control Systems.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
15	Robin Milner	Bigraphical Reactive Systems.	CONCUR	2001	DBLP DOI BibTeX RDF
15	Fernando de Carvalho Gomes, Panos M. Pardalos, Carlos A. S. Oliveira, Mauricio G. C. Resende	Reactive GRASP with path relinking for channel assignment in mobile phone networks.	DIAL-M	2001	DBLP DOI BibTeX RDF
15	Roberto Battiti, Mauro Brunato	Reactive Search for Traffic Grooming in WDM Networks.	IWDC	2001	DBLP DOI BibTeX RDF
15	John Peterson, Valery Trifonov, Andrei Serjantov	Parallel Functional Reactive Programming.	PADL	2000	DBLP DOI BibTeX RDF
15	René Stolle, Wilhelm R. Rossak, Vassilka Kirova	A Component-Driven Architecture for Internet-Based, Directly Reactive Information Systems.	ECBS	2000	DBLP DOI BibTeX RDF	distributed IS systems, software architecture, middleware, reusability
15	Paul B. Jackson	Total-Correctness Refinement for Sequential Reactive Systems.	TPHOLs	2000	DBLP DOI BibTeX RDF
15	Sven Behnke, Raúl Rojas 0001	A Hierarchy of Reactive Behaviors Handles Complexity.	Balancing Reactivity and Social Deliberation in Multi-Agent Systems	2000	DBLP DOI BibTeX RDF
15	Dominique Cansell, Dominique Méry, Stephan Merz	Predicate Diagrams for the Verification of Reactive Systems.	IFM	2000	DBLP DOI BibTeX RDF
15	Ionut D. Aron, Sandeep K. S. Gupta	Analytical comparison of local and end-to-end error recovery in reactive routing protocols for mobile ad hoc networks.	MSWiM	2000	DBLP DOI BibTeX RDF	mobile ad hoc network, performance analysis, routing protocol
15	Robert J. Hall 0001	Upgrading Legacy Instances of Reactive Systems.	ASE	2000	DBLP DOI BibTeX RDF
15	Kevin Lano, Kelly Androutsopoulos, David Clark 0001	Structuring and Design of Reactive Systems Using RSDS and B.	FASE	2000	DBLP DOI BibTeX RDF
15	G. H. Shah Hamzei, David J. Mulvaney, Ian P. W. Sillitoe	Multi-Layer Hierarchical Rule Learning in Reactive Robot Control Using Incremental Decision Trees.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	behaviour decomposition, behaviour learning, intelligent navigation, decision tress, ITI, machine learning, robotics
15	Araceli Sanchis, José M. Molina 0001, Pedro Isasi, Javier Segovia	Learning Symbolic Rules with a Reactive with Tags Classifier System in Robot Navigation.	IWANN (2)	1999	DBLP DOI BibTeX RDF
15	Karlheinz Weiß, Thorsten Steckstor, Wolfgang Rosenstiel	Emulation of a Fast Reactive Embedded System using a Real Time Operating System.	DATE	1999	DBLP DOI BibTeX RDF
15	A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar	A Graphical Environment for the Specification and Verification of Reactive Systems.	SAFECOMP	1999	DBLP DOI BibTeX RDF
15	Frédéric Julliard, Sylvie Gibet	Reactiva'Motion Project: Motion Synthesis Based on a Reactive Representation.	Gesture Workshop	1999	DBLP DOI BibTeX RDF
15	Nicolas Halbwachs, Pascal Raymond	Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.	ASIAN	1999	DBLP DOI BibTeX RDF
15	Felice Balarin, Massimiliano Chiodo	Software Synthesis for Complex Reactive Embedded Systems.	ICCD	1999	DBLP DOI BibTeX RDF
15	Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli	Modeling reactive systems in Java.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	simulation, Java, prototyping, high level design
15	Felice Balarin	Priority Assignment for Embedded Reactive Real-Time Systems.	LCTES	1998	DBLP DOI BibTeX RDF
15	Andreas Pyttel, Alexander Sedlmeier, Christian Veith	PSCP: A Scalable Parallel ASIP Architecture for Reactive Systems.	DATE	1998	DBLP DOI BibTeX RDF	FPGA, modular, statechart, application-specific
15	Sarah A. M. Talbot, Paul H. J. Kelly	Reactive Proxies: A Flexible Protocol Extension to Reduce ccNUMA Node Controller Contention.	Euro-Par	1998	DBLP DOI BibTeX RDF
15	Giacomo Cabri, Letizia Leonardi, Franco Zambonelli	Reactive Tuple Spaces for Mobile Agent Coordination.	Mobile Agents	1998	DBLP DOI BibTeX RDF
15	Emil Sekerinski	Graphical Design of Reactive Systems.	B	1998	DBLP DOI BibTeX RDF
15	Pierre Wolper	Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract).	LOPSTR	1998	DBLP DOI BibTeX RDF
15	Roberto Iglesias, Carlos Vázquez Regueiro, José Correa 0002, Senén Barro	Implementation of a Basic Reactive Behavior in Mobile Robotics Through Artificial Neural Networks.	IWANN	1997	DBLP DOI BibTeX RDF
15	Thomas Långbacka, Joakim von Wright	Refining Reactive Systems in HOL Using Action Systems.	TPHOLs	1997	DBLP DOI BibTeX RDF
15	Kevin Lano, Arturo Sanchez	Design of Reactive Control Systems for Event-Drivem Operations.	FME	1997	DBLP DOI BibTeX RDF
15	Pertti Kellomäki	Verification of Reactive Systems Using DisCo and PVS.	FME	1997	DBLP DOI BibTeX RDF
15	Manfred Broy	Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
15	Gerhard Schrott	Reactive Real-Time Programming with Distributed Agents.	Euro-Par	1997	DBLP DOI BibTeX RDF
15	Lars Büttner, Ute Haack, Wolfgang Schröder-Preikschat, Thomas Stickdor	Dual, Mobile and Reactive Objects - Operating System Support for.	HICSS (1)	1997	DBLP DOI BibTeX RDF
15	Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen	A Universal Reactive Machine.	CONCUR	1997	DBLP DOI BibTeX RDF
15	Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever	Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.	FSTTCS	1997	DBLP DOI BibTeX RDF
15	Felice Balarin, Alberto L. Sangiovanni-Vincentelli	Schedule Validation for Embedded Reactive Real-Time Systems.	DAC	1997	DBLP DOI BibTeX RDF
15	Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen	A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Modechart, VFSM, Formal methods, specification languages, Z, SDL, industrial applications, LOTOS, ESTEREL, technology assessment
15	Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe	STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems.	CAV	1996	DBLP DOI BibTeX RDF
15	Majd Alwan, Peter Y. K. Cheung, Akram Saleh, Nour E. Cheikh Obeid	Combining goal-directed, reactive and reflexive navigation in autonomous mobile robots.	ANZIIS	1996	DBLP DOI BibTeX RDF
15	Rajeev Alur, Thomas A. Henzinger	Local Liveness for Compositional Modeling of Fair Reactive Systems.	CAV	1995	DBLP DOI BibTeX RDF
15	Kevin Lano	Reactive System Specification and Refinement.	TAPSOFT	1995	DBLP DOI BibTeX RDF
15	Uwe Gläser	Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools.	EUROCAST	1995	DBLP DOI BibTeX RDF
15	Mario Martín, Ulises Cortés	Learning to Solve Complex Tasks for Reactive Systems (Extended Abstract).	ECML	1995	DBLP DOI BibTeX RDF
15	Jeremy R. Cooperstock	Making the user interface disappear: the reactive room.	CASCON	1995	DBLP BibTeX RDF
15	Lisa J. Burnell, Scott E. Talbot	Incorporating Probabilistic Reasoning in a Reactive Program Debugging System.	IEEE Expert	1994	DBLP DOI BibTeX RDF
15	Anuchit Anuchitanukul, Zohar Manna	Realizability and Synthesis of Reactive Modules.	CAV	1994	DBLP DOI BibTeX RDF
15	Mikael Berndtsson	Reactive Object-Oriented Databases and CIM.	DEXA	1994	DBLP DOI BibTeX RDF	(re)active databases, object-oriented databases, CIM
15	Michael Fisher 0001	Concurrent METATEM - A Language for Modelling Reactive Systems.	PARLE	1993	DBLP DOI BibTeX RDF
15	R. Peter Bonasso	Using parallel program specifications for reactive control of underwater vehicles.	Appl. Intell.	1992	DBLP DOI BibTeX RDF	situated reasoning, unmanned underwater vehicles, Intelligent control
15	Peter Osmon, Philip M. Sleat	IDRIS: Interactive Design of Reactive Information Systems.	CAiSE	1992	DBLP DOI BibTeX RDF
15	Don Cameron	Technical writers and the business of writing design documents for complex, reactive systems.	SIGDOC	1992	DBLP DOI BibTeX RDF
15	Amir Pnueli, Roni Rosner	On the Synthesis of a Reactive Module.	POPL	1989	DBLP DOI BibTeX RDF
15	Amir Pnueli, Roni Rosner	On the Synthesis of an Asynchronous Reactive Module.	ICALP	1989	DBLP DOI BibTeX RDF
15	Amir Pnueli, Roni Rosner	A Framework for the Synthesis of Reactive Modules.	Concurrency	1988	DBLP DOI BibTeX RDF
15	Calvin N. Mooers	TRAC, a procedure-describing language for the reactive typewriter.	Commun. ACM	1966	DBLP DOI BibTeX RDF
12	Feng Li 0001, Jie Wu 0001	Uncertainty Modeling and Reduction in MANETs.	IEEE Trans. Mob. Comput.	2010	DBLP DOI BibTeX RDF	vouching, mobility, mobile ad hoc networks, Authentication, trust, uncertainty, reputation, proactive, reactive
12	Steven P. Reiss, Suman Karumuri	Visualizing threads, transactions and tasks.	PASTE	2010	DBLP DOI BibTeX RDF	program understanding, software visualization, reactive systems, event handling
12	Min-Hua Shao, Ji-Bin Lin, Yi-Ping Lee	Cluster-based Cooperative Back Propagation Network Approach for Intrusion Detection in MANET.	CIT	2010	DBLP DOI BibTeX RDF	Clustering, Neural Networks, Information Security, AODV, Reactive Routing
12	Talania Grobler, C. P. Louwrens, Sebastiaan H. von Solms	A Multi-component View of Digital Forensics.	ARES	2010	DBLP DOI BibTeX RDF	Digital Forensic readiness, Proactive Digital Forensics, Active Digital Forensics, Reactive Digital Forensics, Digital Forensics
12	Solange Ghernaouti-Helie	A National Strategy for an Effective Cybersecurity Approach and Culture.	ARES	2010	DBLP DOI BibTeX RDF	Cybersecurity strategy, national cybersecurity action plan, organisational structures, cybersecurtiy culture, building human capacities, cooperation and coordination, proactive and reactive measures
12	Gregor Klancar, Drago Matko, Saso Blazic	Wheeled Mobile Robots Control in a Linear Platoon.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Path following control, Reactive multiagent system, Mobile robots, Platooning
12	Zhigeng Pan, Xi Cheng, Wenzhi Chen, Gengdai Liu, Bing Tang	Real time falling animation with active and protective responses.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Reactive motion, Balance detection, Protective responses, Physics based modeling, Character animation
12	Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu 0001	Semantic Criteria for Choosing a Language for Big-Step Models.	RE	2009	DBLP DOI BibTeX RDF	Semantics of modelling languages, UML statemachines, big-step modelling languages, interactive systems, Statecharts, reactive systems, Synchronous languages
12	Aminu Mohammed, Mohamed Ould-Khaoua, Lewis M. Mackenzie, Colin Perkins, Jamal-Deen Abdulai	Probabilistic counter-based route discovery for mobile ad hoc networks.	IWCMC	2009	DBLP DOI BibTeX RDF	simulation, MANETs, flooding, reactive routing, route discovery, broadcast storm
12	Julian Gutierrez 0001	Logics and Bisimulation Games for Concurrency, Causality and Conflict.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
12	Hai Liu 0012, Eric Cheng, Paul Hudak	Causal commutative arrows and their optimization.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language
12	Robert van Herk, Janneke Verhaegh, Willem Fontijn	ESPranto SDK: an adaptive programming environment for tangible applications.	CHI	2009	DBLP DOI BibTeX RDF	software development kit, end-user programming, tangible interaction, reactive programming
12	Marko Boskovic, Wilhelm Hasselbring	Model Driven Performance Measurement and Assessment with MoDePeMART.	MoDELS	2009	DBLP DOI BibTeX RDF	Software Performance Measurement and Assessment, Transformational and Reactive Systems, Model Driven Engineering
12	Yadira Quiñonez, Javier de Lope Asiaín, Darío Maravall	Cooperative and Competitive Behaviors in a Multi-robot System for Surveillance Tasks.	EUROCAST	2009	DBLP DOI BibTeX RDF	Evolutionary Algorithms, Artificial Neural Network, Surveillance, Multi-robot systems, Neurocontrollers, Reactive Behaviors
12	Ian Horswill	Very fast action selection for parameterized behaviors.	FDG	2009	DBLP DOI BibTeX RDF	reactive planning, agent architectures, behavior-based control
12	Kelly Androutsopoulos, David Clark 0001, Mark Harman, Zheng Li 0002, Laurence Tratt	Control Dependence for Extended Finite State Machines.	FASE	2009	DBLP DOI BibTeX RDF	reactive systems, slicing, control dependence, extended finite state machines
12	Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan	On the Relationships between Notions of Simulation-Based Security.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus
12	Hyon-Young Choi, Sung-Gi Min, Kwang-Ryoul Kim, Youn-Hee Han, Hyo-Beom Lee	Seamless handover scheme for proxy mobile IPv6 using smart buffering.	Mobility Conference	2008	DBLP DOI BibTeX RDF	reactive handover, mobile IPv6, proxy mobile IPv6, PMIPv6, mobility support
12	Lina Peng, K. Selçuk Candan, Christopher B. Mayer, Karam S. Chatha, Kyung Dong Ryu	Optimization of media processing workflows with adaptive operator behaviors.	Multim. Tools Appl.	2007	DBLP DOI BibTeX RDF	Media-processing workflows, Sensory/reactive environments, Quality-cost tradeoff, Quality-delay tradeoff, Interactive arts
12	Georgios Exarchakos, Nick Antonopoulos	Resource Sharing Architecture For Cooperative Heterogeneous P2P Overlays.	J. Netw. Syst. Manag.	2007	DBLP DOI BibTeX RDF	Peer-to-peer, Heterogeneity, Reactive systems, Resource sharing
12	Eva Nieuwdorp	The pervasive discourse: an analysis.	Comput. Entertain.	2007	DBLP DOI BibTeX RDF	interactive and reactive computation, multi/mixed media, portable devices (e.g., laptops, personal digital assistants), research discourse, ubiquitous computing, pervasive computing, games, gaming, user-centered design, information theory, hardware, pervasive gaming, history of computing, interactive environment, terminology, discourse analysis, ubiquitous gaming
12	Fernando Montes-González	The Coevolution of Robot Behavior and Central Action Selection.	IWINAC (2)	2007	DBLP DOI BibTeX RDF	Reactive Robotics, Genetic Algorithms, Action Selection
12	Michael Zoumboulakis, George Roussos	Escalation: Complex Event Detection in Wireless Sensor Networks.	EuroSSC	2007	DBLP DOI BibTeX RDF	Parameter-free Detection, Reactive Sensor Networks, Data Compression, Event Detection, Network Control, Complex Events