Search results for "reactive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Robert J. Hall 0001	Rteq: modeling and validating infinite-state hard-real-time systems.	ASE	2007	DBLP DOI BibTeX RDF	GSTView, ISAT, OMML, openmodel, validation, reactive system, hard real time
12	Jamal-Deen Abdulai, Mohamed Ould-Khaoua, Lewis M. Mackenzie	Improving Probabilistic Route Discovery in Mobile Ad Hoc Networks.	LCN	2007	DBLP DOI BibTeX RDF	Forwarding Probability, Simulation, MANETs, Collision, Flooding, Overhead, Network Connectivity, Reactive Routing
12	Matthias Klusch, René Schubotz	Programming and simulation of quantum search agents.	AAMAS	2007	DBLP DOI BibTeX RDF	brokering and matchmaking, reactive and deliberative, architectures, agents, multiagent systems
12	John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith	Aborting tasks in BDI agents.	AAMAS	2007	DBLP DOI BibTeX RDF	reactive and deliberative, architectures, agents, formal models of agency
12	Brent E. Eskridge, Dean F. Hougen	Using priorities to simplify behavior coordination.	AAMAS	2007	DBLP DOI BibTeX RDF	reactive architecture, evolution
12	Greg Reeve, Steve Reeves	Logic and refinement for charts.	ACSC	2006	DBLP BibTeX RDF	ZC, refinement, logic, statecharts, reactive systems, Z
12	Joanna Berzowska, Marcelo Coelho	SMOKS: the memory suits.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	physical touch, reactive garments, wearable computing, electronic textiles
12	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis	Communication by sampling in time-sensitive distributed systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	distributed deployment, heterogeneous reactive systems, scheduling, tagged systems
12	Dennis Hofheinz, Dominique Unruh	Simulatable Security and Polynomially Bounded Concurrent Composability.	S&P	2006	DBLP DOI BibTeX RDF	Reactive Simulatability, Universal Composability, concurrent composition
12	Giacomo Bucci, Luigi Sassoli, Enrico Vicario	Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification
12	Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	Polynomial Runtime in Simulatability Definitions.	CSFW	2005	DBLP DOI BibTeX RDF	reactive simulatability, universal composability, multi-party computation
12	Lina Peng, Gisik Kwon, K. Selçuk Candan, Kyung Dong Ryu, Karam S. Chatha, Hari Sundaram, Yinpeng Chen	Media processing workflow design and execution with ARIA.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	multimodal art, realtime sensory/reactive environments, tools for creating interactive, multimedia, filtering, fusion
12	Bui Minh Duc	Uniform object modeling methodology and reuse of real-time system using UML.	EMSOFT	2005	DBLP DOI BibTeX RDF	UML design, induced energy, object message, reactive systems, modeling methodology, embedded real-time systems, object technology
12	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli	Tag machines.	EMSOFT	2005	DBLP DOI BibTeX RDF	distributed deployment, heterogeneous reactive systems, GALS, tagged systems
12	Joanna Berzowska	Memory rich clothing: second skins that communicate physical memory.	Creativity & Cognition	2005	DBLP DOI BibTeX RDF	history of use, physical memory, reactive garments, wearable computing, electronic textiles
12	Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat	Timed constraint programming: a declarative approach to usage control.	PPDP	2005	DBLP DOI BibTeX RDF	constraints, role-based access control, trust management, reactive systems, usage control
12	Chenn-Jung Huang, Wei Kuang Lai, Sheng-Yu Hsiao, Hao-Yu Liu, Rui-Lin Luo	A Bluetooth Routing Protocol Using Evolving Fuzzy Neural Networks.	Int. J. Wirel. Inf. Networks	2004	DBLP DOI BibTeX RDF	bluetooth scatternet, evolving fuzzy neural networks, Fuzzy logic, reactive routing, proactive routing, zone routing protocol
12	Elisa Bertino, Ahmed K. Elmagarmid, Mohand-Said Hacid	A Logical Approach to Quality of Service Specification in Video Databases.	Multim. Tools Appl.	2004	DBLP DOI BibTeX RDF	QoS mapping, constraint-based query languages, constraint satisfaction, reactive systems, video databases, multimedia presentations, constraint optimization, QoS parameters, QoS specification
12	Prince Samar, Marc R. Pearlman, Zygmunt J. Haas	Independent zone routing: an adaptive hybrid routing framework for ad hoc wireless networks.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	bordercast, hybrid routing, independent zone routing, multiscope routing, routing framework, routing zone, send zone, ad hoc network, adaptive routing, reactive routing, proactive routing, zone routing protocol
12	Wensong Chu, Charles J. Colbourn, Peter Dukes	Constructions for Permutation Codes in Powerline Communications.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	permutation array, constant composition code, reactive local search, heuristic search, permutation code, permutation polynomial
12	Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario	Timed State Space Analysis of Real-Time Preemptive Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	nondeterministic time parameters, timeliness predictability, Preemptive Time Petri Nets, reactive systems, multiprocessor schedulability, Hard real-time systems, interprocess communication, preemptive scheduling, state space analysis
12	Shree K. Nayar, Peter N. Belhumeur, Terrance E. Boult	Lighting sensitive display.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	illumination field, lighting sensitive display, reactive display, singular value decomposition and texture, virtual reality, principal component analysis, image-based rendering, Color, real-time rendering, shadowing, shading, light field, relighting, display algorithms, three-dimensional displays
12	Kenneth Webb, Tony White	Combining analysis and synthesis in a model of a biological cell.	SAC	2004	DBLP DOI BibTeX RDF	synthesis, analysis, reactive systems, autopoiesis, cell simulation
12	Daesub Yoon, N. Hari Narayanan	Mental imagery in problem solving: an eye tracking study.	ETRA	2004	DBLP DOI BibTeX RDF	mental imagery, reactive information display, empirical study, attentive user interface
12	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	A static analyzer for large safety-critical software.	PLDI	2003	DBLP DOI BibTeX RDF	verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
12	David A. Penry, David I. August	Optimizations for a simulator construction system supporting reusable components.	DAC	2003	DBLP DOI BibTeX RDF	synchronous-reactive, liberty simulation environment
12	Elizabeth Sara Gordon, Brian Logan 0001	A goal processing architecture for game agents.	AAMAS	2003	DBLP DOI BibTeX RDF	computer game agents, teleo-reactive programs, agent architectures
12	Keith L. Clark, Francis G. McCabe	Go! for multi-threaded deliberative agents.	AAMAS	2003	DBLP DOI BibTeX RDF	multi-threaded agents, multi-agent systems, logic programming, reactive programming
12	Gerard J. Holzmann, Margaret H. Smith	An Automated Verification Method for Distributed Systems Software Based on Model Extraction.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	call processing, model checking, formal methods, software testing, case studies, reactive systems, software verification, feature interaction
12	Gerardo Escobar, Alex M. Stankovic, Paolo Mattavelli, Romeo Ortega	On the Nonlinear Control of TCSC .	HICSS	2002	DBLP DOI BibTeX RDF	Series capacitive compensation, reactive power control, adaptive control, nonlinear systems
12	Robert C. Burke, Bruce Blumberg	Using an ethologically-inspired model to learn apparent temporal causality for planning in synthetic creatures.	AAMAS	2002	DBLP DOI BibTeX RDF	apparent temporal causality, ethology, planning, autonomous agents, reactive systems, synthetic characters, virtual creatures
12	Min-Jung Yoo	An industrial application of agents for dynamic planning and scheduling.	AAMAS	2002	DBLP DOI BibTeX RDF	reactive & pro-active behavior, stock planning, simulated annealing, dynamic scheduling, legacy software, agent interaction, disturbance
12	Soraia Raupp Musse, Daniel Thalmann	Hierarchical Model for Real Time Simulation of Virtual Human Crowds.	IEEE Trans. Vis. Comput. Graph.	2001	DBLP DOI BibTeX RDF	Crowd motion, degrees of autonomy, synthetic autonomous agents, virtual human crowds, behavioral animation, reactive behaviors
12	Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli	A Probabilistic Approach to Automatic Verification of Concurrent Systems.	APSEC	2001	DBLP DOI BibTeX RDF	Automatic Verification and Validation, Distributed Systems, Model Checking, Embedded Systems, Formal Methods, Reactive Systems, Concurrent Systems, Probabilistic Verification
12	K. Schneider, M. Wenz	A new method for compiling schizophrenic synchronous programs.	CASES	2001	DBLP DOI BibTeX RDF	code generation, reactive systems, synchronous languages
12	Sylvan Dissoubray, Bernard Dion	Design of an Automatic Teller Machine with Esterel Studio.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Esterel Studio, Graphical animation, Formal verification, Reactive systems, Automatic code generation
12	Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou	Efficient compilation of ESTEREL for real-time embedded systems.	CASES	2000	DBLP DOI BibTeX RDF	reactive applications, embedded systems, real-time, compilation, synchronous, automata, ESTEREL
12	Grégoire Hamon, Marc Pouzet	Modular resetting of synchronous data-flow programs.	PPDP	2000	DBLP DOI BibTeX RDF	hybrid systems, reactive systems, data-flow, functional languages, synchronous language
12	Ricardo Swain Oropeza, Michel Devy, Viviane Cadenat	Controlling the Execution of a Visual Servoing Task.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	reactive perception, nonholonomics, visual servoing, potential fields
12	Ed Brinksma	Cache Consistency by Design.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Caching protocols, Correctness preserving, Transformations, Process algebra, Reactive systems, Formal design
12	F. A. Jaberi, S. James	Effects of Chemical Reaction on Two-Dimensional Turbulence.	J. Sci. Comput.	1999	DBLP DOI BibTeX RDF	Turbulent reactive flows, two-dimensional turbulence, direct numerical simulation
12	Enrico Tronci	Formally Modeling a Metal Processing Plant and its Closed Loop Specifications.	HASE	1999	DBLP DOI BibTeX RDF	Model Checking, Formal Methods, Hybrid Systems, Reactive Systems, Control Systems, Discrete Event Systems, Supervisory Control, Manufacturing Systems, Finite State Systems
12	Jie Xu 0007, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke	Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.	FTCS	1999	DBLP DOI BibTeX RDF	coordinated atomic (CA) actions, reliability and safety, model checking, Concurrency, object orientation, formal verification, exception handling, reactive systems
12	Enrico Tronci	Automatic Synthesis of Control Software for an Industrial Automation Control System.	ASE	1999	DBLP DOI BibTeX RDF	Embedded Control Systems, Model Checking, Formal Methods, Hybrid Systems, Reactive Systems, Discrete Event Systems, Supervisory Control, Manufacturing Systems, Ordered Binary Decision Diagrams, Finite State Systems
12	Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon	Lutess: A Specification-Driven Testing Environment for Synchronous Software.	ICSE	1999	DBLP DOI BibTeX RDF	synchronous reactive software, automated testing, operational profiles, Lustre, telecommunications systems, behavioral patterns
12	Gerard J. Holzmann, Margaret H. Smith	A Practical Method for Verifying Event-Driven Software.	ICSE	1999	DBLP DOI BibTeX RDF	telephone call processing, model checking, formal methods, software testing, case studies, reactive systems, software verification, feature interactive
12	Hongxue Wang, Vijay Varadharajan, John K. Slaney	Towards Perfect Objects.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	extended object model, constraint, rules, identity, active, goal, autonomous, trigger, reactive
12	Fernando Matía, Agustín Jiménez	Multisensor Fusion: An Autonomous Mobile Robot.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	integration, mobile robotics, sensor fusion, autonomous systems, localisation, artificial vision, map building, reactive navigation
12	Fernando Matía, R. Sanz, Eugenio Andrés Puente	Increasing Intelligence in Autonomous Wheelchairs.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	handicapped users, health care services, mobile robotics, autonomous systems, teleoperation, intelligent control, wheelchairs, reactive navigation
12	En-Hsin Huang, Tzilla Elrad	Scheduling control mechanisms for managing indeterminate object behavior.	SAC	1998	DBLP DOI BibTeX RDF	real-time and reactive systems, scheduling controls, adaptability, intelligence, non-determinism
12	Guillaume Beslon, Frédérique Biennier, Béat Hirsbrunner	Multi-Robot Path-Planning Based on Implicit Cooperation in a Robotic Swarm.	Agents	1998	DBLP DOI BibTeX RDF	implicit cooperation, material handling system, reactive agents, manufacturing, swarm
12	Jean Paul Calvez, Olivier Pasquier, James K. Peckol	Software Implementation Techniques for Hw/Sw Embedded Systems.	CODES	1997	DBLP DOI BibTeX RDF	Real-time software implementation, Multi-rate reactive systems, Multi-task software optimization, Embedded software, Dynamic scheduling, Software synthesis
12	Pai H. Chou, Gaetano Borriello	Software Architecture Synthesis for Retargetable Real-time Embedded Systems.	CODES	1997	DBLP DOI BibTeX RDF	control-dominated, software architecture synthesis, embedded systems, reactive systems, Run-time systems, real-time constraints
12	Mats Per Erik Heimdahl, Nancy G. Leveson	Completeness and Consistency in Hierarchical State-Based Requirements.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	state-based requirements, formal methods, static analysis, consistency, Completeness, reactive systems, formal semantics
12	David Harel, Amnon Naamad	The STATEMATE Semantics of Statecharts.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	semantics, statechart, reactive system, behavioral modeling, STATEMATE
12	Joanne M. Atlee, Michael A. Buckley	A Logic-Model Semantics for SCR Software Requirements.	ISSTA	1996	DBLP DOI BibTeX RDF	model checking, reactive systems, formal semantics, software requirements
12	Rocco De Nicola, Frits W. Vaandrager	Three Logics for Branching Bisimulation.	J. ACM	1995	DBLP DOI BibTeX RDF	Hennessy-Milner logic, backward modalities, branching bisimulation equivalence, doubly labeled transition systems, stuttering equivalence, until operations, semantics, concurrency, reactive systems, labeled transition systems, Kripke structures, CTL*
12	Monika Rauch Henzinger, Thomas A. Henzinger, Peter W. Kopke	Computing Simulations on Finite and Infinite Graphs.	FOCS	1995	DBLP DOI BibTeX RDF	simulations computing, infinite graphs, finite graphs, labeled graphs, reactive systems verification, O(mn) algorithm, symbolic similarity-checking procedure, 2D rectangular automata, continuous environments, model-checking problem, graph theory, decidability, decidability, automata theory, similarity relations
12	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001	Default Timed Concurrent Constraint Programming.	POPL	1995	DBLP DOI BibTeX RDF	constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency
12	Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs	Data-Flow Synchronous Languages.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	synchrony vs. asynchrony, real-time, concurrency, data-flow, reactive
12	David Harel, Chaim-Arie Kahana	On Statecharts with Overlapping.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	higraphs, visual language, statecharts, reactive systems
12	Jonah Z. Lavi, Michael Winokur	Development of a Method Driven CAS2E Tool.	Software Development Environments and CASE Technology	1991	DBLP DOI BibTeX RDF	ECSAM, Embedded Computer Systems, Multi-systems, Design, Specification, Requirements, Software, Dynamic, Systems, Statecharts, Reactive Systems, CASE, Executable specifications, Computer Based Systems Engineering, Event Driven Systems, Statemate
12	Rajeev Alur, Thomas A. Henzinger	A Really Temporal Logic	FOCS	1989	DBLP DOI BibTeX RDF	model-checking algorithm, really temporal logic, TPTL, natural specification language, tableau-based decision procedure, verification, specification, synthesis, reactive systems, formalism, quantifiers, temporal operators
12	Howard Barringer, Michael Fisher 0001, Dov M. Gabbay, Graham Gough, Richard Owens	METATEM: A Framework for Programming in Temporal Logic.	REX Workshop	1989	DBLP DOI BibTeX RDF	Non-procedural Languages, Verification, Specification, Logic Programming, Prototyping, Synthesis, Reactive Systems, Rule-based Systems, Mechanical Verification, Modal and Temporal Logics
12	Kim Guldstrand Larsen	Compositional Theories Based on an Operational Semantics of Contexts.	REX Workshop	1989	DBLP DOI BibTeX RDF	Classification of Compositionality, Contexts as Transducers, Relative Bisimulation, Recursive Modal Logic, Weakest Property Transformer, Process Algebra, Bisimulation, Reactive Systems, Environments, Compositionality
11	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
11	Ruggero Lanotte, Simone Tini	Probabilistic bisimulation as a congruence.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	probabilistic process algebra, transition rule format, Bisimulation, congruence
11	Budhitama Subagdja, Liz Sonenberg, Iyad Rahwan	Intentional learning agent architecture.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	BDI agent architecture, Machine learning, Plans, Autonomous agents, Abduction
11	Juan Zhou, Shouming Chen	Reinforcement Learning Based Web Service Compositions for Mobile Business.	WISM	2009	DBLP DOI BibTeX RDF
11	Christian Bühler	Ambient Intelligence in Working Environments.	HCI (6)	2009	DBLP DOI BibTeX RDF	Ambient Assisted Working, Higher Age, Accessibility, Information technologies, Ambient Intelligence, Universal Design, Work
11	Michal Gordon, David Harel	Generating Executable Scenarios from Natural Language.	CICLing	2009	DBLP DOI BibTeX RDF
11	Ali Diab 0001, Andreas Mitschele-Thiel	Comparative analysis of proxy MIPv6 and fast MIPv6.	MOBIWAC	2009	DBLP DOI BibTeX RDF	network-based mobility management, proxy mip
11	Karl E. Persson, D. Manivannan 0001	Hybrid Bluetooth Scatternet Routing.	UIC	2009	DBLP DOI BibTeX RDF	Bluetooth Networks, Zone Routing, Service Discovery, Gossiping, Hybrid, Personal Area Networks, Scatternet, Piconet
11	Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak	Opis: reliable distributed systems in OCaml.	TLDI	2009	DBLP DOI BibTeX RDF	distributed systems, model checking, functional programming, arrows
11	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	L2C2: logic-based LSC consistency checking.	PPDP	2009	DBLP DOI BibTeX RDF	play-tree, logic programming, memoization, live sequence chart (lsc), scenario-based programming
11	Yuh-Jong Hu, Ching-Long Yeh, Wolfgang Laun	Challenges for Rule Systems on the Web.	RuleML	2009	DBLP DOI BibTeX RDF
11	Michael F. Mc Bride, T. Martin McGinnity, Liam P. Maguire	Robospike Sensory Processing for a Mobile Robot Using Spiking Neural Networks.	ICANN (2)	2009	DBLP DOI BibTeX RDF	Sensory Processing, Liquid State Machines, Spiking Neural Network, Cortical Columns
11	Hillel Kugler, Cory Plock, Amir Pnueli	Controller Synthesis from LSC Requirements.	FASE	2009	DBLP DOI BibTeX RDF
11	David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock	Architecture for Hybrid Robotic Behavior.	HAIS	2009	DBLP DOI BibTeX RDF	software engineering, software architecture, finite state machines, software patterns, Non-monotonic logics
11	Eric Aaron, Henny Admoni	A Framework for Dynamical Intention in Hybrid Navigating Agents.	HAIS	2009	DBLP DOI BibTeX RDF
11	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
11	Giovanni Pezzulo, Martin V. Butz, Cristiano Castelfranchi, Rino Falcone	Introduction: Anticipation in Natural and Artificial Cognition.	The Challenge of Anticipation	2008	DBLP DOI BibTeX RDF
11	Subash Shankar, Masahiro Fujita	Rule-Based Approaches for Equivalence Checking of SpecC Programs.	MEMOCODE	2008	DBLP DOI BibTeX RDF
11	Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin	On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.	MEMOCODE	2008	DBLP DOI BibTeX RDF
11	Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet	From Data to Events: Checking Properties on the Control of a System.	MEMOCODE	2008	DBLP DOI BibTeX RDF
11	Sherif M. Khattab, Daniel Mossé, Rami G. Melhem	Modeling of the channel-hopping anti-jamming defense in multi-radio wireless networks.	MobiQuitous	2008	DBLP DOI BibTeX RDF
11	Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi	Comparing Maintenance Strategies for Overlays.	PDP	2008	DBLP DOI BibTeX RDF	Peer-To-Peer, DHTs, Analytical Modelling, Master Equations
11	Jens R. Calamé, Jaco van de Pol	Applying Model-Based Testing to HTML Rendering Engines - A Case Study.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
11	Rolando Blanco, Jun Wang, Paulo S. C. Alencar	A metamodel for distributed event based systems.	DEBS	2008	DBLP DOI BibTeX RDF	software modularization and composition
11	Luis Martinez-Gomez, Thierry Fraichard	An efficient and generic 2D Inevitable Collision State-checker.	IROS	2008	DBLP DOI BibTeX RDF
11	Plínio de Sá Leitão Júnior, Plínio Roberto Souza Vilela, Mário Jino	Data Flow Testing of SQL-Based Active Database Applications.	ICSEA	2008	DBLP DOI BibTeX RDF
11	Michele Nogueira Lima, Helber Wagner da Silva, Aldri L. dos Santos, Guy Pujolle	Survival multipath routing for MANETs.	NOMS	2008	DBLP DOI BibTeX RDF
11	Eugene Syriani, Hans Vangheluwe	Programmed Graph Rewriting with Time for Simulation-Based Design.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
11	Jean-Pierre Müller	Towards a Formal Semantics of Event-Based Multi-agent Simulations.	MABS	2008	DBLP DOI BibTeX RDF
11	César Sánchez 0001, Matteo Slanina, Henny B. Sipma, Zohar Manna	The Reaction Algebra: A Formal Language for Event Correlation.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
11	Elsa Liliana Tovar, Maria-Esther Vidal	Magic Rewritings for Efficiently Processing Reactivity on Web Ontologies.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF	Active Knowledge, Magic Set rewritings, Ontology
11	Yong Duan, Baoxia Cui, Huaiqing Yang	Robot Navigation Based on Fuzzy RL Algorithm.	ISNN (1)	2008	DBLP DOI BibTeX RDF	T-S fuzzy neural network, Reinforcement learning, Q-learning, Robot navigation
11	Yikun Zhang, Timothy X. Brown	Aisle Routing for Mobile Ad Hoc Networks.	WCNC	2008	DBLP DOI BibTeX RDF
11	Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov	Verification of COMDES-II Systems Using UPPAAL with Model Transformation.	RTCSA	2008	DBLP DOI BibTeX RDF
11	Emrah Bayraktaroglu, Christopher King, Xin Liu, Guevara Noubir, Rajmohan Rajaraman, Bishal Thapa	On the Performance of IEEE 802.11 under Jamming.	INFOCOM	2008	DBLP DOI BibTeX RDF