Search results for "reactive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli	Optimizing the Implementation of Communication in Synchronous Reactive Models.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	optimization, real-time, operating systems, synchronous models
15	Hyon-Young Choi, Kwang-Ryoul Kim, Hyo-Beom Lee, Sung-Gi Min	Reactive Smart Buffering Scheme for Seamless Handover in PMIPv6.	OPODIS	2008	DBLP DOI BibTeX RDF
15	Dimitris Skouteris, Alessandro Costantini, Antonio Laganà, Gergely Sipos, Ákos Balaskó, Péter Kacsuk	Implementation of the ABC Quantum Mechanical Reactive Scattering Program on the EGEE Grid Platform.	ICCSA (1)	2008	DBLP DOI BibTeX RDF
15	Francisco Chagas de Lima, Jorge Dantas de Melo, Adrião Duarte Dória Neto	Using the Q-learning algorithm in the constructive phase of the GRASP and reactive GRASP metaheuristics.	IJCNN	2008	DBLP DOI BibTeX RDF
15	Éric Rutten	Reactive control of adaptive embedded systems: a position paper.	ARM	2008	DBLP DOI BibTeX RDF	behavior enforcement, control of adaptation, discrete control theory, self-configuration
15	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Verification of Choreographies During Execution Using the Reactive Event Calculus.	WS-FM	2008	DBLP DOI BibTeX RDF
15	Yasser F. O. Mohammad, Toyoaki Nishida	Reactive Gaze Control for Natural Human-Robot Interactions.	RAM	2008	DBLP DOI BibTeX RDF
15	Reiko Heckel, Marc Lohmann	Model-driven development of reactive information systems: from graph transformation rules to JML contracts.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
15	José M. Cuadra Troncoso, José Ramón Álvarez Sánchez, Félix de la Paz	Discretization of ISO-Learning and ICO-Learning to Be Included into Reactive Neural Networks for a Robotics Simulator.	IWINAC (2)	2007	DBLP DOI BibTeX RDF
15	Ali A. Nazari Shirehjini	A Multidimensional Classification Model for the Interaction in Reactive Media Rooms.	HCI (3)	2007	DBLP DOI BibTeX RDF
15	Chia-Hsun Jackie Lee, Chaochi Chang, Hyemin Chung, Connor Dickie, Ted Selker	Emotionally reactive television.	IUI	2007	DBLP DOI BibTeX RDF	visual/audio amplification, HCI, emotion, TV, social responses
15	Cristina Urdiales, Alberto Poncela, Isabel Sánchez-Tato, Francesco Galluppi, Marta Olivetti Belardinelli, Francisco Sandoval Hernández	Efficiency based reactive shared control for collaborative human/robot navigation.	IROS	2007	DBLP DOI BibTeX RDF
15	Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani	ReUML: a UML Profile for Modeling and Verification of Reactive Systems.	ICSEA	2007	DBLP DOI BibTeX RDF
15	B. Bhattacharyya, S. K. Goswami	A Decomposition Approach for Combined Heuristic and Differential Evolution Method for the Reactive Power Problem.	PReMI	2007	DBLP DOI BibTeX RDF	Heuristics, Planning, Dispatch, Evolutionary techniques
15	João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell	Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller.	APSEC	2007	DBLP DOI BibTeX RDF
15	Marco Bozzano, Alessandro Cimatti, Francesco Tapparo	Symbolic Fault Tree Analysis for Reactive Systems.	ATVA	2007	DBLP DOI BibTeX RDF
15	Ingrid Visentini, Christian Micheloni, Gian Luca Foresti	Reactive Learning Strategy for AsymBoost Based Face Detectors.	ICIAP	2007	DBLP DOI BibTeX RDF
15	Shengdong Zhao, Pierre Dragicevic, Mark H. Chignell, Ravin Balakrishnan, Patrick Baudisch	Earpod: eyes-free menu selection using touch input and reactive audio feedback.	CHI	2007	DBLP DOI BibTeX RDF	gestural interaction, auditory menu
15	Simon Tjell	Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems.	SIES	2007	DBLP DOI BibTeX RDF
15	Kasper Hallenborg, Ask Just Jensen, Yves Demazeau	Reactive Agent Mechanisms for Manufacturing Process Control.	Web Intelligence/IAT Workshops	2007	DBLP DOI BibTeX RDF
15	Kyunghye Lee, Youngsong Mun	An Efficient Macro Mobility Scheme Supporting Reactive Fast Handover Mode in HMIPv6.	ICCSA (2)	2007	DBLP DOI BibTeX RDF
15	Daniel W. McClary, Violet R. Syrotiuk, Murat Kulahci	Meta-Regression: A Framework for Robust Reactive Optimization.	SASO	2007	DBLP DOI BibTeX RDF
15	Davide Grohmann, Marino Miculan	Reactive Systems over Directed Bigraphs.	CONCUR	2007	DBLP DOI BibTeX RDF
15	Byungkwon Kang, Yoojin Jang 0002, Insung Ihm	Animation of chemically reactive fluids using a hybrid simulation method.	Symposium on Computer Animation	2007	DBLP DOI BibTeX RDF
15	Zhiming Chang, XinJun Mao, Zhichang Qi	An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style.	TASE	2007	DBLP DOI BibTeX RDF
15	Marc Aiguier, Delphine Longuet	Test Selection Criteria for Modal Specifications of Reactive Systems.	TASE	2007	DBLP DOI BibTeX RDF	dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria
15	Michael Cebulla	Fuzzy Quotients in Reactive Common Sense Reasoning.	GrC	2007	DBLP DOI BibTeX RDF
15	HuiYu Jiang, Min Dong 0006, Xiangpeng Li, Feng Yang	Improved Algorithm of BP Neural Network and its Application to Prediction of K/S Value in Dyeing with Reactive Dyes.	GrC	2007	DBLP DOI BibTeX RDF
15	Asad Amir Pirzada, Chris McDonald, Amitava Datta	Performance Comparison of Trust-Based Reactive Routing Protocols.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	security, network, Trust, protocol, ad hoc
15	Hongbo Zhou 0002, Matt W. Mutka, Lionel M. Ni	Reactive ID Assignment for Wireless Sensor Networks.	Int. J. Wirel. Inf. Networks	2006	DBLP DOI BibTeX RDF	ID assignment, security, sensor network
15	Guillaume Capron	Static analysis of time bounded reactive properties of Boolean symbols.	SAC	2006	DBLP DOI BibTeX RDF	static analysis, abstract interpretation
15	Mehran Abolhasan, Justin Lipman	Self-selection route discovery strategies for reactive routing in ad hoc networks.	InterSense	2006	DBLP DOI BibTeX RDF
15	Steffen Prochnow, Reinhard von Hanxleden	Comfortable modeling of complex reactive systems.	DATE	2006	DBLP DOI BibTeX RDF
15	Frank Ciesinski, Christel Baier	LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.	QEST	2006	DBLP DOI BibTeX RDF
15	Bing Tang, Zhigeng Pan, Le Zheng, Mingmin Zhang	Simulating Reactive Motions for Motion Capture Animation.	Computer Graphics International	2006	DBLP DOI BibTeX RDF
15	Zsófia Ruttkay, Job Zwiers, Herwin van Welbergen, Dennis Reidsma	Towards a Reactive Virtual Trainer.	IVA	2006	DBLP DOI BibTeX RDF
15	Jamil Coimbra Diuana, Oscar Luiz Monteiro de Farias, Orlando Bernardo Filho	Simulation of the Dissemination of Slums in Cities through Reactive Agents.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
15	James Kirby Jr.	Model-Driven Agile Development of Reactive Multi-Agent Systems.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
15	Seung Soo Han, Sang Hong	Polynomial Neural Network Modeling of Reactive Ion Etching Process Using GMDH Method.	ISNN (2)	2006	DBLP DOI BibTeX RDF
15	Ming-Hsien Tsai 0001, Bow-Yaw Wang	Modular Formalization of Reactive Modules in COQ.	ASIAN	2006	DBLP DOI BibTeX RDF
15	Olfa Sammoud, Sébastien Sorlin, Christine Solnon, Khaled Ghédira	A Comparative Study of Ant Colony Optimization and Reactive Search for Graph Matching Problems.	EvoCOP	2006	DBLP DOI BibTeX RDF
15	Youcef Zafoune, Aïcha Mokhtari	Reactive vs proactive protocol: a comparative study between two localization approaches of mobile codes in ad hoc mobile networks.	ISCN	2006	DBLP DOI BibTeX RDF
15	Bertrand Jeannet, Thierry Jéron, Vlad Rusu	Model-Based Test Selection for Infinite-State Reactive Systems.	FMCO	2006	DBLP DOI BibTeX RDF
15	Thierry Jéron	Model-Based Test Selection for Infinite State Reactive Systems.	DIPES	2006	DBLP DOI BibTeX RDF
15	Stefan Leue, Alin Stefanescu, Wei Wei 0015	A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.	CONCUR	2006	DBLP DOI BibTeX RDF
15	Lars Birkedal, Søren Debois, Thomas T. Hildebrandt	Sortings for Reactive Systems.	CONCUR	2006	DBLP DOI BibTeX RDF
15	François Bry, Michael Eckert	Twelve Theses on Reactive Rules for the Web.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
15	Raghav Bhaskar, Javier Herranz, Fabien Laguillaumie	Efficient Authentication for Reactive Routing Protocols.	AINA (2)	2006	DBLP DOI BibTeX RDF
15	Jing Liu, Jifeng He 0001	Reactive Component based Service-Oriented Design - A Case Study.	ICECCS	2006	DBLP DOI BibTeX RDF
15	Pascal Raymond, Erwan Jahier, Yvan Roux	Describing and Executing Random Reactive Systems.	SEFM	2006	DBLP DOI BibTeX RDF
15	Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde	PLTL-partitioned model checking for reactive systems under fairness assumptions.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking
15	Alejandro Zunino, Marcelo Campo, Cristian Mateos	Reactive Mobility by Failure: When Fail Means Move.	Inf. Syst. Frontiers	2005	DBLP DOI BibTeX RDF	mobility, mobile agents, logic programming, intelligent agents
15	Rudi Belotti, Corsin Decurtins, Michael Grossniklaus, Moira C. Norrie	An Infrastructure for Reactive Information Environments.	WISE	2005	DBLP DOI BibTeX RDF
15	Sébastien Sorlin, Christine Solnon	Reactive Tabu Search for Measuring Graph Similarity.	GbRPR	2005	DBLP DOI BibTeX RDF
15	Simon Schneider, Ulrich Mueller, Dirk Tiegelbekkers	A Reactive Workload Generation Framework for Simulation-based Performance Engineering of System Interconnects.	MASCOTS	2005	DBLP DOI BibTeX RDF
15	Stuart K. Card	Attention-reactive user interface for sensemaking.	IUI	2005	DBLP DOI BibTeX RDF
15	Ana Paula M. Braga, Ricardo Carnevalli, Petr Ekel, Marcelo Gontijo, Marcio Junges, Bernadete Maria de Mendonça Neta, Reinaldo M. Palhares	Fuzzy Logic Based Control of Voltage and Reactive Power in Subtransmission System.	PReMI	2005	DBLP DOI BibTeX RDF
15	Vladimiro Sassone, Pawel Sobocinski 0001	Reactive Systems over Cospans.	LICS	2005	DBLP DOI BibTeX RDF
15	Vlad Rusu, Hervé Marchand, Thierry Jéron	Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.	FM	2005	DBLP DOI BibTeX RDF	symbolic test generation, verification, conformance testing
15	Zoran A. Salcic, Dong Hui, Partha S. Roop, Morteza Biglari-Abhari	REMIC: design of a reactive embedded microprocessor core.	ASP-DAC	2005	DBLP DOI BibTeX RDF
15	Anmin Zhu, Simon X. Yang, Fangju Wang, Gauri S. Mittal	A Neuro-fuzzy Controller for Reactive Navigation of a Behaviour-Based Mobile Robot.	ISNN (3)	2005	DBLP DOI BibTeX RDF
15	Ulf Pettersson, Stan Jarzabek	Industrial experience with building a web portal product line using a lightweight, reactive approach.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	static meta-programming, reuse, software product lines, maintenance, web engineering, program synthesis
15	Wen Zhang 0006, Yutian Liu	Adaptive Particle Swarm Optimization for Reactive Power and Voltage Control in Power Systems.	ICNC (3)	2005	DBLP DOI BibTeX RDF
15	Thomas C. Schmidt, Matthias Wählisch	Analysis of Handover Frequencies for Predictive, Reactive and Proxy Schemes and Their Implications on IPv6 and Multicast Mobility.	ICN (2)	2005	DBLP DOI BibTeX RDF
15	Shoichi Hasegawa, Ishikawa Toshiaki, Naoki Hashimoto	Human scale haptic interaction with a reactive virtual human in a realtime physics simulator.	Advances in Computer Entertainment Technology	2005	DBLP DOI BibTeX RDF
15	Shoichi Hasegawa, Ishikawa Toshiaki, Naoki Hashimoto	Demonstration for human scale haptic interaction with a reactive virtual human in a realtime physics simulator.	Advances in Computer Entertainment Technology	2005	DBLP DOI BibTeX RDF
15	JeongYon Shim	A Flexible Intelligent Knowledge Capsule for Efficient Data Mining/Reactive Level Extraction.	ACII	2005	DBLP DOI BibTeX RDF
15	Yoshihiko Kataoka	A smooth power flow model of electric power system with generator reactive power limits taken into consideration.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
15	Kenichi Mase, Shingo Kameyama	Multihop hello guided routing-reactive for mobile ad hoc networks.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
15	Edel Sherratt	Model-Driven Development of Reactive Systems with SDL.	SDL Forum	2005	DBLP DOI BibTeX RDF
15	Soizick Calvez, Pascal Aygalinc, Patrice Bonhomme	Proactive/reactive approach for maintenance tasks in time critical systems.	ETFA	2005	DBLP DOI BibTeX RDF
15	Robert Logie, Jon G. Hall, Kevin G. Waugh	Reactive Food Gathering.	CLIMA	2005	DBLP DOI BibTeX RDF
15	Danny Weyns, Tom Holvoet	From Reactive Robotics to Situated Multiagent Systems: A Historical Perspective on the Role of Environment in Multiagent Systems.	ESAW	2005	DBLP DOI BibTeX RDF
15	Seung Zoo Jeong, Woong Choi, Naoki Hashimoto, Makoto Sato	Reactive Virtual Human System with haptic sensation and adaptive function.	CW	2005	DBLP DOI BibTeX RDF
15	Fabio M. Marchese	The Architecture of a Reactive Path-Planner for Mobile Robots Based on Cellular Automata.	AI*IA	2005	DBLP DOI BibTeX RDF
15	Krysia Broda, Christopher J. Hogger	Abstract Policy Evaluation for Reactive Agents.	SARA	2005	DBLP DOI BibTeX RDF
15	Alejandra García-Rojas, Mario Gutiérrez, Daniel Thalmann, Frédéric Vexo	Multimodal Authoring Tool for Populating a Database of Emotional Reactive Animations.	MLMI	2005	DBLP DOI BibTeX RDF
15	Fan Bai 0002, Narayanan Sadagopan, Bhaskar Krishnamachari, Ahmed Helmy	Modeling path duration distributions in MANETs and their impact on reactive routing protocols.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
15	Ben Tordoff, David William Murray 0001	Reactive Control of Zoom while Fixating Using Perspective and Affine Cameras.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	zoom control, affine projection, tracking, Active vision, self-calibration, perspective projection, fixation
15	Joanna Strug, Stanislaw Deniziak, Krzysztof Sapiecha	Validation of Reactive Embedded Systems against Temporal Requirements.	ECBS	2004	DBLP DOI BibTeX RDF
15	Anmin Zhu, Simon X. Yang	A Fuzzy Logic Approach to Reactive Navigation of Behavior-based Mobile Robots.	ICRA	2004	DBLP DOI BibTeX RDF
15	Kian Hsiang Low, Wee Kheng Leow, Marcelo H. Ang Jr.	Reactive, Distributed Layered Architecture for Resource-bounded Multi-robot Cooperation: Application to Mobile Sensor Network Coverage.	ICRA	2004	DBLP DOI BibTeX RDF
15	Joseph Canou, Gilles Mourioux, Cyril Novales, Gérard Poisson	A Local Map building Process for a Reactive Navigation of a Mobile Robot.	ICRA	2004	DBLP DOI BibTeX RDF
15	Guan-Chun Luh, Wei-Wen Liu	Reactive Immune Network Based Mobile Robot Navigation.	ICARIS	2004	DBLP DOI BibTeX RDF
15	Mahesh Viswanathan 0001, Moonzoo Kim	Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language.	ICTAC	2004	DBLP DOI BibTeX RDF
15	Hengameh Sarmadi	Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP).	FAABS	2004	DBLP DOI BibTeX RDF
15	Barry Norton, Matt Fairtlough	Reactive Types for Dataflow-Oriented Software Architectures.	WICSA	2004	DBLP DOI BibTeX RDF
15	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	A General Composition Theorem for Secure Reactive Systems.	TCC	2004	DBLP DOI BibTeX RDF
15	Rajesh Gupta 0001, R. K. Shyamasundar	Reactive Framework for Resource Aware Distributed Computing.	ASIAN	2004	DBLP DOI BibTeX RDF
15	Yingyue Xu, Hairong Qi 0001	Decentralized Reactive Clustering for Collaborative Processing in Sensor Networks.	ICPADS	2004	DBLP DOI BibTeX RDF
15	Sherin M. Youssef, David G. Elliman	Reactive Prohibition-Based Ant Colony Optimization (RPACO): A New Parallel Architecture for Constrained Clique Sub-Graphs.	ICTAI	2004	DBLP DOI BibTeX RDF
15	Gérard Boudol	A Reactive Programming Model for Global Computing.	COORDINATION	2004	DBLP DOI BibTeX RDF
15	Antonio Laganà, Stefano Crocchianti, Valentina Piermarini	Towards a Full Dimensional Exact Quantum Calculation of the Li + HF Reactive Cross Section.	ICCSA (2)	2004	DBLP DOI BibTeX RDF
15	Dongkyu Choi, Matthew T. Kaufman, Pat Langley, Negin Nejati, Daniel G. Shapiro	An Architecture for Persistent Reactive Behavior.	AAMAS	2004	DBLP DOI BibTeX RDF
15	Leonid Kof, Bernhard Schätz	Combining Aspects of Reactive Systems.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
15	Jae C. Oh, Madhura S. Tamhankar, Daniel Mossé	Design of Very Lightweight Agents for Reactive Embedded Systems.	ECBS	2003	DBLP DOI BibTeX RDF
15	Phuong Hoai Ha, Philippas Tsigas	Reactive Multi-Word Synchronization for Multiprocessors.	IEEE PACT	2003	DBLP DOI BibTeX RDF
15	Narayanan Sadagopan, Fan Bai 0002, Bhaskar Krishnamachari, Ahmed Helmy	PATHS: analysis of PATH duration statistics and their impact on reactive MANET routing protocols.	MobiHoc	2003	DBLP DOI BibTeX RDF	path duration, performance, mobility, mobile ad hoc network
15	Asaf Adi, Opher Etzion, Dagan Gilat, Guy Sharon	Inference of Reactive Rules from Dependency Models.	RuleML	2003	DBLP DOI BibTeX RDF
15	Miguel Lozano, Francisco Grimaldo 0001, Javier Villaplana	Towards Reactive Navigation and Attention Skills for 3D Intelligent Characters.	IWANN (2)	2003	DBLP DOI BibTeX RDF