|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(6), pp. 517-530, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, SenSys 2006, Boulder, Colorado, USA, October 31 - November 3, 2006, pp. 99-111, 2006, ACM, 1-59593-343-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC Workshops ![In: Emerging Directions in Embedded and Ubiquitous Computing, EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings, pp. 1-10, 2006, Springer, 3-540-36850-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1645-1649, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I, pp. 459-464, 2005, Springer, 3-540-28894-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2004: Robot Soccer World Cup VIII, pp. 426-433, 2004, Springer, 3-540-25046-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, pp. 922-931, 2004, Springer, 3-540-23806-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 19(1-3), pp. 201-224, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 253-267, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(1), pp. 83-110, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 25-27 June 2001, Monterey, CA, USA, pp. 155-161, 2001, IEEE Computer Society, 0-7695-1206-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 32(1), pp. 12-42, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., pp. 106-117, 2000, ACM, 1-58113-202-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 19th International Conference of the Chilean Computer Science Society (SCCC '99), 11-13 November 1999, Talca, Chile, pp. 96-104, 1999, IEEE Computer Society, 0-7695-0296-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(3), pp. 216-231, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 240-251, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, pp. 538-556, 1996, Springer, 3-540-60973-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, pp. 39-59, 1996, Springer, 3-540-60973-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 5(3), pp. 242-267, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 170, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNEXT ![In: Proceedings of the 2007 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2007, New York, NY, USA, December 10-13, 2007, pp. 27, 2007, ACM, 978-1-59593-770-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 281-297, 2006, Springer, 3-540-34694-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 96-, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 37(1), pp. 1-19, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CA ![In: Computer Animation 1995, CA 1995, Geneva, Switzerland, April 19-21, 1995, pp. 114-125, 1995, IEEE Computer Society, 0-8186-7062-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 180-207, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 419, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011, pp. 165-168, 2011, IEEE Computer Society, 978-1-4244-9879-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 21(4), pp. 452-465, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 489-497, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWCS ![In: 2010 Asia-Pacific Conference on Wearable Computing Systems, APWCS 2010, Shenzhen, China , 17-18 April 2010, pp. 173-177, 2010, IEEE Computer Society, 978-0-7695-4003-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: POLICY 2010, IEEE International Symposium on Policies for Distributed Systems and Networks, Fairfax, VA, USA, 21-23 July 2010, pp. 57-60, 2010, IEEE Computer Society, 978-1-4244-8206-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: CISIS 2010, The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, Krakow, Poland, 15-18 February 2010, pp. 600-605, 2010, IEEE Computer Society, 978-0-7695-3967-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
reactive agents, specification languages, agent system |
21 | Amy Ciric, Zeynep H. Gümüs |
MINLP: Reactive Distillation Column Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2183-2190, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 1615-1618, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 17(2), pp. 161-173, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI (2) ![In: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 2, pp. 863-866, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I, pp. 1065-1080, 2008, Springer, 978-3-540-69838-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 5(1), pp. 13-25, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 53(5), pp. 762-799, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 27(1), pp. 23-52, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(9), pp. 1082-1095, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 23(1), pp. 5-37, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 32(4), pp. 445-459, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 31(4), pp. 379-395, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceedings of the Sixth International Conference on 3D Web Technology, Web3D 2001, Paderbon, Germany, February 19-22, 2001, pp. 69-75, 2001, ACM, 1-58113-339-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 417-423, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 335-344, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 25-35, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 48(4), pp. 361-385, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(2), pp. 253-291, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 299-300, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 525-535, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 62-79, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 195-208, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Reactive systems, synchronous languages, silicon compilation |
21 | Amir Pnueli, Roni Rosner |
Distributed Reactive Systems Are Hard to Synthesize ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 31st Annual Symposium on Foundations of Computer Science, St. Louis, Missouri, USA, October 22-24, 1990, Volume II, pp. 746-757, 1990, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 160-166, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
Reactive Systems, Barbed Semantics, and the Mobile Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 272-287, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Wilkerson de L. Andrade, Patrícia D. L. Machado |
Interruption Testing of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 37-53, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Martin Tröschel, Hans-Jürgen Appelrath |
Towards Reactive Scheduling for Large-Scale Virtual Power Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings, pp. 141-152, 2009, Springer, 978-3-642-04142-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Stéphane Donikian |
A Comparative Review of Reactive Behaviour Models as Proposed in Computer Graphics and Cognitive Sciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIG ![In: Motion in Games, Second International Workshop, MIG 2009, Zeist, The Netherlands, November 21-24, 2009. Proceedings, pp. 63-74, 2009, Springer, 978-3-642-10346-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Laurent Mazaré, Bogdan Warinschi |
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARSPA-WITS ![In: Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers, pp. 193-210, 2009, Springer, 978-3-642-03458-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Shengquan Wang, Riccardo Bettati |
Reactive speed control in temperature-constrained real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 39(1-3), pp. 73-95, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(1), pp. 109-122, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Larissa Meinicke, Kim Solin |
Reactive Probabilistic Programs and Refinement Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 304-319, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Mark Allman, Vern Paxson |
A Reactive Measurement Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAM ![In: Passive and Active Network Measurement, 9th International Conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008. Proceedings, pp. 92-101, 2008, Springer, 978-3-540-79231-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 1848-1853, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 1881-1885, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Leue, Alin Stefanescu, Wei Wei 0015 |
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, pp. 176-195, 2008, Springer, 978-3-540-85113-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Michael Kipp, Patrick Gebhard |
IGaze: Studying Reactive Gaze Behavior in Semi-immersive Human-Avatar Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings, pp. 191-199, 2008, Springer, 978-3-540-85482-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (1) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China, pp. 548-551, 2008, IEEE Computer Society, 978-0-7695-3336-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 135-138, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Catalá, Javier Jaén Martínez |
A semantic model for reactive entities to support collaborative game design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Play ![In: Proceedings of the 2008 Conference on Future Play: Research, Play, Share, Future Play 2008, Toronto, Ontario, Canada, November 3-5, 2008, pp. 216-219, 2008, ACM, 978-1-60558-218-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, pp. 218-232, 2008, Springer, 978-3-540-85360-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC/EEE ![In: 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2008), July 21-14, 2008, Washington, DC, USA, pp. 279-284, 2008, IEEE Computer Society, 978-0-7695-3340-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Tsz-Chiu Au, Dana S. Nau |
Reactive Query Policies: A Formalism for Planning with Volatile External Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDM ![In: Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2007, part of the IEEE Symposium Series on Computational Intelligence 2007, Honolulu, Hawaii, USA, 1-5 April 2007, pp. 243-250, 2007, IEEE, 1-4244-0705-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 3715-3720, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Óscar R. Ribeiro, João M. Fernandes |
Validation of Reactive Software from Scenario-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QUATIC ![In: Quality of Information and Communications Technology, 6th International Conference on the Quality of Information and Communications Technology, QUATIC 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings, pp. 213-217, 2007, IEEE Computer Society, 0-7695-2948-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 2344-2349, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), July 1-4, Aveiro, Portugal, pp. 685-690, 2007, IEEE Computer Society, 978-1-4244-1520-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 3755-3760, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Shahar Maoz, Asaf Kleinbort, David Harel |
Towards Trace Visualization and Exploration for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d'Alene, Idaho, USA, pp. 153-156, 2007, IEEE Computer Society, 978-0-7695-2987-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III, pp. 1114-1123, 2007, Springer, 978-3-540-74482-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, pp. 364-379, 2007, Springer, 978-3-540-74406-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops (2) ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), Workshops Proceedings, Volume 2, May 21-23, 2007, Niagara Falls, Canada, pp. 701-706, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia, pp. 373-380, 2007, IEEE Computer Society, 0-7695-3054-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Wei-Tsun Sun, Zoran Salcic |
Modeling RTOS for Reactive Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India, pp. 534-539, 2007, IEEE Computer Society, 0-7695-2762-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Gokul Soundararajan, Cristiana Amza |
Reactive provisioning of backend databases in shared dynamic content server clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 1(2), pp. 151-188, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(2), pp. 97-112, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia, pp. 243-252, 2006, IEEE Computer Society, 0-7695-2551-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Murat Ali Bayir, Ismail Hakki Toroslu, Ahmet Cosar |
A New Approach for Reactive Web Usage Data Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 22nd International Conference on Data Engineering Workshops, ICDE 2006, 3-7 April 2006, Atlanta, GA, USA, pp. 44, 2006, IEEE Computer Society, 0-7695-2571-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 18th Euromicro Conference on Real-Time Systems, ECRTS'06, 5-7 July 2006, Dresden, Germany, Proceedings, pp. 161-170, 2006, IEEE Computer Society, 0-7695-2619-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 5118-5123, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Michael Nischt, Helmut Prendinger, Elisabeth André, Mitsuru Ishizuka |
MPML3D: A Reactive Framework for the Multimodal Presentation Markup Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, 6th International Conference, IVA 2006, Marina Del Rey, CA, USA, August 21-23, 2006, Proceedings, pp. 218-229, 2006, Springer, 3-540-37593-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Goce Trajcevski, Peter Scheuermann |
Adaptive and Context-Aware Reconciliation of Reactive and Pro-active Behavior in Evolving Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Active Conceptual Modeling of Learning ![In: Active Conceptual Modeling of Learning, Next Generation Learning-Base System Development [1st International ACM-L Workshop, November 8, 2006, during ER 2006, Tucson, Arizona, USA]., pp. 30-46, 2006, Springer, 978-3-540-77502-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Adriano C. M. Pereira, Leonardo Silva, Wagner Meira Jr., Walter Santos |
Assessing Reactive QoS Strategies for Internet Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: 2006 International Symposium on Applications and the Internet (SAINT 2006), 23-27 January 2006, Phoenix, Arizona, USA, pp. 246-252, 2006, IEEE Computer Society, 0-7695-2508-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ke-yan Liu, Wanxing Sheng, Yunhua Li |
Research on Reactive Power Optimization Based on Immunity Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Intelligent Computing, International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part I, pp. 600-611, 2006, Springer, 3-540-37271-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings, pp. 527-535, 2006, Springer, 3-540-38091-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Federico Michele Facca, Florian Daniel |
Visual Modeling of ReActive Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT Workshops ![In: Current Trends in Database Technology - EDBT 2006, EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers, pp. 876-886, 2006, Springer, 3-540-46788-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Matthias Scheutz, James F. Kramer |
RADIC: a generic component for the integration of existing reactive and deliberative layers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 488-490, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|