Search results for "reactive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Sergio Sáez, 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
27	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Composing heterogeneous reactive systems.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	correct-by-construction design, reactive systems, Compositionality, models of computation, GALS
27	Olivier Lambrechts, Erik Demeulemeester, Willy Herroelen	Proactive and reactive strategies for resource-constrained project scheduling with uncertain resource availabilities.	J. Sched.	2008	DBLP DOI BibTeX RDF	Proactive/reactive project scheduling, Stochastic resource breakdowns
27	Niaz A. Wassan, A. Hameed Wassan, Gábor Nagy 0001	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
27	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
27	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
27	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
27	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
27	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
27	Franck Gechter, Vincent Chevrier, François Charpillet	A reactive agent-based problem-solving model: Application to localization and tracking.	ACM Trans. Auton. Adapt. Syst.	2006	DBLP DOI BibTeX RDF	Reactive multi-agent systems, localization, tracking, mobile robots
27	Alain Girault, Xavier Nicollin, Marc Pouzet	Automatic rate desynchronization of embedded reactive programs.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Embedded programs, long-duration tasks, parallelization algorithm, reactive systems, desynchronization, automatic distribution
27	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.	Comput. Entertain.	2006	DBLP DOI BibTeX RDF	reactive virtual human, haptic interaction, physics simulator
27	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
27	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
27	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
27	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
27	Cristina Cerschi Seceleanu, Tiberiu Seceleanu	Modular Design of Reactive Systems.	COMPSAC	2004	DBLP DOI BibTeX RDF	Concurrency, Reactive systems, Modular design, Action systems
27	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
27	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
27	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
27	Robert J. Hall 0001	A Supermodel Framework Supporting Validated Upgrading of Reactive Systems.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	supermodel, validation, evolution, reactive system, upgrading
27	Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black	Reactive Objects.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	concurrency, object-oriented, programming model, reactive, event-based
27	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
27	Araceli Sanchis, José M. Molina 0001, Pedro Isasi, Javier Segovia	RTCS: a Reactive with Tags Classifier System.	J. Intell. Robotic Syst.	2000	DBLP DOI BibTeX RDF	genetic learning, robotics, reactive systems, behavior, classifier systems
27	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
27	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
27	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
27	Massimo Bernaschi, Sauro Succi, Gino 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
27	Antonis A. Argyros, Fredrik Bergholm	Combining Central and Peripheral Vision for Reactive Robot Navigation.	CVPR	1999	DBLP DOI BibTeX RDF	Reactive robot navigation, Flow balancing, Peripheral vision
27	Soong Hee Lee	A Reactive Access Control Scheme at UNI for Congestion Control in ATM-Based B-ISDN.	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
27	Paul Caspi, Alain Girault	Execution of Distributed Reactive Systems.	Euro-Par	1995	DBLP DOI BibTeX RDF	parallel computing, reactive system, synchronous language, program interface
26	Nigamanth Sridhar, Jason O. Hallstrom	A specification idiom for reactive systems.	ICSE Companion	2009	DBLP DOI BibTeX RDF
26	Alva L. Couch, Marc Chiarini	Combining Learned and Highly-Reactive Management.	MACE	2009	DBLP DOI BibTeX RDF	convergent operators, computer immunology, Cfengine, autonomic computing, self-organizing systems, emergent properties
26	Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki	Emergent Properties in Reactive Systems.	APSEC	2008	DBLP DOI BibTeX RDF
26	Mikhail Auguston, Mark B. Trakhtenbrot	Synthesis of Monitors for Real-Time Analysis of Reactive Systems.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
26	Sibo Yang, Franck Gechter, Abderrafiaa Koukam	Application of Reactive Multi-agent System to Vehicle Collision Avoidance.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
26	David Harel, Itai Segall, Hillel Kugler, Yaki Setty	Crafting game-models using reactive system design.	Future Play	2008	DBLP DOI BibTeX RDF	simulators, game design, statecharts, systems biology, live sequence charts
26	Nilgün Fescioglu-Ünver, Mieczyslaw M. Kokar	Application of Self Controlling Software Approach to Reactive Tabu Search.	SASO	2008	DBLP DOI BibTeX RDF
26	José Júlio Alferes, Ricardo Amador	r 3- A Foundational Ontology for Reactive Rules.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
26	Sanjit A. Seshia	Autonomic Reactive Systems via Online Learning.	ICAC	2007	DBLP DOI BibTeX RDF
26	Vijay D'Silva, Sampada Sonalkar, S. Ramesh	Existential abstractions for distributed reactive systems via syntactic transformations.	EMSOFT	2007	DBLP DOI BibTeX RDF
26	Consolee Mbarushimana, Alireza Shahrabi	Comparative Study of Reactive and Proactive Routing Protocols Performance in Mobile Ad Hoc Networks.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF
26	Andrew Viquerat, Lachlan Blackhall, Alistair Reid 0001, Salah Sukkarieh, Graham M. Brooker	Reactive Collision Avoidance for Unmanned Aerial Vehicles Using Doppler Radar.	FSR	2007	DBLP DOI BibTeX RDF
26	José-Luis Blanco, Javier González 0001, Juan-Antonio Fernández-Madrigal	The Trajectory Parameter Space (TP-Space): A New Space Representation for Non-Holonomic Mobile Robot Reactive Navigation.	IROS	2006	DBLP DOI BibTeX RDF
26	Gérard P. Huet, Benoît Razet	The Reactive Engine for Modular Transducers.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
26	Debdeep Banerjee, Jeffrey Tweedale	Reactive (Re) Planning Agents in a Dynamic Environment.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	BDI agent, AI planning
26	Jianxue Wang, Weichao Wang, Xifan Wang, Haoyong Chen, Xiuli Wang	Cooperative Co-evolutionary Approach Applied in Reactive Power Optimization of Power System.	ICNC (1)	2006	DBLP DOI BibTeX RDF
26	Zoran A. Salcic, Flavius Gruian, Partha S. Roop, Alif Wahid	A Scheduler Support Unit for Reactive Microprocessors.	RTCSA	2006	DBLP DOI BibTeX RDF
26	Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi	Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages.	FLOPS	2006	DBLP DOI BibTeX RDF
26	Thomas T. Hildebrandt, Henning Niss, Martin Olsen	Formalising Business Process Execution with Bigraphs and Reactive XML.	COORDINATION	2006	DBLP DOI BibTeX RDF
26	Abraham Sánchez López, Rodrigo Cuautle, René Zapata, Maria A. Osorio	A Reactive Lazy PRM Approach for Nonholonomic Motion Planning.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF	Nonholonomic motion planning, deformable virtual zone, lazy PRM
26	Sol Efroni, David Harel, Irun R. Cohen	Reactive Animation: Realistic Modeling of Complex Dynamic Systems.	Computer	2005	DBLP DOI BibTeX RDF
26	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe	Quasi-static scheduling of independent tasks for reactive systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
26	Eduardo Izquierdo-Torres, Ezequiel A. Di Paolo	Is an Embodied System Ever Purely Reactive?	ECAL	2005	DBLP DOI BibTeX RDF
26	Craig B. Zilles, Naveen Neelakantam	Reactive Techniques for Controlling Software Speculation.	CGO	2005	DBLP DOI BibTeX RDF
26	Robert M. Harlan, Shelley McClarigan	Creating emergent behaviors: two robotics labs that combine reactive behaviors.	SIGCSE	2005	DBLP DOI BibTeX RDF	robotics laboratory assignments, emergent behavior, behavior-based robotics
26	César Sánchez 0001, Matteo Slanina, Henny B. Sipma, Zohar Manna	Expressive Completeness of an Event-Pattern Reactive Programming Language.	FORTE	2005	DBLP DOI BibTeX RDF
26	Dagan Gilat, Royi Ronen, Ron Rothblum, Guy Sharon, Inna Skarbovsky	Reactive Rules-Based Dependency Resolution for Monitoring Dynamic Environments.	RuleML	2005	DBLP DOI BibTeX RDF
26	James Bailey 0001, François Bry, Michael Eckert, Paula-Lavinia Patranjan	Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web.	RuleML	2005	DBLP DOI BibTeX RDF
26	Jingde Cheng	Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems.	AINA	2005	DBLP DOI BibTeX RDF
26	Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas	Reactive Spin-locks: A Self-tuning Approach.	ISPAN	2005	DBLP DOI BibTeX RDF
26	Artur Zawlocki	Architectural Specifications for Reactive Systems.	WADT	2004	DBLP DOI BibTeX RDF
26	Florence Maraninchi, Lionel Morel	Logical-Time Contracts for Reactive Embedded Components.	EUROMICRO	2004	DBLP DOI BibTeX RDF
26	Woong Choi, Seung Zoo Jeong, Naoki Hashimoto, Syouichi Hasegawa, Yasuharu Koike, Makoto Sato	A Development and Evaluation of Reactive Motion Capture System with Haptic Feedback.	FGR	2004	DBLP DOI BibTeX RDF
26	XuanTung Hoang, Soyeon Ahn, Namhoon Kim, Hyungkeun Lee	Efficient Route Discovery for Reactive Routing Protocols with Lazy Topology Exchange and Condition Bearing Route Discovery.	ICOIN	2004	DBLP DOI BibTeX RDF
26	David Harel	A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal.	VMCAI	2004	DBLP DOI BibTeX RDF
26	Faisal Qureshi 0001, Demetri Terzopoulos, Ross Gillett	The Cognitive Controller: A Hybrid, Deliberative/Reactive Control Architecture for Autonomous Robots.	IEA/AIE	2004	DBLP DOI BibTeX RDF
26	Shay Kutten, Boaz Patt-Shamir	Adaptive Stabilization of Reactive Protocols.	FSTTCS	2004	DBLP DOI BibTeX RDF
26	Ross Buhrdorf, Dale Churchett, Charles W. Krueger	Salion's Experience with a Reactive Software Product Line Approach.	PFE	2003	DBLP DOI BibTeX RDF
26	Prahladavaradan Sampath	Multi-agent Reactive Systems.	PADL	2003	DBLP DOI BibTeX RDF
26	Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng	Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems.	APSEC	2003	DBLP DOI BibTeX RDF
26	Stefan Butenweg	Two Distributed Reactive MPLS Traffic Engineering Mechanisms for Throughput Optimization in Best Effort MPLS Networks.	ISCC	2003	DBLP DOI BibTeX RDF
26	Rik Eshuis, Roel J. Wieringa	Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
26	Mykel J. Kochenderfer	Evolving Hierarchical and Recursive Teleo-reactive Programs through Genetic Programming.	EuroGP	2003	DBLP DOI BibTeX RDF
26	Gabriel Pires, Urbano Nunes	A Wheelchair Steered through Voice Commands and Assisted by a Reactive Fuzzy-Logic Controller.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	voice human-machine interface, behaviour-based architecture, fuzzy control, shared control
26	Zoran A. Salcic, Partha S. Roop, Morteza Biglari-Abhari, Abbas Bigdeli	REFLIX: A Processor Core for Reactive Embedded Applications.	FPL	2002	DBLP DOI BibTeX RDF
26	Prahladavaradan Sampath	Modelling Multi-agent Reactive Systems.	ICLP	2002	DBLP DOI BibTeX RDF
26	Roel J. Wieringa, David N. Jansen	Techniques for Reactive System Design: The Tools in TRADE.	CAiSE	2001	DBLP DOI BibTeX RDF
26	Antonio Zambroni de Souza, Fernando Alvarado, Mevludin Glavic	The Effect of Loading on Reactive Market Power.	HICSS	2001	DBLP DOI BibTeX RDF
26	Jian Lu	Reactive and Proactive Approaches to Media Streaming: From Scalable Coding to Content Delivery Networks.	ITCC	2001	DBLP DOI BibTeX RDF	Media streaming, content delivery network, scalable coding
26	Olivier Sigaud, Pierre Gérard	Being Reactive by Exchanging Roles: An Empirical Study.	Balancing Reactivity and Social Deliberation in Multi-Agent Systems	2000	DBLP DOI BibTeX RDF
26	Marc S. Atkin, David L. Westbrook, Paul R. Cohen	HAC: A Unified View of Reactive and Deliberative Activity.	Balancing Reactivity and Social Deliberation in Multi-Agent Systems	2000	DBLP DOI BibTeX RDF
26	Olivier Simonin 0001, Jacques Ferber	Reactive Real-Time Cooperation as a Combination of Altruism and Self Satisfaction.	ICMAS	2000	DBLP DOI BibTeX RDF
26	Zhanyong Wan, Paul Hudak	Functional reactive programming from first principles.	PLDI	2000	DBLP DOI BibTeX RDF
26	Claudio de la Riva, Javier Tuya, José Ramón de Diego	Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
26	Elpida Tzafestas	Reactive Robots in the Service of Production Management.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	motivational autonomy, reactivity, operationality, behavior-based robotics
26	José Ramírez	Neural Synthesis of Teleo-Reactive Programs.	ICMAS	1998	DBLP DOI BibTeX RDF
26	Youngsoo Shin, Kiyoung Choi	Rate Assignment for Embedded Reactive Real-Time Systems.	EUROMICRO	1998	DBLP DOI BibTeX RDF
26	Gérard Berry, S. Ramesh 0001, R. K. Shyamasundar	Communicating Reactive Processes.	POPL	1993	DBLP DOI BibTeX RDF	CSP, CSP
26	Neel Madhav, Sigurd Meldal	An object-oriented approach to formal specification of reactive systems.	ICDCS	1991	DBLP DOI BibTeX RDF
26	Amir Pnueli	Linear and Branching Structures in the Semantics and Logics of Reactive Systems.	ICALP	1985	DBLP DOI BibTeX RDF
23	Gwenaël Delaval, Hervé Marchand, Éric Rutten	Contracts for modular discrete controller synthesis.	LCTES	2010	DBLP DOI BibTeX RDF	adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming
23	Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg 0002, Aleks Bromfield, Shriram Krishnamurthi	Flapjax: a programming language for Ajax applications.	OOPSLA	2009	DBLP DOI BibTeX RDF	javascript, web programming, functional reactive programming
23	Reinhard von Hanxleden	SyncCharts in C: a proposal for light-weight, deterministic concurrency.	EMSOFT	2009	DBLP DOI BibTeX RDF	SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming
23	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	A framework for abstract interpretation of timed concurrent constraint programs.	PPDP	2009	DBLP DOI BibTeX RDF	timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
23	George Giorgidze, Henrik Nilsson	Switched-On Yampa.	PADL	2008	DBLP DOI BibTeX RDF	synchronous dataflow languages, hybrid systems, computer music, Functional Reactive Programming
23	Kristopher J. Blom, Steffi Beckhaus	Supporting the creation of dynamic, interactive virtual environments.	VRST	2007	DBLP DOI BibTeX RDF	dynamic virtual environments, virtual reality, interactive, functional reactive programming
23	Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden	HW/SW co-design for Esterel processing.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	reactive processing, synchronous languages, Esterel, HW/SW co-design
23	Hoang Nam Chu, Arnaud Glad, Olivier Simonin 0001, François Sempé, Alexis Drogoul, François Charpillet	Swarm Approaches for the Patrolling Problem, Information Propagation vs. Pheromone Evaporation.	ICTAI (1)	2007	DBLP DOI BibTeX RDF	Multi-agent patrolling, reactive multi- agents system, digital pheromones
23	Fernando Luís Dotti, Leila Ribeiro 0001, Osmar Marchi dos Santos, Fábio Pasini	Verifying Object-based Graph Grammars.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Partial systems, Model checking, Reactive systems, Graph grammars, Object-based systems