|
|
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 |
27 | Sergio Sáez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo |
Implementing Reactive Systems with UML State Machines and Ada 2005. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
Behavioral State Machines, Embedded Systems, Code Generation, Reactive Systems, Ada 2005 |
27 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Composing heterogeneous reactive systems. |
ACM Trans. Embed. Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
correct-by-construction design, reactive systems, Compositionality, models of computation, GALS |
27 | Olivier Lambrechts, Erik Demeulemeester, Willy Herroelen |
Proactive and reactive strategies for resource-constrained project scheduling with uncertain resource availabilities. |
J. Sched. |
2008 |
DBLP DOI BibTeX RDF |
Proactive/reactive project scheduling, Stochastic resource breakdowns |
27 | Niaz A. Wassan, A. Hameed Wassan, Gábor Nagy 0001 |
A reactive tabu search algorithm for the vehicle routing problem with simultaneous pickups and deliveries. |
J. Comb. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Pickups and deliveries, Reactive tabu search, Heuristic, Vehicle routing |
27 | Sungil Kim, Yoo Chul Chung, Yangwoo Ko, Dongman Lee |
A Reactive Local Positioning System for Ad Hoc Networks. |
SUTC |
2008 |
DBLP DOI BibTeX RDF |
local coordinate system, mobile, ad-hoc, positioning, reactive |
27 | Hillel Kugler, Cory Plock, Amir Pnueli |
Synthesizing reactive systems from LSC requirements using the play-engine. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
reactive systems, live sequence charts, controller synthesis |
27 | Vasu S. Alagar, Mubarak Mohammad |
Specification and verification of trustworthy component-based real-time reactive systems. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
components, trustworthiness, real-time reactive systems |
27 | Saeed Jalili, Mehdi MirzaAghaei |
RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach. |
SERA |
2007 |
DBLP DOI BibTeX RDF |
Runtime Verification (RV), Real-time and Reactive Program, Event-based Real-Time Logic (ERL), Aspect- Oriented Approach |
27 | Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits |
Synthesis of test purpose directed reactive planning tester for nondeterministic systems. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
nondeterministic extended finite state machine, reactive planning, model-based testing, online testing |
27 | Franck Gechter, Vincent Chevrier, François Charpillet |
A reactive agent-based problem-solving model: Application to localization and tracking. |
ACM Trans. Auton. Adapt. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Reactive multi-agent systems, localization, tracking, mobile robots |
27 | Alain Girault, Xavier Nicollin, Marc Pouzet |
Automatic rate desynchronization of embedded reactive programs. |
ACM Trans. Embed. Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Embedded programs, long-duration tasks, parallelization algorithm, reactive systems, desynchronization, automatic distribution |
27 | Shoichi Hasegawa, Ishikawa Toshiaki, Naoki Hashimoto, Marc Salvati, Hironori Mitake, Yasuharu Koike, Makoto Sato |
Human-scale haptic interaction with a reactive virtual human in a real-time physics simulator. |
Comput. Entertain. |
2006 |
DBLP DOI BibTeX RDF |
reactive virtual human, haptic interaction, physics simulator |
27 | Vina Ermagan, Ingolf Krüger, Massimiliano Menarini |
Model-Based Failure Management for Distributed Reactive Systems. |
Monterey Workshop |
2006 |
DBLP DOI BibTeX RDF |
Failure Management, Ontology, Distributed Systems, Reactive Systems |
27 | Chunyu Hu, Jennifer C. Hou |
A reactive channel model for expediting wireless network simulation. |
SIGMETRICS |
2005 |
DBLP DOI BibTeX RDF |
scalability, network simulation, reactive, channel model |
27 | Henrik Nilsson |
Dynamic optimization for functional reactive programming using generalized algebraic data types. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows |
27 | Asaf Adi, Opher Etzion, Dagan Gilat, Royi Ronen, Guy Sharon, Inna Skarbovsky |
Reactive rules inference from dynamic dependency models. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
active systems, reactive rules, relationships between entities, active databases, event correlation, rule engine, dependency models |
27 | Cristina Cerschi Seceleanu, Tiberiu Seceleanu |
Modular Design of Reactive Systems. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
Concurrency, Reactive systems, Modular design, Action systems |
27 | Jan Carlson, Björn Lisper |
An event detection algebra for reactive systems. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
event algebra, reactive systems, event detection, resource-efficiency |
27 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, GALS |
27 | Cristina Urdiales, Eduardo J. Pérez, Francisco Sandoval Hernández |
A Time Stamp Control Strategy for CBR Based Reactive Navigation in Dynamic Environments with Priorities. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
mobile obstacles, case-based reasoning, layered architecture, reactive navigation |
27 | Robert J. Hall 0001 |
A Supermodel Framework Supporting Validated Upgrading of Reactive Systems. |
Autom. Softw. Eng. |
2003 |
DBLP DOI BibTeX RDF |
supermodel, validation, evolution, reactive system, upgrading |
27 | Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black |
Reactive Objects. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
concurrency, object-oriented, programming model, reactive, event-based |
27 | David Servat, Alexis Drogoul |
Combining amorphous computing and reactive agent-based systems: a paradigm for pervasive intelligence?. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
reactive MAS, pervasive computing, self-organization |
27 | Araceli Sanchis, José M. Molina 0001, Pedro Isasi, Javier Segovia |
RTCS: a Reactive with Tags Classifier System. |
J. Intell. Robotic Syst. |
2000 |
DBLP DOI BibTeX RDF |
genetic learning, robotics, reactive systems, behavior, classifier systems |
27 | Vangalur S. Alagar, D. Muthiayen |
Towards a mechanical verification of real-time reactive systems modeled in UML. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
Prototype Verification System, real-time systems, UML, Unified Modeling Language, formal specification, object-oriented programming, program verification, specification languages, PVS, notation, safety-critical applications, mechanical verification, real-time reactive systems, design analysis, object-based systems |
27 | Paul Caspi, Alain Girault, Daniel Pilaud |
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
distributed processing, reactive systems, Asynchronous communications, synchronous languages, automatic distribution |
27 | Frédéric Bertrand, Michel Augeraud |
BDL: A Specialized Language for Per-Object Reactive Control. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
control of behavior, reactive languages, verification, Concurrent object-oriented programming |
27 | Massimo Bernaschi, Sauro Succi, Gino Bella, Hudong Chen |
Digital Physics Simulations of Reactive Flow in a Catalytic Converter. |
J. Sci. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Kinetic theory, Digital Physics, reactive flows |
27 | Antonis A. Argyros, Fredrik Bergholm |
Combining Central and Peripheral Vision for Reactive Robot Navigation. |
CVPR |
1999 |
DBLP DOI BibTeX RDF |
Reactive robot navigation, Flow balancing, Peripheral vision |
27 | Soong Hee Lee |
A Reactive Access Control Scheme at UNI for Congestion Control in ATM-Based B-ISDN. |
LCN |
1996 |
DBLP DOI BibTeX RDF |
reactive access control scheme, UNI, ATM-based B-ISDN, active traffic sources, feedback traffic, GFC field, B-NT system, network congestion state, probability of overflow, node output buffer, generic flow control, broadband network termination, user network interface, performance evaluation, asynchronous transfer mode, congestion control, computer simulation |
27 | Paul Caspi, Alain Girault |
Execution of Distributed Reactive Systems. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
parallel computing, reactive system, synchronous language, program interface |
26 | Nigamanth Sridhar, Jason O. Hallstrom |
A specification idiom for reactive systems. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Alva L. Couch, Marc Chiarini |
Combining Learned and Highly-Reactive Management. |
MACE |
2009 |
DBLP DOI BibTeX RDF |
convergent operators, computer immunology, Cfengine, autonomic computing, self-organizing systems, emergent properties |
26 | Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki |
Emergent Properties in Reactive Systems. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Mikhail Auguston, Mark B. Trakhtenbrot |
Synthesis of Monitors for Real-Time Analysis of Reactive Systems. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Sibo Yang, Franck Gechter, Abderrafiaa Koukam |
Application of Reactive Multi-agent System to Vehicle Collision Avoidance. |
ICTAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | David Harel, Itai Segall, Hillel Kugler, Yaki Setty |
Crafting game-models using reactive system design. |
Future Play |
2008 |
DBLP DOI BibTeX RDF |
simulators, game design, statecharts, systems biology, live sequence charts |
26 | Nilgün Fescioglu-Ünver, Mieczyslaw M. Kokar |
Application of Self Controlling Software Approach to Reactive Tabu Search. |
SASO |
2008 |
DBLP DOI BibTeX RDF |
|
26 | José Júlio Alferes, Ricardo Amador |
r 3- A Foundational Ontology for Reactive Rules. |
OTM Conferences (1) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Sanjit A. Seshia |
Autonomic Reactive Systems via Online Learning. |
ICAC |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Vijay D'Silva, Sampada Sonalkar, S. Ramesh |
Existential abstractions for distributed reactive systems via syntactic transformations. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Consolee Mbarushimana, Alireza Shahrabi |
Comparative Study of Reactive and Proactive Routing Protocols Performance in Mobile Ad Hoc Networks. |
AINA Workshops (2) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Andrew Viquerat, Lachlan Blackhall, Alistair Reid 0001, Salah Sukkarieh, Graham M. Brooker |
Reactive Collision Avoidance for Unmanned Aerial Vehicles Using Doppler Radar. |
FSR |
2007 |
DBLP DOI BibTeX RDF |
|
26 | José-Luis Blanco, Javier González 0001, Juan-Antonio Fernández-Madrigal |
The Trajectory Parameter Space (TP-Space): A New Space Representation for Non-Holonomic Mobile Robot Reactive Navigation. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Gérard P. Huet, Benoît Razet |
The Reactive Engine for Modular Transducers. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Debdeep Banerjee, Jeffrey Tweedale |
Reactive (Re) Planning Agents in a Dynamic Environment. |
Intelligent Information Processing |
2006 |
DBLP DOI BibTeX RDF |
BDI agent, AI planning |
26 | Jianxue Wang, Weichao Wang, Xifan Wang, Haoyong Chen, Xiuli Wang |
Cooperative Co-evolutionary Approach Applied in Reactive Power Optimization of Power System. |
ICNC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Zoran A. Salcic, Flavius Gruian, Partha S. Roop, Alif Wahid |
A Scheduler Support Unit for Reactive Microprocessors. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi |
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Thomas T. Hildebrandt, Henning Niss, Martin Olsen |
Formalising Business Process Execution with Bigraphs and Reactive XML. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Abraham Sánchez López, Rodrigo Cuautle, René Zapata, Maria A. Osorio |
A Reactive Lazy PRM Approach for Nonholonomic Motion Planning. |
IBERAMIA-SBIA |
2006 |
DBLP DOI BibTeX RDF |
Nonholonomic motion planning, deformable virtual zone, lazy PRM |
26 | Sol Efroni, David Harel, Irun R. Cohen |
Reactive Animation: Realistic Modeling of Complex Dynamic Systems. |
Computer |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe |
Quasi-static scheduling of independent tasks for reactive systems. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Eduardo Izquierdo-Torres, Ezequiel A. Di Paolo |
Is an Embodied System Ever Purely Reactive? |
ECAL |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Craig B. Zilles, Naveen Neelakantam |
Reactive Techniques for Controlling Software Speculation. |
CGO |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Robert M. Harlan, Shelley McClarigan |
Creating emergent behaviors: two robotics labs that combine reactive behaviors. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
robotics laboratory assignments, emergent behavior, behavior-based robotics |
26 | César Sánchez 0001, Matteo Slanina, Henny B. Sipma, Zohar Manna |
Expressive Completeness of an Event-Pattern Reactive Programming Language. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Dagan Gilat, Royi Ronen, Ron Rothblum, Guy Sharon, Inna Skarbovsky |
Reactive Rules-Based Dependency Resolution for Monitoring Dynamic Environments. |
RuleML |
2005 |
DBLP DOI BibTeX RDF |
|
26 | James Bailey 0001, François Bry, Michael Eckert, Paula-Lavinia Patranjan |
Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web. |
RuleML |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jingde Cheng |
Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems. |
AINA |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas |
Reactive Spin-locks: A Self-tuning Approach. |
ISPAN |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Artur Zawlocki |
Architectural Specifications for Reactive Systems. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Florence Maraninchi, Lionel Morel |
Logical-Time Contracts for Reactive Embedded Components. |
EUROMICRO |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Woong Choi, Seung Zoo Jeong, Naoki Hashimoto, Syouichi Hasegawa, Yasuharu Koike, Makoto Sato |
A Development and Evaluation of Reactive Motion Capture System with Haptic Feedback. |
FGR |
2004 |
DBLP DOI BibTeX RDF |
|
26 | XuanTung Hoang, Soyeon Ahn, Namhoon Kim, Hyungkeun Lee |
Efficient Route Discovery for Reactive Routing Protocols with Lazy Topology Exchange and Condition Bearing Route Discovery. |
ICOIN |
2004 |
DBLP DOI BibTeX RDF |
|
26 | David Harel |
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Faisal Qureshi 0001, Demetri Terzopoulos, Ross Gillett |
The Cognitive Controller: A Hybrid, Deliberative/Reactive Control Architecture for Autonomous Robots. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Shay Kutten, Boaz Patt-Shamir |
Adaptive Stabilization of Reactive Protocols. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Ross Buhrdorf, Dale Churchett, Charles W. Krueger |
Salion's Experience with a Reactive Software Product Line Approach. |
PFE |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Prahladavaradan Sampath |
Multi-agent Reactive Systems. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng |
Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Butenweg |
Two Distributed Reactive MPLS Traffic Engineering Mechanisms for Throughput Optimization in Best Effort MPLS Networks. |
ISCC |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Rik Eshuis, Roel J. Wieringa |
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Mykel J. Kochenderfer |
Evolving Hierarchical and Recursive Teleo-reactive Programs through Genetic Programming. |
EuroGP |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Gabriel Pires, Urbano Nunes |
A Wheelchair Steered through Voice Commands and Assisted by a Reactive Fuzzy-Logic Controller. |
J. Intell. Robotic Syst. |
2002 |
DBLP DOI BibTeX RDF |
voice human-machine interface, behaviour-based architecture, fuzzy control, shared control |
26 | Zoran A. Salcic, Partha S. Roop, Morteza Biglari-Abhari, Abbas Bigdeli |
REFLIX: A Processor Core for Reactive Embedded Applications. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Prahladavaradan Sampath |
Modelling Multi-agent Reactive Systems. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Roel J. Wieringa, David N. Jansen |
Techniques for Reactive System Design: The Tools in TRADE. |
CAiSE |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Zambroni de Souza, Fernando Alvarado, Mevludin Glavic |
The Effect of Loading on Reactive Market Power. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jian Lu |
Reactive and Proactive Approaches to Media Streaming: From Scalable Coding to Content Delivery Networks. |
ITCC |
2001 |
DBLP DOI BibTeX RDF |
Media streaming, content delivery network, scalable coding |
26 | Olivier Sigaud, Pierre Gérard |
Being Reactive by Exchanging Roles: An Empirical Study. |
Balancing Reactivity and Social Deliberation in Multi-Agent Systems |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Marc S. Atkin, David L. Westbrook, Paul R. Cohen |
HAC: A Unified View of Reactive and Deliberative Activity. |
Balancing Reactivity and Social Deliberation in Multi-Agent Systems |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Olivier Simonin 0001, Jacques Ferber |
Reactive Real-Time Cooperation as a Combination of Altruism and Self Satisfaction. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Zhanyong Wan, Paul Hudak |
Functional reactive programming from first principles. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Claudio de la Riva, Javier Tuya, José Ramón de Diego |
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Elpida Tzafestas |
Reactive Robots in the Service of Production Management. |
J. Intell. Robotic Syst. |
1998 |
DBLP DOI BibTeX RDF |
motivational autonomy, reactivity, operationality, behavior-based robotics |
26 | José Ramírez |
Neural Synthesis of Teleo-Reactive Programs. |
ICMAS |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Youngsoo Shin, Kiyoung Choi |
Rate Assignment for Embedded Reactive Real-Time Systems. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Gérard Berry, S. Ramesh 0001, R. K. Shyamasundar |
Communicating Reactive Processes. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
CSP, CSP |
26 | Neel Madhav, Sigurd Meldal |
An object-oriented approach to formal specification of reactive systems. |
ICDCS |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Amir Pnueli |
Linear and Branching Structures in the Semantics and Logics of Reactive Systems. |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
23 | Gwenaël Delaval, Hervé Marchand, Éric Rutten |
Contracts for modular discrete controller synthesis. |
LCTES |
2010 |
DBLP DOI BibTeX RDF |
adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming |
23 | Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg 0002, Aleks Bromfield, Shriram Krishnamurthi |
Flapjax: a programming language for Ajax applications. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
javascript, web programming, functional reactive programming |
23 | Reinhard von Hanxleden |
SyncCharts in C: a proposal for light-weight, deterministic concurrency. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming |
23 | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi |
A framework for abstract interpretation of timed concurrent constraint programs. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi |
23 | George Giorgidze, Henrik Nilsson |
Switched-On Yampa. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
synchronous dataflow languages, hybrid systems, computer music, Functional Reactive Programming |
23 | Kristopher J. Blom, Steffi Beckhaus |
Supporting the creation of dynamic, interactive virtual environments. |
VRST |
2007 |
DBLP DOI BibTeX RDF |
dynamic virtual environments, virtual reality, interactive, functional reactive programming |
23 | Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden |
HW/SW co-design for Esterel processing. |
CODES+ISSS |
2007 |
DBLP DOI BibTeX RDF |
reactive processing, synchronous languages, Esterel, HW/SW co-design |
23 | Hoang Nam Chu, Arnaud Glad, Olivier Simonin 0001, François Sempé, Alexis Drogoul, François Charpillet |
Swarm Approaches for the Patrolling Problem, Information Propagation vs. Pheromone Evaporation. |
ICTAI (1) |
2007 |
DBLP DOI BibTeX RDF |
Multi-agent patrolling, reactive multi- agents system, digital pheromones |
23 | Fernando Luís Dotti, Leila Ribeiro 0001, Osmar Marchi dos Santos, Fábio Pasini |
Verifying Object-based Graph Grammars. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
Partial systems, Model checking, Reactive systems, Graph grammars, Object-based systems |
Displaying result #201 - #300 of 8616 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|