|
|
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 |
18 | Bjarno Oeyen, Sam Van den Vonder, Wolfgang De Meuter |
Reactive sorting networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: REBLS 2020: Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Virtual Event, USA, November 16, 2020, pp. 38-50, 2020, ACM, 978-1-4503-8188-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Teresa López-Arenas, Seyed Soheil Mansouri, Mauricio Sales-Cruz, Rafiqul Gani, Eduardo S. Pérez-Cisneros |
A Gibbs energy-driving force method for the optimal design of non-reactive and reactive distillation columns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 128, pp. 53-68, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Florian Myter, Christophe Scholliers, Wolfgang De Meuter |
Distributed Reactive Programming for Reactive Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Art Sci. Eng. Program. ![In: Art Sci. Eng. Program. 3(3), pp. 5, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Florian Myter, Christophe Scholliers, Wolfgang De Meuter |
Distributed Reactive Programming for Reactive Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.00524, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Mohammad Nazmul Islam Sarkar, Lasantha Gunaruwan Meegahapola, Manoj Datta |
Optimal Reactive Power Dispatch Considering Reactive Power Support from Renewable Energy Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: IEEE International Conference on Industrial Technology, ICIT 2019, Melbourne, Australia, February 13-15, 2019, pp. 667-672, 2019, IEEE, 978-1-5386-6376-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Zita Hagemann, Ulf Häger |
Reactive Power Control in Distribution Networks to minimize the Reactive Power Balance at the Point of Common Coupling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT Europe ![In: 2019 IEEE PES Innovative Smart Grid Technologies Europe, ISGT-Europe 2019, Bucharest, Romania, September 29 - October 2, 2019, pp. 1-5, 2019, IEEE, 978-1-5386-8218-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | John Mbuli |
A multi-agent system for the reactive fleet maintenance support planning of a fleet of mobile cyber-physical systems: Application to rail transport industry. (Proposition d'un système multi-agent pour la planification réactive des opérations de maintenance d'une flotte de systèmes cyber-physiques mobiles : Application au domaine ferroviaire). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
18 | Bilal Bou Saleh |
Approche Intelligence Artificielle Distribuée pour une planification réactive et une aide à la conduite du processus de blocs opératoires hospitaliers. (Distributed Artificial Intelligence Approach for reactive planning and driving support of the hospital operating theater process). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
18 | Marcel Blöcher, Matthias Eichholz 0001, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi |
GRASS: generic reactive application-specific scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2019, Athens, Greece, October 21, 2019, pp. 21-30, 2019, ACM, 978-1-4503-6986-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Simon Foster 0001, Kangfeng Ye, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.02101, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Simon Foster 0001, Kangfeng Ye, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 205-224, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Zimmerle, Kiev Gama |
Reactive CEP: Integrating Complex Event Processing into Web Reactive Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebMedia ![In: Proceedings of the 24th Brazilian Symposium on Multimedia and the Web, WebMedia 2018, Salvador-BA, Brazil, October 16-19, 2018, pp. 69-72, 2018, ACM, 978-1-4503-5867-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Micael Pedrosa, Jorge Miguel 0002, Carlos Costa 0001 |
Reactive Through Services - Opinionated Framework for Developing Reactive Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLOSER ![In: Proceedings of the 8th International Conference on Cloud Computing and Services Science, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018., pp. 330-337, 2018, SciTePress, 978-989-758-295-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Xiao-Ke Chen, Jian-Hua Yin, Xiao-Jian Zhao, Xiao-Lei Yuan, Xue-Min Wang, Jin-Quan Zhao |
Accurate Measurement of Reactive Power Based on Fryze's Definition of Time Domain Reactive Power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC-FSKD ![In: 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery, ICNC-FSKD 2018, Huangshan, China, July 28-30, 2018, pp. 1072-1075, 2018, IEEE, 978-1-5386-8097-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Juan Alejandro Castano, Chengxu Zhou, Nikos G. Tsagarakis |
From Non-Reactive to Reactive Walking in Humanoid Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Humanoids ![In: 18th IEEE-RAS International Conference on Humanoid Robots, Humanoids 2018, Beijing, China, November 6-9, 2018, pp. 280-283, 2018, IEEE, 978-1-5386-7283-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Colin Vidal |
Programmation web réactive. (Reactive Web Programming). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
18 | Rémy El Sibaïe |
Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus multimédia riches. (Reactive Web Programming in a Static Typing Context for Rich Multimedias Content Orchestration). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
18 | Mathijs Saey, Joeri De Koster, Wolfgang De Meuter |
Skitter: a DSL for distributed reactive workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston, MA, USA, November 4, 2018, pp. 41-50, 2018, ACM, 978-1-4503-6070-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri |
A reactive language for analyzing cloud logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston, MA, USA, November 4, 2018, pp. 61-70, 2018, ACM, 978-1-4503-6070-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon |
Reactive chatbot programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston, MA, USA, November 4, 2018, pp. 21-30, 2018, ACM, 978-1-4503-6070-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Orestis Melkonian, Angelos Charalambidis |
RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston, MA, USA, November 4, 2018, pp. 11-20, 2018, ACM, 978-1-4503-6070-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Jesse Zaman, Kennedy Kambona, Wolfgang De Meuter |
DISCOPAR: a visual reactive programming language for generating cloud-based participatory sensing platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston, MA, USA, November 4, 2018, pp. 31-40, 2018, ACM, 978-1-4503-6070-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Bjarno Oeyen, Humberto Rodríguez-Avila, Sam Van den Vonder, Wolfgang De Meuter |
Composable higher-order reactors as the basis for a live reactive programming environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston, MA, USA, November 4, 2018, pp. 51-60, 2018, ACM, 978-1-4503-6070-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Yaser Fattahian, Ali Riahi-Madvar, Reza Mirzaee, Gholamreza Asadikaram, Mohammad Reza Rahbar |
In silico locating the immune-reactive segments of Lepidium draba peroxidase and designing a less immune-reactive enzyme derivative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 70, pp. 21-30, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Oren Farhi |
Reactive Programming with Angular and ngrx - Learn to Harness the Power of Reactive Programming with RxJS and ngrx Extensions ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
18 | Reza Bajool, Miadreza Shafie-khah, Amin Shokri Gazafroudi, João P. S. Catalão |
Mitigation of active and reactive demand response mismatches through reactive power control considering static load modeling in distribution grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: IEEE Conference on Control Technology and Applications, CCTA 2017, Mauna Lani Resort, HI, USA, August 27-30, 2017, pp. 1637-1642, 2017, IEEE, 978-1-5090-2182-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Florian Myter, Christophe Scholliers, Wolfgang De Meuter |
Handling partial failures in distributed reactive programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Vancouver, BC, Canada, October 23, 2017, pp. 1-7, 2017, ACM, 978-1-4503-5515-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Sam Van den Vonder, Joeri De Koster, Florian Myter, Wolfgang De Meuter |
Tackling the awkward squad for reactive programming: the actor-reactor model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Vancouver, BC, Canada, October 23, 2017, pp. 27-33, 2017, ACM, 978-1-4503-5515-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter |
First-class reactive programs for CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Vancouver, BC, Canada, October 23, 2017, pp. 21-26, 2017, ACM, 978-1-4503-5515-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Marta Ortín-Obón, Darío Suárez Gracia, María Villarroya-Gaudó, Cruz Izu, Víctor Viñals |
Reactive circuits: Dynamic construction of circuits for reactive traffic in homogeneous CMPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 95, pp. 57-68, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Christopher Schuster, Cormac Flanagan |
Reactive programming with reactive variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODULARITY (Companion) ![In: Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14 - 18, 2016, pp. 29-33, 2016, ACM, 978-1-4503-4033-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Guido Salvaneschi, Mira Mezini |
Debugging reactive programming with reactive inspector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume, pp. 728-730, 2016, ACM, 978-1-4503-4205-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Osamah Saif |
Reactive navigation of a fleet of drones in interaction. (Navigation réactive de drones en interaction dans une flottille). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
18 | Rémy El Sibaïe, Emmanuel Chailloux |
Synchronous-reactive web programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems, Amsterdam, Netherlands, November 1, 2016, pp. 9-16, 2016, ACM, 978-1-4503-4644-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | D. A. Harney, T. K. Mills, N. L. Book |
Numerical evaluation of the stability of stationary points of index-2 differential-algebraic equations: Applications to reactive flash and reactive distillation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 49, pp. 61-69, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Madeleine El-Zaher |
Approche réactive pour la conduite en convoi des véhicules autonomes : Modélisation et vérification. (Reactive approach for autonomous vehicle platoon systems : modelling and verification). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
18 | Lyazid Sabri |
Modèles sémantiques, raisonnements réactifs et narratifs, pour la gestiondu contexte. : intelligence ambiante et robotique ubiquitaire. (Semantic models, reactive and narrative reasoning to manage context. Semantic models, reactive and narrative reasoning to manage context. : Ambient intelligence and ubiquitous robotic.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
18 | Rostam Shirani, Marc St-Hilaire, Thomas Kunz, Yifeng Zhou, Jun Li 0006, Louise Lamont |
On the Delay of Reactive-Greedy-Reactive Routing in Unmanned Aeronautical Ad-hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/MobiWIS ![In: Proceedings of the 3rd International Conference on Ambient Systems, Networks and Technologies (ANT 2012), the 9th International Conference on Mobile Web Information Systems (MobiWIS-2012), Niagara Falls, Ontario, Canada, August 27-29, 2012, pp. 535-542, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Yi Li, Rostam Shirani, Marc St-Hilaire, Thomas Kunz |
Improving routing in networks of Unmanned Aerial Vehicles: Reactive-Greedy-Reactive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Commun. Mob. Comput. ![In: Wirel. Commun. Mob. Comput. 12(18), pp. 1608-1619, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo |
Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012, pp. 347-350, 2012, SciTePress, 978-989-8565-19-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Vilem Benes |
Reactive Layer in AGI Agent - Implementation of Adaptive Reactive Behavior and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Rome, Italy, January 28-30, 2011, pp. 721-726, 2011, SciTePress, 978-989-8425-40-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
18 | Daniele Fiaschi, Giampaolo Manfrida |
Improvement of Energy Conversion/Utilization by Exergy Analysis: Selected Cases for Non-Reactive and Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 12(2), pp. 243-261, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Pedram Ataee, Guy Albert Dumont, W. Thomas Boyce |
Morphological differences of sigmoidal baroreflex in highly-reactive and non-reactive individuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the 23rd Canadian Conference on Electrical and Computer Engineering, CCECE 2010, Calgary, Alberta, Canada, 2-5 May, 2010, pp. 1-4, 2010, IEEE, 978-1-4244-5376-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | William D. Henshaw, Donald W. Schwendeman |
Moving overlapping grids with adaptive mesh refinement for high-speed reactive and non-reactive flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 216(2), pp. 744-779, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Olga Ormandjieva, Heng Kuang, Emil Vassev |
Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Trans. Syst. Sci. Appl. ![In: Int. Trans. Syst. Sci. Appl. 2(1), pp. 99-104, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Y. R. Fares, D. Giacobbe |
Transient transport of reactive and non-reactive solutes in groundwater. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geosci. ![In: Comput. Geosci. 30(5), pp. 483-492, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Marek Teichmann, Bud Mishra |
Reactive Robotics I: Reactive Grasping with a Modified Gripper and Multifingered Hands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 19(7), pp. 697-708, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Branislav V. Djokic, Petar Bosnjakovic |
Two methods for improved measurements of reactive power and reactive energy insensitive to frequency variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 47(1), pp. 215-218, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Takeshi Mita, Shinsaku Hiura, Hirokazu Kato 0001, Seiji Inokuchi |
Strategical Tracking of Polyhedral Objects by Reactive Change of Projection Pattern - Reactive Range Finder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV (2) ![In: Computer Vision - ACCV'98, Third Asian Conference on Computer Vision, Hong Kong, China, January 8-10, 1998, Proceedings, Volume II, pp. 495-502, 1998, Springer, 3-540-63931-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Ashwin Ram 0001, Ronald C. Arkin, Kenneth Moorman, Russell J. Clark 0001 |
Case-based reactive navigation: a method for on-line selection and adaptation of reactive robotic control parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 27(3), pp. 376-394, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Elie Najm, Frank Olsen |
Reactive EFSMs - Reactive Promela/RSPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings, pp. 349-368, 1996, Springer, 3-540-61042-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Frédéric Boussinot |
Reactive C: An Extension of C to Program Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 21(4), pp. 401-428, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Patrice Godefroid, Froduald Kabanza |
An Efficient Reactive Planner for Synthesizing Reactive Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 9th National Conference on Artificial Intelligence, Anaheim, CA, USA, July 14-19, 1991, Volume 2., pp. 640-645, 1991, AAAI Press / The MIT Press. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Max Van Kleek, Brennan Moore, David R. Karger, Paul André, m. c. schraefel |
Atomate it! end-user context-sensitive automation using heterogeneous information sources on the web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 951-960, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
reactive automation, web mash-ups, context-aware computing, end-user programming |
18 | Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich |
Verifying event-driven programs using ramified frame properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010, pp. 63-76, 2010, ACM, 978-1-60558-891-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
frame rule, ramification problem, subject-observer, dataflow, separation logic, functional reactive programming |
18 | Djamila Ouelhadj, Sanja Petrovic |
A survey of dynamic scheduling in manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 12(4), pp. 417-431, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Robust scheduling, Predictive-reactive scheduling, Agent-based scheduling, Dynamic scheduling |
18 | Carlos Barrico, Carlos Henggeler Antunes, Dulce Fernão Pires |
Robustness Analysis in Evolutionary Multi-Objective Optimization Applied to VAR Planning in Electrical Distribution Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoCOP ![In: Evolutionary Computation in Combinatorial Optimization, 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings, pp. 216-227, 2009, Springer, 978-3-642-01008-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reactive power compensation problem, multi-objective evolutionary algorithm, robustness analysis |
18 | Krysia Broda, Keith Clark, Rob Miller 0002, Alessandra Russo |
SAGE: A Logical Agent-Based Environment Monitoring and Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AmI ![In: Ambient Intelligence, European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings, pp. 112-117, 2009, Springer, 978-3-642-05407-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multi-Agent Reasoning, Teleo-Reactive Programs, Logic Programming, Logic, Abduction, Event Calculus, Environmental Control |
18 | Michael Backes 0001, Birgit Pfitzmann |
Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 7(1), pp. 33-54, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Dolev-Yao-style, Reactive simulatability/UC, Limitations, XOR, Computational soundness |
18 | Chang Ouk Kim, Ick-Hyun Kwon, Jun-Geol Baek |
Asynchronous action-reward learning for nonstationary serial supply chain inventory control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 28(1), pp. 1-16, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Action reward learning, Asynchronous performance measure update, Situation reactive inventory control, Two-stage serial supply chain, Nonstationary customer demand, Machine learning |
18 | Niaz A. Wassan, Gábor Nagy 0001, Samad Ahmadi |
A heuristic method for the vehicle routing problem with mixed deliveries and pickups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 11(2), pp. 149-161, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Deliveries and pickups, Reactive tabu search, Heuristic, Vehicle routing |
18 | Norman H. Cohen, Karl Trygve Kalleberg |
EventScript: an event-processing language based on regular expressions with actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008, pp. 111-120, 2008, ACM, 978-1-60558-104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sensors, regular expressions, actuators, event processing, reactive programs |
18 | Kirsten Terfloth, Jochen H. Schiller |
Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings, pp. 127-134, 2008, Springer, 978-3-540-88807-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
reactive rules, RDL, domain-specific language, FACTS |
18 | Guillaume Feuillade, Sophie Pinchinat |
Modal Specifications for the Control Theory of Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 17(2), pp. 211-232, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Conjunctive nu-calculus, Modal specifications, Maximally permissive solutions, Logics, Reactive systems, Control theory, Mu-calculus |
18 | David P. Miller, Jacob Q. Milstein, Cathryne Stein |
Scarecrow: If I only had AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 22(4), pp. 325-332, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
1992 AAAI robot contest, Mechanical intelligence, Reactive control |
18 | Shuqing Zeng, Juyang Weng |
Online-learning and Attention-based Approach to Obstacle Avoidance Using a Range Finder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 50(3), pp. 219-239, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Reactive collision avoidance, Range finder, Perception, Humanoid |
18 | Jörg Rech, Eric Ras, Björn Decker 0001 |
Intelligent Assistance in German Software Development: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 24(4), pp. 72-79, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
software engineering, survey, reactive systems, integrated development environments, intelligent assistance |
18 | Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi |
Lowering: a static optimization technique for transparent functional reactivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, pp. 71-80, 2007, ACM, 978-1-59593-620-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FRP, FrTime, lowering, optimization, static analysis, functional programming, scheme, lifting, reactive programming |
18 | George Giorgidze, Henrik Nilsson |
Demo outline: switched-on yampa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pp. 93, 2007, ACM, 978-1-59593-674-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
computer music, functional reactive programming |
18 | Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam |
Physics inspired multiagent system for vehicle platooning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 184, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
longitudinal and lateral control, merge and split, physics inspired behavior model, reactive multiagent, platoon |
18 | Branko Ster, Andrej Dobnikar |
Modelling the Environment of a Mobile Robot with the Embedded Flow State Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 46(2), pp. 181-199, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
reactive/planning approach, navigation, prediction, mobile robots, recurrent neural networks, environment modelling, topological modelling |
18 | Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden |
Synthesizing safe state machines from Esterel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006, pp. 113-124, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SyncCharts, safe state machines, textual/graphical languages, Statecharts, reactive systems, Esterel |
18 | Camil Demetrescu, Irene Finocchi |
A data-driven graphical toolkit for software visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTVIS ![In: Proceedings of the ACM 2006 Symposium on Software Visualization, Brighton, UK, September 4-5, 2006, pp. 57-66, 2006, ACM, 1-59593-464-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
data flow execution model, graphical libraries, multi-paradigm programming languages, reactive environments, software visualization |
18 | Joanna Berzowska, Marcelo Coelho |
Memory-rich clothing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 275-278, 2006, ACM, 978-1-59593-298-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
physical touch, reactive garments, wearable computing, electronic textiles |
18 | Ingolf H. Krüger, Reena Mathew, Michael Meisinger |
Efficient exploration of service-oriented architectures using aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 62-71, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
architecture comparison, distributed reactive systems, software architecture exploration, components, aspect-oriented programming, services, roles, aspects, aspectJ, service-oriented development |
18 | Sergei Kojarski, David H. Lorenz |
Modeling aspect mechanisms: a top-down approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 212-221, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Hyper/J, aspect mechanism, nonreactive, open classes, top-down classification, weaving process model (WPM), AOP, taxonomy, AspectJ, definition, crosscutting concerns, reactive, DFD |
18 | Ingolf H. Krüger, Gunny Lee, Michael Meisinger |
Automating software architecture exploration with M2Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCESM ![In: SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006, pp. 51-58, 2006, ACM, 1-59593-394-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
architecture comparison, distributed reactive systems, software architecture exploration, components, aspect-oriented programming, services, scenarios, roles, aspects, AspectJ |
18 | Michael Backes 0001, Birgit Pfitzmann, Michael Waidner |
Reactively secure signature schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 4(4), pp. 242-252, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Security, Cryptography, Digital signatures, Reactive |
18 | Sumir Chandra, Manish Parashar, Jingmei Yang, Yeliang Zhang, Salim Hariri |
Investigating Autonomic Runtime Management Strategies for SAMR Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 33(2-3), pp. 247-259, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
GridARM autonomic runtime management framework, application/system sensitive reactive and proactive partitioning, structured adaptive mesh refinement |
18 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Environment behavior models for scenario generation and testing automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-6, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
reactive and real time system testing, model-based testing, testing automation |
18 | Claude Jard, Thierry Jéron |
TGV: theory, principles and algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(4), pp. 297-315, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Test generation/synthesis, Model-checking, Protocols, Reactive systems, Conformance testing, Transition systems |
18 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Environment behavior models for scenario generation and testing automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A-MOST ![In: Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USA, 2005, ACM, 1-59593-115-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
reactive and real time system testing, model-based testing, testing automation |
18 | James Bailey 0001, François Bry, Paula-Lavinia Patranjan |
Composite event queries for reactivity on the web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 1082-1083, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
reactive languages, web, event-condition-action rules, composite events |
18 | Sanjeev Kumar 0002 |
A developmental genetics-inspired approach to robot control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO Workshops ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Workshop Proceedings, Washington DC, USA, June 25-26, 2005, pp. 304-309, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
reactive robots, control, development, genetic regulatory networks |
18 | Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang |
Re-engineering software architecture of home service robots: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 505-513, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
reactive systems, robot programming, software re-engineering |
18 | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
Proving correctness of timed concurrent constraint programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(4), pp. 706-731, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Concurrency, constraints, temporal logic, reactive systems |
18 | Eugene W. Stark |
Formally specifying CARA in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(4), pp. 331-350, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Java, Verification, Specification, Reactive systems, Medical devices |
18 | Seung Zoo Jeong, Naoki Hashimoto, Makoto Sato |
A novel interaction system with force feedback between real - and virtual human: an entertainment system: "virtual catch ball". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the 2004 ACM SIGCHI International Conference on Advances in Computer Entertainment Technology, 2004, Singapore, June 3-5, 2004, pp. 61-66, 2004, ACM, 1-58113-882-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
reactive motion, multimodal interaction, force feedback, virtual human |
18 | Margarita Mediavilla, Juan C. Fraile, Ignacio J. Galindo, Maria-Teresa González |
Selection of Strategies for Collision-free Motion in Multi-manipulator Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 38(1), pp. 85-104, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
on-line motion, path planning, dynamic environments, robot manipulators, reactive |
18 | Krishna Pandit, Jens B. Schmitt, Martin Karsten, Ralf Steinmetz |
Bottleneck Estimation for Load Control Gateways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 11th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2003), 12-15 October 2003, Orlando, FL, USA, pp. 279-, 2003, IEEE Computer Society, 0-7695-2039-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
reactive resource allocation, admission control, ECN |
18 | Ole Høgh Jensen, Robin Milner |
Bigraphs and transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 38-49, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity |
18 | Alain Girault, Xavier Nicollin |
Clock-Driven Automatic Distribution of Lustre Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, pp. 206-222, 2003, Springer, 3-540-20223-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
synchronous abstraction, data-flow languages, long duration tasks, reactive systems, clocks, Automatic distribution |
18 | Michael Mateas, Andrew Stern |
A Behavior Language for Story-Based Believable Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 17(4), pp. 39-47, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
behavior language, reactive planning language, believable agents |
18 | James Bailey 0001, Alexandra Poulovassilis, Peter T. Wood |
An event-condition-action language for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Eleventh International World Wide Web Conference, WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA, pp. 486-495, 2002, ACM, 1-58113-449-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
XML repositories, reactive functionality, rule analysis, XML, event-condition-action rules |
18 | Sorin Craciunescu |
Proving the Equivalence of CLP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 287-301, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
CLP(forall), logic programming, constraint, induction, proof system, reactive program, coinduction, CLP, Program equivalence |
18 | Jorge Solis, Carlo Alberto Avizzano, Massimo Bergamasco |
Teaching to Write Japanese Characters Using a Haptic Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems ![In: 10th Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, HAPTICS 2002, Orlando, Florida, USA, March 24-25, 2002, Proceedings, pp. 255-262, 2002, IEEE Computer Society, 0-7695-1489-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Reactive Robots, Hidden Markov Models, Haptic Interfaces |
18 | Christine Bourjot, Vincent Chevrier, Vincent Thomas |
How social spiders inspired an approach To region detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 426-433, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
reactive multi-agent system, region detection, biological inspiration |
18 | Zygmunt J. Haas, Marc R. Pearlman |
The performance of query control schemes for the zone routing protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 9(4), pp. 427-438, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
bordercast, hybrid routing, query control, routing zone, Ad hoc network, routing protocol, reactive routing, proactive routing, ZRP, zone routing protocol |
18 | Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang |
Modeling statecharts and activitycharts as signal equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 10(4), pp. 397-451, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ctatemate, tatecharts, reactive systems, behavioral modeling, signal, synchronous languages |
18 | Natalia Sidorova, Martin Steffen |
Embedding Chaos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, pp. 319-334, 2001, Springer, 3-540-42314-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
open reactive systems, Model checking, data-flow analysis, SDL |
Displaying result #501 - #600 of 8616 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|