Search results for "reactive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Erwan Jahier, Pascal Raymond, Philippe Baufreton	Case studies with Lurette V2.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Tool environment, Stochastic machines, Automated testing, Synchronous languages, Real-time embedded systems, Reactive programs
23	Yihong Wu 0001, Lin Zhang, Yiqun Wu, Zhisheng Niu	Interest dissemination with directional antennas for wireless sensor networks with mobile sinks.	SenSys	2006	DBLP DOI BibTeX RDF	antenna directivity, wireless sensor network, cross-layer optimization, mobile sink, reactive routing
23	Kensuke Tanaka, Noriko Matsumoto, Norihiko Yoshida	Adaptive Router Promotion in Ad-Hoc Networks.	EUC Workshops	2006	DBLP DOI BibTeX RDF	Network Traffic Reduction, Ad-hoc Network, Reactive Routing, Cluster-based Routing, Adaptive Network
23	François Bry, Paula-Lavinia Patranjan	Reactivity on the web: paradigms and applications of the language XChange.	SAC	2005	DBLP DOI BibTeX RDF	reactive languages, web, event-condition-action rules
23	Suwon Lee, Sung-Hun Lim	Operational Characteristics of Intelligent Dual-Reactor with Current Controlled Inverter.	KES (1)	2005	DBLP DOI BibTeX RDF	dual-reactor, current controlled inverter, fault current, reactive power
23	Vlatko Becanovic, Ramin Hosseiny, Giacomo Indiveri	Object Tracking Using Multiple Neuromorphic Vision Sensors.	RoboCup	2004	DBLP DOI BibTeX RDF	Neuromorphic vision sensors, reactive robot control, sensor fusion, RoboCup, analog VLSI
23	Ana Lilia Laureano-Cruces, Javier Ramírez-Rodríguez, Amador Terán-Gilmore	Evaluation of the Teaching-Learning Process with Fuzzy Cognitive Maps.	IBERAMIA	2004	DBLP DOI BibTeX RDF	genetic graph, intelligent learning systems, reactive learning environment, qualitative process, mental models, fuzzy cognitive maps, cognitive task analysis
23	Xing He, Ann R. Karagozian	Numerical Simulation of Pulse Detonation Engine Phenomena.	J. Sci. Comput.	2003	DBLP DOI BibTeX RDF	detonations, gasdynamics, reactive Euler equations, shock capturing schemes
23	Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher	Action Refinement from a Logical Point of View.	VMCAI	2003	DBLP DOI BibTeX RDF	verification, specification, modal logics, reactive systems, action refinement
23	Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints
23	Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps	Model Based Testing in Evolutionary Software Development.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF	Cleanroom SW Engineering, Rapid Prototyping, Extreme Programming, Reactive Systems, Constraint Logic Programming, Incremental Development, Test Case Generation
23	Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi	Temporal logics for real-time system specification.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	logic specification languages, metric of time, specification model, real-time, temporal logics, modal logic, reactive systems, temporal constraints, temporal relationships
23	Meurig Sage	FranTk - a declarative GUI language for Haskell.	ICFP	2000	DBLP DOI BibTeX RDF	graphical user interfaces, Haskell, Haskell, functional reactive programming
23	Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo César Masiero, Márcio Eduardo Delamaro	Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing.	SCCC	1999	DBLP DOI BibTeX RDF	Software Testing, Tools, Finite State Machines, Reactive Systems, Mutation Testing
23	Arcot Sowmya, S. Ramesh 0001	Extending Statecharts with Temporal Logic.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	FNLOG, real-time, formal specifications, robotics, Concurrency, temporal logic, specification languages, statecharts, reactive systems, state-machines
23	Manas Saksena, Paul Freedman, Pawel Rodziewicz	Guidelines for automated implementation of executable object oriented models for real-time embedded control systems.	RTSS	1997	DBLP DOI BibTeX RDF	control system analysis computing, automated implementation, executable object oriented models, real time embedded control systems, real time scheduling theory, ROOM methodology, telecommunications community, commercial systems, case tool ObjecTime, reactive real time behavior, hard real time components, cruise control example, ROOM model, executable models, priority inversions, temporal behavior, Real time Object Oriented Modeling
23	Jan Peleska 0001, Michael Siegel	From Testing Theory to Test Driver Implementation.	FME	1996	DBLP DOI BibTeX RDF	may tests, must tests, refinement, test generation, CSP, reactive systems, FDR, test evaluation
23	Jan Peleska 0001	Test Automation for Safety-Critical Systems: Industrial Application and Future Developments.	FME	1996	DBLP DOI BibTeX RDF	test driver, test monitors, refinement, test generation, CSP, reactive systems, test oracles, FDR
23	James F. Cremer, Joseph K. Kearney, Yiannis E. Papelis	HCSM: A Framework for Behavior and Scenario in Virtual Environments.	ACM Trans. Model. Comput. Simul.	1995	DBLP DOI BibTeX RDF	scenario control, virtual environments, autonomous agents, reactive systems, behavior modeling, state machines, real-time simulation, interactive simulation
22	Yonghong Chen, Xing Liu, Vaithianathan Mani Venkatasubramanian	Fast Algorithms for Detecting Circular VAR Flows in Large Power-Flow Models.	HICSS	2008	DBLP DOI BibTeX RDF	Loop flows, power-flow studies, Directed graphs, depth-first search, electric power system
22	Alessandro Duminuco, Ernst W. Biersack, Taoufik En-Najjary	Proactive replication in distributed storage systems using machine availability estimation.	CoNEXT	2007	DBLP DOI BibTeX RDF
22	Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab	Compositional Semantics of an Actor-Based Language Using Constraint Automata.	COORDINATION	2006	DBLP DOI BibTeX RDF	Rebeca, Compositional semantics, Reo, Constraint Automata, actor model
22	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	Realizability of Conversation Protocols With Message Contents.	ICWS	2004	DBLP DOI BibTeX RDF
22	Amador R. Diéguez, Rafael Sanz, J. López	Deliberative On-Line Local Path Planning for Autonomous Mobile Robots.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	local path planning, obstacle avoidance, robot navigation, autonomous mobile robots, anytime algorithms
22	Yoshihiro Okada, Yuzuru Tanaka	IntelligentBox: a constructive visual software development system for interactive 3D graphic applications.	CA	1995	DBLP DOI BibTeX RDF	constructive visual software development system, interactive 3D graphic applications, IntelligentPad, 3D visual objects, user-friendly rapid-prototyping software development, frameworks, visual programming, computer animation, computer animations, software prototyping, IntelligentBox
22	Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko	Modular Verification of Petri Nets: The Temporal Logic Approach.	REX Workshop	1989	DBLP DOI BibTeX RDF	modular system design, verification, Petri nets, specification, temporal logic, computer architecture
22	Mahmoud A. Manzoul, Venkateshwar B. Rao	A fuzzy-power factor correction (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
21	Patricia Dockhorn Costa, João Paulo A. Almeida, Igor Magri Vale, Izon Thomaz Mielke	A Model-Driven Approach for Incorporating Reactive Rules in Declarative Interactive TV Applications.	POLICY	2011	DBLP DOI BibTeX RDF	Reactive rules, context-awareness, interactive television, model-driven approach
21	Paulo Sousa 0001, Alysson Neves Bessani, Miguel Correia 0001, Nuno Ferreira Neves, Paulo Veríssimo	Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	reactive recovery, firewall, Intrusion tolerance, proactive recovery
21	Laya Madani, Virginia Papailiopoulou, Ioannis Parissis	Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller.	ICST	2010	DBLP DOI BibTeX RDF	reactive software, Lutess, specification-based testing, automatic test data generation
21	Guiping Xiao, Jiansheng Mei	Reactive Power Optimization Based on Hybrid Particle Swarm Optimization Algorithm.	APWCS	2010	DBLP DOI BibTeX RDF	reactive power optimization, differential evolution, power system, Hybrid particle swarm optimization
21	Kevin P. Twidle, Srdjan Marinovic, Naranker Dulay	Teleo-Reactive Policies in Ponder2.	POLICY	2010	DBLP DOI BibTeX RDF	Policy systems, Ponder2, teleo-reactive programs, Android OS
21	Vinitha Hannah Subburaj, Joseph E. Urban	Issues and Challenges in Building a Framework for Reactive Agent Systems.	CISIS	2010	DBLP DOI BibTeX RDF	reactive agents, specification languages, agent system
21	Amy Ciric, Zeynep H. Gümüs	MINLP: Reactive Distillation Column Synthesis.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Reactive distillation, Bilevel programming, MINLP
21	Wen-hua Zhou, Zhen-jie Jiang	Hybrid Cataclysmic Genetic Algorithm Used to Reactive Power Optimization.	NCM	2009	DBLP DOI BibTeX RDF	Cataclysmic generic algorithm, Reactive power optimization, Fuzzy control
21	Seong-Joo Han, Se-Young Oh	An optimized modular neural network controller based on environment classification and selective sensor usage for mobile robot reactive navigation.	Neural Comput. Appl.	2008	DBLP DOI BibTeX RDF	Environment classification, Cooperative coordination, Evolutionary robotics, Neurocontroller, Reactive navigation
21	Young-Il Oh, Sang-Hoon Kim, Jong-Hoon Kim, Chang-Won Kang	Effects of Retinoic Acid-induced PKC-d on the Insulin Like Growth Factor-I (IGF-I)System is Involved in Reactive Oxygen Species (ROS) in MCF-7 Cells.	BMEI (2)	2008	DBLP DOI BibTeX RDF	Insulin like growth factor-I(IGF-I), protein kanase C (PKC)-d, Reactive oxigen spesies(ROS), Oxidative stress, Retinoic acid, antioxidents, MCF-7
21	Amaia Saracibar, Carlos Sánchez, Ernesto Garcia, Antonio Laganà, Dimitris Skouteris	Grid Computing in Time-Dependent Quantum Reactive Dynamics.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	reactive scattering, quantum dynamics, nitrogen exchange reaction, grid computing
21	Peter Scholz	Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	?-charts, Perfect synchrony, Fixed point semantics, Distributed systems, Partitioning, Statecharts, Reactive systems
21	Daniela Pucci de Farias, Nimrod Megiddo	Combining expert advice in reactive environments.	J. ACM	2006	DBLP DOI BibTeX RDF	complexity and performance bounds, experts algorithms, exploration-exploitation tradeoffs, reactive environments, Sequential decision making
21	Simon J. Thompson, Peter R. King, Helen Cameron	Modelling Reactive Multimedia: Design and Authoring.	Multim. Tools Appl.	2005	DBLP DOI BibTeX RDF	Fran, MCF, model, design, multimedia, authoring, Haskell, functional, SMIL, reactive, suggestions
21	Hiranmay Ghosh, Santanu Chaudhury	Distributed and Reactive Query Planning in R-MAGIC: An Agent-Based Multimedia Retrieval System.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	Reactive planning, multimedia retrieval, agent-based systems, distributed retrieval, distributed planning
21	Bertrand Jeannet	Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	linear relation analysis, partitioning, abstract interpretation, program verification, reactive systems
21	Karim A. Tahboub	A Semi-Autonomous Reactive Control Architecture.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	semi-autonomous systems, man-animal interaction, intelligent control architectures, behavior-based systems, robotic wheelchairs, reactive behavior
21	Yasushi Yagi, Hiroyuki Nagai, Kazumasa Yamazawa, Masahiko Yachida	Reactive Visual Navigation Based on Omnidirectional Sensing - Path Following and Collision Avoidance.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	omnidirectional image sensor, mobile robot, collision avoidance, robot vision, visual navigation, path following, reactive behavior
21	Frédéric Boussinot, Jean-Ferdy Susini, Frédéric Dang Tran, Laurent Hazard	A reactive behavior framework for dynamic virtual worlds.	Web3D	2001	DBLP DOI BibTeX RDF	animation, VRML, virtual world, reactive systems, behavior
21	Mikael Berndtsson, Jörgen Hansson	Time is the Shadow of Reactive Behavior.	IDEAS	2000	DBLP DOI BibTeX RDF	reactive behaviour, message coordination, scalable trigger system, performance, multi-agent systems, scalability, active database, workflow systems, production rules, rule engine, database performance, electronic messaging
21	Tevfik Bultan	Action Language: a specification language for model checking reactive systems.	ICSE	2000	DBLP DOI BibTeX RDF	model checking, specification languages, reactive systems
21	Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi	Verification Criteria for a Compositional Model for Reactive Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	verification criteria, system composition/decomposition, external interface, temporal constraint propagation, structural hierarchy, missing temporal constraints, TROL, object oriented real time language, formal specification, reactive systems, compositional model, graphical notation
21	Roberto Battiti, Alan A. Bertossi	Greedy, Prohibition, and Reactive Heuristics for Graph Partitioning.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	reactive search, local search, heuristic algorithms, graph partitioning, iterative improvement, Graph bisection
21	Dennis Dams, Rob Gerth, Orna Grumberg	Abstract Interpretation of Reactive Systems.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	model checking, formal methods, abstract interpretation, reactive systems, mu-calculus
21	Robert J. Hall 0001	Reactive System Validation using Automated Reasoning over a Fragment Library.	ASE	1997	DBLP DOI BibTeX RDF	reactive system validation, fragment library, intermediate protocol step, protocol outcomes, CS-NC protocol, personal channel agent, eavesdropper actions, protocol message, channel identifiers, correctness, automated reasoning, software libraries, keys
21	Lalita Jategaonkar Jagadeesan, Adam A. Porter, Carlos Puchol, J. Christopher Ramming, Lawrence G. Votta	Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report).	ICSE	1997	DBLP DOI BibTeX RDF	empirical studies, temporal logic, reactive systems, specification-based testing
21	Peter Baumann, Karl Lermer	A Framework for the Specification of Reactive and Concurrent Systems in Z.	FSTTCS	1995	DBLP DOI BibTeX RDF	formal methods, reactive systems, Z, TLA
21	Frédéric Rocheteau, Nicolas Halbwachs	Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE.	REX Workshop	1991	DBLP DOI BibTeX RDF	Reactive systems, synchronous languages, silicon compilation
21	Amir Pnueli, Roni Rosner	Distributed Reactive Systems Are Hard to Synthesize	FOCS	1990	DBLP DOI BibTeX RDF	elementarily decidable, distributed reactive system, propositional specification, nonelementarily decidable, distributed architecture, undecidable, finite-state
20	Ömür Arslan, Uluc Saranli, Ömer Morgül	Reactive footstep planning for a planar spring mass hopper.	IROS	2009	DBLP DOI BibTeX RDF
20	Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	Reactive Systems, Barbed Semantics, and the Mobile Ambients.	FoSSaCS	2009	DBLP DOI BibTeX RDF
20	Wilkerson de L. Andrade, Patrícia D. L. Machado	Interruption Testing of Reactive Systems.	SBMF	2009	DBLP DOI BibTeX RDF
20	Martin Tröschel, Hans-Jürgen Appelrath	Towards Reactive Scheduling for Large-Scale Virtual Power Plants.	MATES	2009	DBLP DOI BibTeX RDF
20	Stéphane Donikian	A Comparative Review of Reactive Behaviour Models as Proposed in Computer Graphics and Cognitive Sciences.	MIG	2009	DBLP DOI BibTeX RDF
20	Laurent Mazaré, Bogdan Warinschi	Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
20	Shengquan Wang, Riccardo Bettati	Reactive speed control in temperature-constrained real-time systems.	Real Time Syst.	2008	DBLP DOI BibTeX RDF	Real-time, Temperature, Speed control
20	Shankar Mahadevan, Federico Angiolini, Jens Sparsø, Luca Benini, Jan Madsen	A Reactive and Cycle-True IP Emulator for MPSoC Exploration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
20	Larissa Meinicke, Kim Solin	Reactive Probabilistic Programs and Refinement Algebra.	RelMiCS	2008	DBLP DOI BibTeX RDF
20	Mark Allman, Vern Paxson	A Reactive Measurement Framework.	PAM	2008	DBLP DOI BibTeX RDF
20	Eric Beaudry, Dominic Létourneau, Froduald Kabanza, François Michaud	Reactive planning as a motivational source in a behavior-based architecture.	IROS	2008	DBLP DOI BibTeX RDF
20	Simone Bracciali, Romano Fantacci, Tommaso Pecorella, Luigi Chisci, Maria Angeles Vázquez-Castro	Proactive vs. Reactive DVB-RCS Terminal Using ACM Techniques.	ICC	2008	DBLP DOI BibTeX RDF
20	Stefan Leue, Alin Stefanescu, Wei Wei 0015	Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.	SPIN	2008	DBLP DOI BibTeX RDF
20	Michael Kipp, Patrick Gebhard	IGaze: Studying Reactive Gaze Behavior in Semi-immersive Human-Avatar Interactions.	IVA	2008	DBLP DOI BibTeX RDF
20	Tinghong Zhao, Zhijun Wang, Zibin Man	A CGS-MSM PGA Based on Multi-agent and Its Application in Reactive Power Optimization.	CSSE (1)	2008	DBLP DOI BibTeX RDF
20	Yangli Jia, Zhoujun Li, Zhenling Zhang	Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems.	CSSE (2)	2008	DBLP DOI BibTeX RDF
20	Alejandro Catalá, Javier Jaén Martínez	A semantic model for reactive entities to support collaborative game design.	Future Play	2008	DBLP DOI BibTeX RDF	semantic events, serious games design, learning, education
20	Lars Birkedal, Søren Debois, Thomas T. Hildebrandt	On the Construction of Sorted Reactive Systems.	CONCUR	2008	DBLP DOI BibTeX RDF
20	Adriano C. M. Pereira, Leonardo Rocha 0001, Fernando Mourão, Wagner Meira Jr., Paulo B. Góes	Reactivity in Online Auctions: Understanding Bidding Behavior through Reactive Transitions.	CEC/EEE	2008	DBLP DOI BibTeX RDF
20	Tsz-Chiu Au, Dana S. Nau	Reactive Query Policies: A Formalism for Planning with Volatile External Information.	CIDM	2007	DBLP DOI BibTeX RDF
20	Kazunori Terada, Takashi Shamoto, Haiying Mei, Akira Ito	Reactive movements of non-humanoid robots cause intention attribution in humans.	IROS	2007	DBLP DOI BibTeX RDF
20	Óscar R. Ribeiro, João M. Fernandes	Validation of Reactive Software from Scenario-Based Models.	QUATIC	2007	DBLP DOI BibTeX RDF
20	Z. Lu, Mengshi Li, W. J. Tang, Q. H. Wu	Optimal location of FACTS devices by a Bacterial Swarming Algorithm for reactive power planning.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
20	Khaled A. Ali, Hossam S. Hassanein, Hussein T. Mouftah	Directional Cell Breathing Based Reactive Congestion Control in WCDMA Cellular Networks.	ISCC	2007	DBLP DOI BibTeX RDF
20	Mehdi Eghbal, Elsaid Elsayed El-Araby, Naoto Yorino, Yoshifumi Zoka	Application of metaheuristic methods to reactive power planning: a comparative study for GA, PSO and EPSO.	SMC	2007	DBLP DOI BibTeX RDF
20	Shahar Maoz, Asaf Kleinbort, David Harel	Towards Trace Visualization and Exploration for Reactive Systems.	VL/HCC	2007	DBLP DOI BibTeX RDF
20	Ashot Gevorkyan, Gabriel G. Balint-Kurti, Alexander V. Bogdanov, Gunnar Nyman	Novel Algorithms for Quantum Simulation of 3 D Atom-Diatom Reactive Scattering.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	quantum scattering, S-matrix elements, coupled-channel differential equations, R-matrix method, parallel algorithm
20	Filippo Bonchi, Ugo Montanari	Coalgebraic Models for Reactive Systems.	CONCUR	2007	DBLP DOI BibTeX RDF
20	Ying-Hong Wang, Chih-Peng Hsu, Yi-Chien Lin, Chien-Shan Kuo, Hsin-Yi Ho	A Routing Method by Reactive Energy Decision in Wireless Sensor Networks.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF
20	Paulo Sousa 0001, Alysson Neves Bessani, Miguel Correia 0001, Nuno Ferreira Neves, Paulo Veríssimo	Resilient Intrusion Tolerance through Proactive and Reactive Recovery.	PRDC	2007	DBLP DOI BibTeX RDF
20	Wei-Tsun Sun, Zoran Salcic	Modeling RTOS for Reactive Embedded Systems.	VLSI Design	2007	DBLP DOI BibTeX RDF
20	Gokul Soundararajan, Cristiana Amza	Reactive provisioning of backend databases in shared dynamic content server clusters.	ACM Trans. Auton. Adapt. Syst.	2006	DBLP DOI BibTeX RDF	databases, query processing, transactions, Autonomic systems
20	Jozef Hooman, Mark van der Zwaag	A semantics of communicating reactive objects with timing.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	UML, Real-time, Formal methods, Theorem proving, Formal semantics
20	Andreas Bauer 0002, Martin Leucker, Christian Schallhart	Model-based runtime analysis of distributed reactive systems.	ASWEC	2006	DBLP DOI BibTeX RDF
20	Murat Ali Bayir, Ismail Hakki Toroslu, Ahmet Cosar	A New Approach for Reactive Web Usage Data Processing.	ICDE Workshops	2006	DBLP DOI BibTeX RDF	session reconstruction, agent simulator and web topology, Web mining, web usage mining
20	Shengquan Wang, Riccardo Bettati	Reactive Speed Control in Temperature-Constrained Real-Time Systems.	ECRTS	2006	DBLP DOI BibTeX RDF
20	Éric Monacelli, Chadi Fouad Riman, Roland Thieffry, Imad Mougharbel, Stephane Delaplace	A Reactive Assistive Role Switching For Interaction Management in Cooperative Tasks.	IROS	2006	DBLP DOI BibTeX RDF
20	Michael Nischt, Helmut Prendinger, Elisabeth André, Mitsuru Ishizuka	MPML3D: A Reactive Framework for the Multimodal Presentation Markup Language.	IVA	2006	DBLP DOI BibTeX RDF
20	Goce Trajcevski, Peter Scheuermann	Adaptive and Context-Aware Reconciliation of Reactive and Pro-active Behavior in Evolving Systems.	Active Conceptual Modeling of Learning	2006	DBLP DOI BibTeX RDF
20	Adriano C. M. Pereira, Leonardo Silva, Wagner Meira Jr., Walter Santos	Assessing Reactive QoS Strategies for Internet Services.	SAINT	2006	DBLP DOI BibTeX RDF
20	Ke-yan Liu, Wanxing Sheng, Yunhua Li	Research on Reactive Power Optimization Based on Immunity Genetic Algorithm.	ICIC (1)	2006	DBLP DOI BibTeX RDF
20	Ying-Hong Wang, Yi-Chien Lin, Ping-Fang Fu, Chih-Hsiao Tsai	REDRP: Reactive Energy Decisive Routing Protocol for Wireless Sensor Networks.	UIC	2006	DBLP DOI BibTeX RDF
20	Federico Michele Facca, Florian Daniel	Visual Modeling of ReActive Web Applications.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
20	Matthias Scheutz, James F. Kramer	RADIC: a generic component for the integration of existing reactive and deliberative layers.	AAMAS	2006	DBLP DOI BibTeX RDF	architecture integration, robotics, hybrid architectures