|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
Displaying result #301 - #400 of 8616 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|