The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for reactive with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1949-1986 (19) 1987-1989 (41) 1990 (35) 1991 (44) 1992 (48) 1993 (74) 1994 (70) 1995 (109) 1996 (93) 1997 (173) 1998 (156) 1999 (161) 2000 (198) 2001 (177) 2002 (200) 2003 (260) 2004 (331) 2005 (385) 2006 (408) 2007 (411) 2008 (414) 2009 (371) 2010 (365) 2011 (189) 2012 (252) 2013 (297) 2014 (251) 2015 (275) 2016 (282) 2017 (325) 2018 (361) 2019 (368) 2020 (384) 2021 (340) 2022 (338) 2023 (339) 2024 (72)
Publication types (Num. hits)
article(2988) book(13) data(2) incollection(80) inproceedings(5355) phdthesis(164) proceedings(14)
Venues (Conferences, Journals, ...)
CoRR(460) AlgoSyn(157) ICRA(154) IROS(148) IEEE Access(119) Comput. Chem. Eng.(82) IEEE Trans. Ind. Electron.(74) IECON(64) IEEE Trans. Smart Grid(61) Sensors(53) REBLS@SPLASH(46) J. Comput. Phys.(43) CONCUR(39) AAMAS(38) CAV(37) CDC(37) More (+10 of total 2430)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3449 occurrences of 1810 keywords

Results
Found 8616 publication records. Showing 8616 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
18Michael Winikoff, Lin Padgham, James Harland Simplifying the Development of Intelligent Agents. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2001 DBLP  DOI  BibTeX  RDF AI Architectures, multiagent systems, software agents, distributed AI, reactive control
18A. Chalabi, Y. Qiu Relaxation Schemes for Hyperbolic Conservation Laws with Stiff Source Terms: Application to Reacting Euler Equations. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF stiff source term, semi-implicit scheme, reactive Euler equations, conservation laws, relaxed scheme, relaxing scheme
18Greg Reeve, Steve Reeves mu-Charts and Z: examples and extensions. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF mu-Charts, reactive systems specification, local variables, integer-valued signals, formal specification, specification languages, specification language, statecharts, systems development, Z language, command language
18Peter G. Hancock, Anton Setzer Interactive Programs in Dependent Type Theory. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF monadic I/O, repetition constructs, interaction, refinement, Functional programming, dependent types, reactive programming
18Yutaka Ishibashi, Shuji Tasaka A Comparative Survey of Sychronization Algorithms for Continuous Media in Network Environments. Search on Bibsonomy LCN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF comparative survey, media synchronization control techniques, basic control, preventive control, common control, network delay bounds, delays, multimedia systems, synchronisation, clocks, clocks, reviews, continuous media, telecommunication networks, algorithm design, telecommunication control, network environments, synchronization algorithms, reactive control
18Pedro Jorge Coelho, Pedro A. Novo, Maria da Graça Carvalho Modelling of a Utility Boiler Using Parallel Computing. Search on Bibsonomy J. Supercomput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF boilers, turbulent reactive flows, radiative heat transfer, discrete ordinates, parallel processing, computational fluid dynamics
18Jiming Liu 0001, Yuan Yan Tang Adaptive Image Segmentation With Distributed Behavior-Based Agents. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Distributed autonomous agents, breeding, homogeneous-segment searching, adaptive image segmentation and agent dynamics, evolutionary computation, diffusion, reactive behavior
18Krister Brink, Magnus Olsson, Gunnar S. Bolmsjö Increased Autonomy in Industrial Robotic Systems: A Framework. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF event based control, task oriented programming, configurable corrections, reactive re-planning, autonomy
18Andrei Borshchev, Yuri G. Karpov, Victor Roudakov Systems modeling, simulation and analysis using COVERS active objects. Search on Bibsonomy ECBS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF COVERS active objects, object-oriented principles, reactive system design, object structure diagrams, object interconnection diagrams, data functions, modeling-simulation-analysis cycle, Windows-based graphical environment, visualization, object-oriented programming, C++, code generation, systems analysis, statecharts, systems modeling, semantic model, modeling language, simulation environment, systems simulation, model execution, data objects, behavior description, timed transition systems
18Stefan Dziembowski, Marcin Jurdzinski, Igor Walukiewicz How Much Memory is Needed to Win Infinite Games? Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF finitely coloured graphs, size of memory, latest appearance record, winning strategies, polynomial-size blowup, data structure, graph colouring, reactive programs, I/O automata, infinite games, two-player games, upper and lower bounds
18David Harel Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. Search on Bibsonomy RE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reactive highly concurrent systems, calculus of communicating systems, formal specification, parallel programming, system design, systems engineering, communicating sequential processes, applied research
18Kwok-Wa Lam, Victor C. S. Lee, Sheung-lun Hung Scheduling real-time read-only transactions. Search on Bibsonomy RTCSA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF consistency requirements, multiversion database system, reactive actions, scheduling, real-time systems, read-only transactions, update transactions
18Norman I. Badler Real-time virtual humans. Search on Bibsonomy PG The full citation details ... 1997 DBLP  DOI  BibTeX  RDF real-time 3D virtual humans, computation speed, sense-control-act structure, autonomous actions, multiple individuals, locally adaptive behavior, PaT-Net, parallel transition network, parallel-finite-state machine controller, language instructions, animated actions, Jack Presenter, JackMOO, lambdaMOO, parameterized action representation, virtual reality, virtual reality, computer graphics, gestures, computer animation, motion, avatars, attention, autonomous agents, locomotion, human modeling, appearance, interactive control, reactive behaviors
18Frédéric Boussinot, Robert de Simone The SL Synchronous Language. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF synchronous programming languages, Parallelism, concurrency, automata, reactive systems
18Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi Tearing based automatic abstraction for CTL model checking. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition
18Roger E. Kahn, Michael J. Swain, Peter N. Prokopowicz, R. James Firby Gesture recognition using the Perseus architecture. Search on Bibsonomy CVPR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Perseus architecture, complex visual problem, windows of attention, symbolic higher level systems, RAP reactive execution system, image segmentation, feature extraction, graphical user interfaces, gesture recognition, pointing, human-machine interface, contextual knowledge
18Saed G. Younis, Thomas F. Knight Jr. Non-dissipative rail drivers for adiabatic circuits. Search on Bibsonomy ARVLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF driver circuits, distributed parameter networks, lumped parameter networks, passive networks, nondissipative rail drivers, adiabatic circuits, CMOS charge recovery logic, energy dissipation per operation, SCRL circuits, rail waveform generation, rail driver circuit, multiple harmonics, harmonic rail driver, passive reactive components, trimmed transmission line segments, CMOS logic circuits, CMOS circuits, harmonics
18Pierre-Jean Erard, Claude Fuhrer, Laurent Iff A synthetic mobile robot. Search on Bibsonomy CA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF mobile robot simulation animation, robot Nomad 200, computer screen, mobile robots, virtual world, ray tracing, computer animation, digital simulation, autonomous agent, radiosity, reactive programming, virtual sensors
18Reino Kurki-Suonio Stepwise Design of Real-Time Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF stepwise design method, closed-system modularity, scheduling, real-time systems, real-time systems, formal specification, temporal logic, temporal logic, reactive systems, formal reasoning, real-time properties
18Bernhard Josko A Context Dependent Equivalence Relation Between Kripke Structures. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF temporal logic, bisimulation, reactive systems, modular specification, hierarchical design, Kripke structures
18Zohar Manna, Amir Pnueli The anchored version of the temporal framework. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Classification of Properties, Fair Transition System, Verification, Specification, Temporal Logic, Fairness, Safety, Concurrent Programs, Reactive Systems, Liveness, Responsiveness, Proof System, Progress, Recurrence
16Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan Interacting process classes. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Abstract execution, Unified Modeling Language (UML), message sequence charts, active objects
16Matthew Powers, Tucker R. Balch A learning approach to integration of layers of a hybrid control architecture. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Hong P. Liu, David P. Gluch Formal verification of AADL behavior models: a feasibility investigation. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF architecture analysis & design language, model checking, tool integration, computational tree logic
16Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake Evaluating recovery aware components for grid reliability. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fault-tolerance, grid, components
16Ri Hai, Thomas Heer, Markus Heller, Manfred Nagl, Ralph Schneider, Bernhard Westfechtel, René Wörzberger Administration Models and Management Tools. Search on Bibsonomy Results of the IMPROVE Project The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Stephen H. Bach, Marcus A. Maloof Paired Learners for Concept Drift. Search on Bibsonomy ICDM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Mithilesh Kumar 0002, Vineeta Chaube, Pavan Balaji, Wu-chun Feng, Hyun-Wook Jin Making a Case for Proactive Flow Control in Optical Circuit-Switched Networks. Search on Bibsonomy HiPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF rate-based protocol, LambdaGrid, optical networks, circuit switched
16Chao Wang 0056, Frank Mueller 0001, Christian Engelmann, Stephen L. Scott Proactive process-level live migration in HPC environments. Search on Bibsonomy SC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Davide Grohmann Security, Cryptography and Directed Bigraphs. Search on Bibsonomy ICGT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Dongbing Gu, Huosheng Hu Integration of Coordination Architecture and Behavior Fuzzy Learning in Quadruped Walking Robots. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part C The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Dubravka Ilic Deriving Formal Specifications from Informal Requirements. Search on Bibsonomy COMPSAC (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Arun Babu Nagarajan, Frank Mueller 0001, Christian Engelmann, Stephen L. Scott Proactive fault tolerance for HPC with Xen virtualization. Search on Bibsonomy ICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF proactive fault tolerance, virtualization, high-performance computing
16Takumi Endo, Yuichi Goto, Jingde Cheng Measuring Reactability of Persistent Computing Systems. Search on Bibsonomy SC@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16N. W. Lo, Hsiao-Yi Kuo Two-Hops Neighbor-Aware Routing Protocol in Mobile Ad Hoc Networks. Search on Bibsonomy ICOIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Ben Liang 0001, Zygmunt J. Haas Hybrid routing in ad hoc networks with a dynamic virtual backbone. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Malte Schilling, Holk Cruse The Evolution of Cognition - From First Order to Second Order Embodiment. Search on Bibsonomy ZiF Workshop The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mental Simulation, Cognitive Control, Recurrent Neural Network, Embodiment, Internal Model
16Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss Bigraphical Models of Context-Aware Systems. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16János Sallai, Branislav Kusy, Ákos Lédeczi, Prabal Dutta On the Scalability of Routing Integrated Time Synchronization. Search on Bibsonomy EWSN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Sumir Chandra, Manish Parashar, Jaideep Ray Dynamic structured partitioning for parallel scientific applications with pointwise varying workloads. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Shengquan Wang, Riccardo Bettati Delay Analysis in Temperature-Constrained Hard Real-Time Systems with General Task Arrivals. Search on Bibsonomy RTSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia Detecting Design Flaws in UML State Charts for Embedded Software. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16José Júlio Alferes, Federico Banti, Antonio Brogi An Event-Condition-Action Logic Programming Language. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Zhi Ang Eu, Winston Khoon Guan Seah Mitigating Route Request Flooding Attacks in Mobile Ad Hoc Networks. Search on Bibsonomy ICOIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Dennis Hofheinz, Dominique Unruh On the Notion of Statistical Security in Simulatability Definitions. Search on Bibsonomy ISC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Hongbo Jiang 0001, Shudong Jin Adaptive strategies for efficiently locating internet-based servers in MANETs. Search on Bibsonomy MSWiM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF controlled flooding, mobile ad hoc networks, search algorithms
16Gooyoun Hwang, Jitae Shin, JongWon Kim 0001 Scalable and Adaptive QoS Mapping Control Framework for Packet Video Delivery. Search on Bibsonomy PCM (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Lan Wang, Stephan Olariu A Two-Zone Hybrid Routing Protocol for Mobile Ad Hoc Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF zone routing, Mobile ad hoc networks, routing protocols, hybrid protocols
16Alfred Wurr, John Anderson 0001 Multi-agent Trail Making for Stigmergic Navigation. Search on Bibsonomy Canadian AI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Manus Kwan, Kutluyil Dogancay Comparative Analysis of Ad Hoc Multi-path Update Techniques for Multimedia Applications. Search on Bibsonomy ICT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Miroslav Begovic, Branislav Radibratovic, Frank C. Lambert On Multiobjective Volt-VAR Optimization in Power Systems. Search on Bibsonomy HICSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF volt/var optimization in power systems, multiobjective optimization
16Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Venugopalan Ramasubramanian, Zygmunt J. Haas, Emin Gün Sirer SHARP: a hybrid adaptive routing protocol for mobile ad hoc networks. Search on Bibsonomy MobiHoc The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ad hoc networks, adaptive, hybrid
16Gianluca Baldassarre Forward and Bidirectional Planning Based on Reinforcement Learning and Neural Networks in a Simulated Robot. Search on Bibsonomy ABiALS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Songkuk Kim, Kang G. Shin Improving Dependability of Real-Time Communication with Preplanned Backup Routes and Spare Resource Pool. Search on Bibsonomy IWQoS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Yossi Azar, Shay Kutten, Boaz Patt-Shamir Distributed error confinement. Search on Bibsonomy PODC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Changgui Chen, Wanlei Zhou 0001 A Solution for Fault-Tolerance in Replicated Database Systems. Search on Bibsonomy ISPA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Zhanyong Wan, Walid Taha, Paul Hudak Real-Time FRP. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Franco Davoli, Piergiulio Maryni A Bandwidth Broker Assignment Scheme in DiffServ Networks. Search on Bibsonomy IWDC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Brian C. Williams Model-Based Autonomous Systems for Robotic Space Exploration. Search on Bibsonomy HSCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
16Susan Fox A Unified CBR Architecture for Robot Navigation. Search on Bibsonomy EWCBR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
16T. C. Ip, Vincent A. Fischetti, Jeanette P. Schmidt An Algorithm for Identifying Similar Amino Acid Clusters among Different Alpha-Helical Coiled-Coil Proteins Using Their Secondary Structure. Search on Bibsonomy Algorithmica The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Coiled-coil, Epitope, Dynamic programming, Computational biology, Protein structure
16D. Shmilovitz, Dariusz Czarkowski, Zivan Zabar New switch-mode topology for VAR compensation. Search on Bibsonomy ISCAS (5) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
16James A. Momoh, Jizhong Zhu A New Approach to VAr Pricing and Control in the Competitive Environment. Search on Bibsonomy HICSS (3) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
16José M. Ramírez Teleoreactive Neural Networks. Search on Bibsonomy IWANN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
16David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic An ML-Like Module System for the Synchronous Language SIGNAL. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
16Ralph-Johan Back, Joakim von Wright Trace Refinement of Action Systems. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
15Enyo José Tavares Gonçalves, Mariela Inés Cortés, Gustavo A. L. de Campos, Gilzamir F. Gomes, Viviane Torres da Silva Towards the modeling reactive and proactive agents by using MAS-ML. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF multiagent systems, modelling language
15 Reactive Rules. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Bin Guo, Zhe Li A dynamic-clustering reactive routing algorithm for wireless sensor networks. Search on Bibsonomy Wirel. Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Network backbone, Wireless sensor network, Threshold, Neuron, Dynamic-clustering
15Sadaf Mustafiz, Jörg Kienzle DREP: A Requirements Engineering Process for Dependable Reactive Systems. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15José Ramón Álvarez Sánchez, Félix de la Paz López, José Manuel Cuadra Troncoso, José Ignacio Rosado Sánchez Partial Center of Area Method Used for Reactive Autonomous Robot Navigation. Search on Bibsonomy IWINAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Kaijen Hsiao, Paul Nangeroni, Manfred Huber, Ashutosh Saxena, Andrew Y. Ng Reactive grasping using optical proximity sensors. Search on Bibsonomy ICRA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Mihaela A. Bornea, Vasilis Vassalos, Yannis Kotidis, Antonios Deligiannakis Double Index NEsted-Loop Reactive Join for Result Rate Optimization. Search on Bibsonomy ICDE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Eser Kandogan, Eben M. Haber, John H. Bailey, Paul P. Maglio Studying Reactive, Risky, Complex, Long-Spanning, and Collaborative Work: The Case of IT Service Delivery. Search on Bibsonomy HCI (4) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Eduardo Rondon, Isabelle Fantoni-Coichot, Anand Sanchez, Guillaume Sanahuja Optical flow-based controller for reactive and relative navigation dedicated to a four rotor rotorcraft. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Ricardo Amador K4R - Knowledge to the Power of RESTful, Resourceful and Reactive Rules. Search on Bibsonomy OTM Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Didem Gözüpek, Gaye Genç, Cem Ersoy Channel assignment problem in cellular networks: A reactive tabu search approach. Search on Bibsonomy ISCIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Hillel Kugler, Itai Segall Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Ning Zhang 0007, Alagan Anpalagan A comprehensive simulation study of SWAN QoS model in MANETs with proactive and reactive routing. Search on Bibsonomy CCECE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Alejandra Duenas, Dobrila Petrovic An approach to predictive-reactive scheduling of parallel machines subject to disruptions. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Paolo Arena, Sebastiano De Fiore, Luigi Fortuna, Mattia Frasca, Luca Patané, Guido Vagliasindi Reactive navigation through multiscroll systems: from theory to real-time implementation. Search on Bibsonomy Auton. Robots The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-sensory integration, FPGA, Navigation, Chaotic systems
15Chun Wang, Hamada H. Ghenniwa, Weiming Shen 0001 Distributed Scheduling for Reactive Maintenance of Complex Systems. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part C The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Tony Savor Testing Feature-Rich Reactive Systems. Search on Bibsonomy IEEE Softw. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Dimitris C. Paraskevopoulos, Panagiotis P. Repoussis, Christos D. Tarantilis, George Ioannou, Gregory P. Prastacos A reactive variable neighborhood tabu search for the heterogeneous fleet vehicle routing problem with time windows. Search on Bibsonomy J. Heuristics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Vehicle scheduling, Logistics, Variable neighborhood search
15Kristian Bisgaard Lassen, Simon Tjell Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF VDM++, Real-time, Requirements engineering, Coloured petri nets, UML 2.0
15Aggelos Bletsas, John N. Sahalos Interference-aware opportunistic relaying with reactive spectrum sensing. Search on Bibsonomy PIMRC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Sujit Kumar Chakrabarti, Y. N. Srikant Test sequence computation for regression testing of reactive systems. Search on Bibsonomy ISEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF NP-complete, regression testing, API, test sequence, test specification
15Satoshi Hoshino, Jun Ota 0001 Reactive robot control with hybrid operational models in a seaport container terminal considering system reliability. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Johan Larsson 0001, Mathias Broxvall, Alessandro Saffiotti Laser based intersection detection for reactive navigation in an underground mine. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Blanca Vargas-Govea, Eduardo F. Morales 0001 Solving navigation tasks with learned Teleo-Reactive Programs. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander TinyTimber, Reactive Objects in C for Real-Time Embedded Systems. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Ali Orhan Aydin, Mehmet A. Orgun, Abhaya C. Nayak The Reactive-Causal Architecture: Towards Development of Believable Agents. Search on Bibsonomy IVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Intelligent Agent Architecture, Believable Agents
15Emmett Lalish, Kristi A. Morgansen Decentralized reactive collision avoidance for multivehicle systems. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15William Kozma, Loukas Lazos Reactive Identification of Misbehavior in Ad Hoc Networks Based on Random Audits. Search on Bibsonomy SECON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Rui Tan 0001, Guoliang Xing, Jianping Wang 0001, Hing-Cheung So Collaborative Target Detection in Wireless Sensor Networks with Reactive Mobility. Search on Bibsonomy IWQoS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Renaud Lenne, Christine Solnon, Thomas Stützle, Eric Tannier, Mauro Birattari Reactive Stochastic Local Search Algorithms for the Genomic Median Problem. Search on Bibsonomy EvoCOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Andres Medina, Stephan Bohacek A model of topology cache in reactive routing protocols for MANETs. Search on Bibsonomy WICON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Haijun Zhao, Yan Ma, Xiaohong Huang, Fang Zhao 0003 Performance Evaluation of Heartbeat-Style Failure Detector over Proactive and Reactive Routing Protocols for Mobile Ad Hoc Network. Search on Bibsonomy APNOMS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Performance, Ad Hoc Network, Failure Detection, Heartbeat
15Xianren Wu, Hui Xu, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves Proactive or Reactive Routing: A Unified Analytical Framework in MANETs. Search on Bibsonomy ICCCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #601 - #700 of 8616 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license