|
|
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 |
15 | Marc Lettrari |
Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 462-481, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
UML, abstractions, heuristic search, symbolic execution |
15 | Xiang Fu 0001, Tevfik Bultan, Jianwen Su |
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings, pp. 188-200, 2003, Springer, 3-540-40561-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, pp. 35-50, 2003, Springer, 3-540-20223-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Cristina Urdiales, Eduardo J. Pérez, Francisco Sandoval Hernández, Javier Vázquez-Salceda |
A hybrid architecture for autonomous navigation using a CBR reactive layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 13-17 October 2003, Halifax, Canada, pp. 225-232, 2003, IEEE Computer Society, 0-7695-1931-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Fabien L. Gandon |
Combining reactive & deliberative agents for complete ecosystems in infospheres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 13-17 October 2003, Halifax, Canada, pp. 297-303, 2003, IEEE Computer Society, 0-7695-1931-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner |
Prototype-Based Tests for Hybrid Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA, pp. 78-, 2003, IEEE Computer Society, 0-7695-1943-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | K. H. Kim |
Commanding and Reactive Control of Peripherals in the TMO Programming Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Object-Oriented Real-Time Distributed Computing ![In: 5th International Symposiun on Object Oriented Real-Time Distributed Computing, ISORC 2002, Washington, DC, USA, April 29 - May 1, 2002, pp. 448-456, 2002, IEEE Computer Society, 0-7695-1558-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
real time, middleware, parallel, distributed, programming, embedded, object, message, TMO, time triggered |
15 | Jun Miura, Yoshiaki Shirai |
Parallel scheduling of planning and action for realizing an efficient and reactive robotic system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: Seventh International Conference on Control, Automation, Robotics and Vision, ICARCV 2002, Singapore, 2-5 December 2002, Proceedings, pp. 246-251, 2002, IEEE, 981-04-8364-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Alejandro Zunino, Marcelo Campo, Cristian Mateos |
Simplifying Mobile Agent Development through Reactive Mobility by Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence, 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings, pp. 163-174, 2002, Springer, 3-540-00124-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Karl Iagnemma, Dariusz Golda, Matthew Spenko, Steven Dubowsky |
Experimental Study of High-speed Rough-terrain Mobile Robot Models for Reactive Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISER ![In: Experimental Robotics VIII [ISER 2002, Sant'Angelo d'Ischia, Italy, 8-11 July 2002], pp. 654-663, 2002, Springer, 978-3-540-00305-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Massimiliano Chiodo |
Optimization and synthesis for complex reactive embedded systems by incremental collapsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Tenth International Symposium on Hardware/Software Codesign, CODES 2002, Estes Park, Colorado, USA, May 6-8, 2002, pp. 115-120, 2002, ACM, 1-58113-542-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
real-time systems, embedded systems, finite-state machines, software synthesis |
15 | Andreas Metzger, Stefan Queins |
Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 158-169, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Guido Boella, Rossana Damiano |
An Architecture for Normative Reactive Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Intelligent Agents and Multi-Agent Systems, 5th Pacific Rim International Workshop on Multi Agents, Tokyo, Japan, August 19-20, 2002, Proceedings, pp. 1-17, 2002, Springer, 3-540-44026-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Guido Boella, Rossana Damiano |
A Replanning Algorithm for a Reactive Agent Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 10th International Conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002, Proceedings, pp. 183-192, 2002, Springer, 3-540-44127-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson |
Arrows, Robots, and Functional Reactive Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Functional Programming ![In: Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures, pp. 159-187, 2002, Springer, 3-540-40132-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Bruno Dillenseger, Anne-Marie Tagant, Laurent Hazard |
Programming and Executing Telecommunication Service Logic with Moorea Reactive Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATA ![In: Mobile Agents for Telecommunication Applications, 4th International Workshop, MATA 2002 Barcelona, Spain, October 23-24, 2002, Proceedings, pp. 48-57, 2002, Springer, 3-540-00021-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Gerasimos G. Rigatos |
Fuzzy Stochastic Automata for Reactive Learning and Hybrid Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Methods and Applications of Artificial Intelligence, Second Hellenic Conference on AI, SETN 2002. Thessaloniki, Greece, April 11-12, 2002, Proceedings, pp. 366-377, 2002, Springer, 3-540-43472-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Anatoly A. Shalyto, N. I. Tukkel |
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 27(5), pp. 260-276, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Paolo Puliti, Guido Tascini, Anna Montesanto |
Reactive Navigation Using Reinforment Learning in Situations of POMDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Bio-inspired Applications of Connectionism, 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part II, pp. 444-450, 2001, Springer, 3-540-42237-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Kai Dadhe, Volker Roßmann, Kazim Durmus, Sebastian Engell |
Neural Networks as a Tool for Gray Box Modelling in Reactive Distillation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001, Proceedings, pp. 576-588, 2001, Springer, 3-540-42732-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Valentina Piermarini, Leonardo Pacifici, Stefano Crocchianti, Antonio Laganà |
Parallel Models for Reactive Scattering Calculations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCN ![In: High-Performance Computing and Networking, 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings, pp. 194-203, 2001, Springer, 3-540-42293-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Valentina Piermarini, Leonardo Pacifici, Stefano Crocchianti, Antonio Laganà, Giuseppina D'Agosto, Sergio Tasso |
Parallel Methods in Time Dependent Approaches to Reactive Scattering Calculations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I, pp. 567-578, 2001, Springer, 3-540-42232-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin |
Scheduling Reactive Task Graphs in Embedded Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May - 1 June 2001, Taipei, Taiwan, pp. 191-201, 2001, IEEE Computer Society, 0-7695-1134-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Robin Milner |
Bigraphical Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 16-35, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Fernando de Carvalho Gomes, Panos M. Pardalos, Carlos A. S. Oliveira, Mauricio G. C. Resende |
Reactive GRASP with path relinking for channel assignment in mobile phone networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIAL-M ![In: Proceedings of the 5th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M 2001), Rome, Italy, July 21, 2001, pp. 60-67, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Roberto Battiti, Mauro Brunato |
Reactive Search for Traffic Grooming in WDM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDC ![In: Evolutionary Trends of the Internet, Thyrrhenian International Workshop on Digital Communications, IWDC 2001, Taormina, Italy, September 17-20, 2001, Proceedings, pp. 56-66, 2001, Springer, 3-540-42592-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | John Peterson, Valery Trifonov, Andrei Serjantov |
Parallel Functional Reactive Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings, pp. 16-31, 2000, Springer, 3-540-66992-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | René Stolle, Wilhelm R. Rossak, Vassilka Kirova |
A Component-Driven Architecture for Internet-Based, Directly Reactive Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK, pp. 129-137, 2000, IEEE Computer Society, 0-7695-0604-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed IS systems, software architecture, middleware, reusability |
15 | Paul B. Jackson |
Total-Correctness Refinement for Sequential Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings, pp. 320-337, 2000, Springer, 3-540-67863-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Sven Behnke, Raúl Rojas 0001 |
A Hierarchy of Reactive Behaviors Handles Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Balancing Reactivity and Social Deliberation in Multi-Agent Systems ![In: Balancing Reactivity and Social Deliberation in Multi-Agent Systems, From RoboCup to Real-World Applications (selected papers from the ECAI 2000 Workshop and additional contributions), pp. 125-126, 2000, Springer, 3-540-42327-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Dominique Cansell, Dominique Méry, Stephan Merz |
Predicate Diagrams for the Verification of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings, pp. 380-397, 2000, Springer, 3-540-41196-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Ionut D. Aron, Sandeep K. S. Gupta |
Analytical comparison of local and end-to-end error recovery in reactive routing protocols for mobile ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 3rd International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2000, Boston, Massachusetts, USA, August 20, 2000, pp. 69-76, 2000, ACM, 1-58113-304-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
mobile ad hoc network, performance analysis, routing protocol |
15 | Robert J. Hall 0001 |
Upgrading Legacy Instances of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000, pp. 63-72, 2000, IEEE Computer Society, 0-7695-0710-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Kevin Lano, Kelly Androutsopoulos, David Clark 0001 |
Structuring and Design of Reactive Systems Using RSDS and B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 97-111, 2000, Springer, 3-540-67261-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | G. H. Shah Hamzei, David J. Mulvaney, Ian P. W. Sillitoe |
Multi-Layer Hierarchical Rule Learning in Reactive Robot Control Using Incremental Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 24(2), pp. 99-124, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
behaviour decomposition, behaviour learning, intelligent navigation, decision tress, ITI, machine learning, robotics |
15 | Araceli Sanchis, José M. Molina 0001, Pedro Isasi, Javier Segovia |
Learning Symbolic Rules with a Reactive with Tags Classifier System in Robot Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Engineering Applications of Bio-Inspired Artificial Neural Networks, International Work-Conference on Artificial and Natural Neural Networks, IWANN '99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume II, pp. 548-557, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Karlheinz Weiß, Thorsten Steckstor, Wolfgang Rosenstiel |
Emulation of a Fast Reactive Embedded System using a Real Time Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1999 Design, Automation and Test in Europe (DATE '99), 9-12 March 1999, Munich, Germany, pp. 764-765, 1999, IEEE Computer Society / ACM, 0-7695-0078-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar |
A Graphical Environment for the Specification and Verification of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings, pp. 431-444, 1999, Springer, 3-540-66488-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Julliard, Sylvie Gibet |
Reactiva'Motion Project: Motion Synthesis Based on a Reactive Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gesture Workshop ![In: Gesture-Based Communication in Human-Computer Interaction, International Gesture Workshop, GW'99, Gif-sur-Yvette, France, March 17-19, 1999, Proceedings, pp. 265-268, 1999, Springer, 3-540-66935-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Halbwachs, Pascal Raymond |
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings, pp. 1-12, 1999, Springer, 3-540-66856-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Felice Balarin, Massimiliano Chiodo |
Software Synthesis for Complex Reactive Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the IEEE International Conference On Computer Design, VLSI in Computers and Processors, ICCD '99, Austin, Texas, USA, October 10-13, 1999, pp. 634-639, 1999, IEEE Computer Society, 0-7695-0406-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Modeling reactive systems in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 3(4), pp. 515-523, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
simulation, Java, prototyping, high level design |
15 | Felice Balarin |
Priority Assignment for Embedded Reactive Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES'98, Montreal, Canada, June 1998, Proceedings, pp. 146-155, 1998, Springer, 3-540-65075-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Pyttel, Alexander Sedlmeier, Christian Veith |
PSCP: A Scalable Parallel ASIP Architecture for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 370-376, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
FPGA, modular, statechart, application-specific |
15 | Sarah A. M. Talbot, Paul H. J. Kelly |
Reactive Proxies: A Flexible Protocol Extension to Reduce ccNUMA Node Controller Contention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 1062-1075, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Giacomo Cabri, Letizia Leonardi, Franco Zambonelli |
Reactive Tuple Spaces for Mobile Agent Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Agents ![In: Mobile Agents, Second International Workshop, MA'98, Stuttgart, Germany, September 1998, Proceedings, pp. 237-248, 1998, Springer, 3-540-64959-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Emil Sekerinski |
Graphical Design of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings, pp. 182-197, 1998, Springer, 3-540-64405-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Pierre Wolper |
Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 308, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Roberto Iglesias, Carlos Vázquez Regueiro, José Correa 0002, Senén Barro |
Implementation of a Basic Reactive Behavior in Mobile Robotics Through Artificial Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: Biological and Artificial Computation: From Neuroscience to Technology, International Work-Conference on Artificial and Natural Neural Networks, IWANN '97, Lanzarote, Canary Islands, Spain, June 4-6, 1997, Proceedings, pp. 1364-1373, 1997, Springer, 3-540-63047-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Långbacka, Joakim von Wright |
Refining Reactive Systems in HOL Using Action Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings, pp. 183-197, 1997, Springer, 3-540-63379-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Kevin Lano, Arturo Sanchez |
Design of Reactive Control Systems for Event-Drivem Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 142-161, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Pertti Kellomäki |
Verification of Reactive Systems Using DisCo and PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 589-604, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Manfred Broy |
Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Computer Science: Potential - Theory - Cognition ![In: Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday, pp. 279-286, 1997, Springer, 3-540-63746-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Gerhard Schrott |
Reactive Real-Time Programming with Distributed Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 1236-1243, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Lars Büttner, Ute Haack, Wolfgang Schröder-Preikschat, Thomas Stickdor |
Dual, Mobile and Reactive Objects - Operating System Support for. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 64-72, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen |
A Universal Reactive Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings, pp. 89-103, 1997, Springer, 3-540-63141-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever |
Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings, pp. 267-283, 1997, Springer, 3-540-63876-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
Schedule Validation for Embedded Reactive Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 34st Conference on Design Automation, Anaheim, California, USA, Anaheim Convention Center, June 9-13, 1997., pp. 52-57, 1997, ACM Press, 0-89791-920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen |
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(6), pp. 378-389, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Modechart, VFSM, Formal methods, specification languages, Z, SDL, industrial applications, LOTOS, ESTEREL, technology assessment |
15 | Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe |
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 415-418, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Majd Alwan, Peter Y. K. Cheung, Akram Saleh, Nour E. Cheikh Obeid |
Combining goal-directed, reactive and reflexive navigation in autonomous mobile robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANZIIS ![In: Proceedings of the Australian New Zealand Conference on Intelligent Information Systems, ANZIIS 96, Adelaide, South Australia, 18-20 November 1996, pp. 346-349, 1996, IEEE, 0-7803-3667-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Rajeev Alur, Thomas A. Henzinger |
Local Liveness for Compositional Modeling of Fair Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 166-179, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Kevin Lano |
Reactive System Specification and Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 696-710, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Uwe Gläser |
Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings, pp. 375-385, 1995, Springer, 3-540-60748-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Mario Martín, Ulises Cortés |
Learning to Solve Complex Tasks for Reactive Systems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-95, 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25-27, 1995, Proceedings, pp. 315-318, 1995, Springer, 3-540-59286-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Jeremy R. Cooperstock |
Making the user interface disappear: the reactive room. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada, pp. 15, 1995, IBM. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
15 | Lisa J. Burnell, Scott E. Talbot |
Incorporating Probabilistic Reasoning in a Reactive Program Debugging System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 9(1), pp. 15-20, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Anuchit Anuchitanukul, Zohar Manna |
Realizability and Synthesis of Reactive Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings, pp. 156-168, 1994, Springer, 3-540-58179-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Mikael Berndtsson |
Reactive Object-Oriented Databases and CIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 5th International Conference, DEXA '94, Athens, Greece, September 7 - 9, 1994, Proceedings, pp. 769-778, 1994, Springer, 3-540-58435-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
(re)active databases, object-oriented databases, CIM |
15 | Michael Fisher 0001 |
Concurrent METATEM - A Language for Modelling Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings, pp. 185-196, 1993, Springer, 3-540-56891-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | R. Peter Bonasso |
Using parallel program specifications for reactive control of underwater vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 2(3), pp. 201-224, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
situated reasoning, unmanned underwater vehicles, Intelligent control |
15 | Peter Osmon, Philip M. Sleat |
IDRIS: Interactive Design of Reactive Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'92, Manchester, UK, May 12-15, 1992, Proceedings, pp. 494-506, 1992, Springer, 3-540-55481-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Don Cameron |
Technical writers and the business of writing design documents for complex, reactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 10th Annual International Conference on Systems Documentation, SIGDOC 1992, Ottawa, Ontario, Canada, October 13-16, 1992, pp. 201-210, 1992, ACM, 0-89791-532-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Amir Pnueli, Roni Rosner |
On the Synthesis of a Reactive Module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 179-190, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Amir Pnueli, Roni Rosner |
On the Synthesis of an Asynchronous Reactive Module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings, pp. 652-671, 1989, Springer, 3-540-51371-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Amir Pnueli, Roni Rosner |
A Framework for the Synthesis of Reactive Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 4-17, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Calvin N. Mooers |
TRAC, a procedure-describing language for the reactive typewriter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 9(3), pp. 215-219, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
12 | Feng Li 0001, Jie Wu 0001 |
Uncertainty Modeling and Reduction in MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 9(7), pp. 1035-1048, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
vouching, mobility, mobile ad hoc networks, Authentication, trust, uncertainty, reputation, proactive, reactive |
12 | Steven P. Reiss, Suman Karumuri |
Visualizing threads, transactions and tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010, pp. 9-16, 2010, ACM, 978-1-4503-0082-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
program understanding, software visualization, reactive systems, event handling |
12 | Min-Hua Shao, Ji-Bin Lin, Yi-Ping Lee |
Cluster-based Cooperative Back Propagation Network Approach for Intrusion Detection in MANET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 1627-1632, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Clustering, Neural Networks, Information Security, AODV, Reactive Routing |
12 | Talania Grobler, C. P. Louwrens, Sebastiaan H. von Solms |
A Multi-component View of Digital Forensics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland, pp. 647-652, 2010, IEEE Computer Society, 978-0-7695-3965-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Digital Forensic readiness, Proactive Digital Forensics, Active Digital Forensics, Reactive Digital Forensics, Digital Forensics |
12 | Solange Ghernaouti-Helie |
A National Strategy for an Effective Cybersecurity Approach and Culture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland, pp. 370-373, 2010, IEEE Computer Society, 978-0-7695-3965-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Cybersecurity strategy, national cybersecurity action plan, organisational structures, cybersecurtiy culture, building human capacities, cooperation and coordination, proactive and reactive measures |
12 | Gregor Klancar, Drago Matko, Saso Blazic |
Wheeled Mobile Robots Control in a Linear Platoon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 54(5), pp. 709-731, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Path following control, Reactive multiagent system, Mobile robots, Platooning |
12 | Zhigeng Pan, Xi Cheng, Wenzhi Chen, Gengdai Liu, Bing Tang |
Real time falling animation with active and protective responses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 25(5-7), pp. 487-497, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Reactive motion, Balance detection, Protective responses, Physics based modeling, Character animation |
12 | Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu 0001 |
Semantic Criteria for Choosing a Language for Big-Step Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009, pp. 181-190, 2009, IEEE Computer Society, 978-0-7695-3761-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Semantics of modelling languages, UML statemachines, big-step modelling languages, interactive systems, Statecharts, reactive systems, Synchronous languages |
12 | Aminu Mohammed, Mohamed Ould-Khaoua, Lewis M. Mackenzie, Colin Perkins, Jamal-Deen Abdulai |
Probabilistic counter-based route discovery for mobile ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 1335-1339, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
simulation, MANETs, flooding, reactive routing, route discovery, broadcast storm |
12 | Julian Gutierrez 0001 |
Logics and Bisimulation Games for Concurrency, Causality and Conflict. ![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. 48-62, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics |
12 | Hai Liu 0012, Eric Cheng, Paul Hudak |
Causal commutative arrows and their optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 35-46, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language |
12 | Robert van Herk, Janneke Verhaegh, Willem Fontijn |
ESPranto SDK: an adaptive programming environment for tangible applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 849-858, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software development kit, end-user programming, tangible interaction, reactive programming |
12 | Marko Boskovic, Wilhelm Hasselbring |
Model Driven Performance Measurement and Assessment with MoDePeMART. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 62-76, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Software Performance Measurement and Assessment, Transformational and Reactive Systems, Model Driven Engineering |
12 | Yadira Quiñonez, Javier de Lope Asiaín, Darío Maravall |
Cooperative and Competitive Behaviors in a Multi-robot System for Surveillance Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 437-444, 2009, Springer, 978-3-642-04771-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Evolutionary Algorithms, Artificial Neural Network, Surveillance, Multi-robot systems, Neurocontrollers, Reactive Behaviors |
12 | Ian Horswill |
Very fast action selection for parameterized behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDG ![In: Proceedings of the 4th International Conference on Foundations of Digital Games, FDG 2009, Orlando, Florida, USA, April 26-30, 2009, pp. 91-98, 2009, ACM, 978-1-60558-437-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reactive planning, agent architectures, behavior-based control |
12 | Kelly Androutsopoulos, David Clark 0001, Mark Harman, Zheng Li 0002, Laurence Tratt |
Control Dependence for Extended Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 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. 216-230, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reactive systems, slicing, control dependence, extended finite state machines |
12 | Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan |
On the Relationships between Notions of Simulation-Based Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 21(4), pp. 492-546, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus |
12 | Hyon-Young Choi, Sung-Gi Min, Kwang-Ryoul Kim, Youn-Hee Han, Hyo-Beom Lee |
Seamless handover scheme for proxy mobile IPv6 using smart buffering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobility Conference ![In: Proceedings of the 5th International Conference on Mobile Technology, Applications, and Systems, Mobility Conference 2008, Yilan, Taiwan, September 10-12, 2008, pp. 67, 2008, ACM, 978-1-60558-089-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
reactive handover, mobile IPv6, proxy mobile IPv6, PMIPv6, mobility support |
12 | Lina Peng, K. Selçuk Candan, Christopher B. Mayer, Karam S. Chatha, Kyung Dong Ryu |
Optimization of media processing workflows with adaptive operator behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 33(3), pp. 245-272, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Media-processing workflows, Sensory/reactive environments, Quality-cost tradeoff, Quality-delay tradeoff, Interactive arts |
12 | Georgios Exarchakos, Nick Antonopoulos |
Resource Sharing Architecture For Cooperative Heterogeneous P2P Overlays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Syst. Manag. ![In: J. Netw. Syst. Manag. 15(3), pp. 311-334, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Peer-to-peer, Heterogeneity, Reactive systems, Resource sharing |
12 | Eva Nieuwdorp |
The pervasive discourse: an analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Entertain. ![In: Comput. Entertain. 5(2), pp. 13, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
interactive and reactive computation, multi/mixed media, portable devices (e.g., laptops, personal digital assistants), research discourse, ubiquitous computing, pervasive computing, games, gaming, user-centered design, information theory, hardware, pervasive gaming, history of computing, interactive environment, terminology, discourse analysis, ubiquitous gaming |
12 | Fernando Montes-González |
The Coevolution of Robot Behavior and Central Action Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (2) ![In: Nature Inspired Problem-Solving Methods in Knowledge Engineering, Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II, pp. 439-448, 2007, Springer, 978-3-540-73054-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Reactive Robotics, Genetic Algorithms, Action Selection |
12 | Michael Zoumboulakis, George Roussos |
Escalation: Complex Event Detection in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSSC ![In: Smart Sensing and Context, Second European Conference, EuroSSC 2007, Kendal, England, UK, October 23-25, 2007, Proceedings, pp. 270-285, 2007, Springer, 978-3-540-75695-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Parameter-free Detection, Reactive Sensor Networks, Data Compression, Event Detection, Network Control, Complex Events |
|
|