Search results for "reactivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Alessandra Carbone, Chengde Mao, Pamela E. Constantinou, Baoquan Ding, Jens Kopatsch, William B. Sherman, Nadrian C. Seeman	3D Fractal DNA Assembly from Coding, Geometry and Protection.	Nat. Comput.	2004	DBLP DOI BibTeX RDF	coding of times, DNA 3D assembly, DNA protection, geometry of tiles, Sierpinski cube, tiling, DNA nanotechnology, DNA molecules
12	Marc Aldebert, Marc Ivaldi, Chantal Roucolle	Telecommunications Demand and Pricing Structure: An Econometric Analysis.	Telecommun. Syst.	2004	DBLP DOI BibTeX RDF	system of demand, pricing structure, welfare analysis, telecommunications
12	Thomas A. Henzinger	Embedded Software: Better Models, Better Code.	ICATPN	2004	DBLP DOI BibTeX RDF
12	Barry Norton, Matt Fairtlough	Reactive Types for Dataflow-Oriented Software Architectures.	WICSA	2004	DBLP DOI BibTeX RDF
12	Guillaume Chelius, Claude Chaudet	Handoff Notification in Wireless Hybrid Networks.	MWCN	2004	DBLP DOI BibTeX RDF	ad hoc networks, hybrid networks, micro-mobility
12	Pascal Glardon, Ronan Boulic, Daniel Thalmann	PCA-Based Walking Engine Using Motion Capture Data.	Computer Graphics International	2004	DBLP DOI BibTeX RDF
12	Ronny Hartanto, Frank Schönherr, Michael Mock, Joachim Hertzberg	Target-Oriented Mobile Robot Behaviors for Office Navigation Tasks.	WSTFEUS	2004	DBLP DOI BibTeX RDF
12	Wolfgang May, José Júlio Alferes, François Bry	Towards Generic Query, Update, and Event Languages for the Semantic Web.	PPSWR	2004	DBLP DOI BibTeX RDF
12	Rajesh Gupta 0001, R. K. Shyamasundar	Reactive Framework for Resource Aware Distributed Computing.	ASIAN	2004	DBLP DOI BibTeX RDF
12	Jun Hu, Ji Gao, Huang Zhongchao, Bei Shui Liao, Changyun Li, Jiu Jun Chen	A new rational model of agent for autonomic computing.	SMC (6)	2004	DBLP DOI BibTeX RDF
12	Lambert Schomaker	Anticipation in cybernetic systems: a case against mindless anti-representationalism.	SMC (2)	2004	DBLP DOI BibTeX RDF
12	Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi	Rethinking agent roles: extending the role definition in the BRAIN framework.	SMC (6)	2004	DBLP DOI BibTeX RDF
12	Nadia Hamani, Nathalie Dangoumau, Etienne Craye	A formal approach for reactive mode handling.	SMC (5)	2004	DBLP DOI BibTeX RDF
12	Takumi Nisikata, Tomohiro Kimura, Hajime Sawamura	Energizing Soccer Agents by Argumentation.	IAT	2004	DBLP DOI BibTeX RDF
12	Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni	Abductive Logic Programming with CIFF: System Description.	JELIA	2004	DBLP DOI BibTeX RDF
12	David Harel	A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal.	VMCAI	2004	DBLP DOI BibTeX RDF
12	Gary S. H. Tan, K. C. Lim	Load Distribution Services in HLA.	DS-RT	2004	DBLP DOI BibTeX RDF
12	Tae-Hyung Kim, Seongsoo Hong	State Machine Based Operating System Architecture for Wireless Sensor Networks.	PDCAT	2004	DBLP DOI BibTeX RDF
12	Vincenzo Manca, Luca Bianco, Federico Fontana	Evolution and Oscillation in P Systems: Applications to Biological Phenomena.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
12	Vincent Portigliatti, Laurent Philippe 0001	Java Components with constraints and preferences in automatic administration of execution and placement.	PDP	2003	DBLP DOI BibTeX RDF
12	Franck Barbier, Nicolas Belloir, Jean-Michel Bruel	Incorporation of Test Functionality into Software Components.	ICCBSS	2003	DBLP DOI BibTeX RDF
12	Carlos Carrascosa, Miguel Rebollo, Vicente Julián, Vicente J. Botti	Deliberative Server for Real-Time Agents.	CEEMAS	2003	DBLP DOI BibTeX RDF
12	Venkatraman Ramakrishna, Max Robinson, Kevin Eustice, Peter L. Reiher	An Active Self-Optimizing Multiplayer Gaming Architecture.	Active Middleware Services	2003	DBLP DOI BibTeX RDF
12	Yumi Yamaguchi, Takayuki Itoh	Visualization of Distributed Processes Using "Data Jewelry Box" Algorithm.	Computer Graphics International	2003	DBLP DOI BibTeX RDF
12	Andrea Bonarini, Matteo Matteucci, Marcello Restelli	Filling the Gap among Coordination, Planning, and Reaction Using a Fuzzy Cognitive Model.	RoboCup	2003	DBLP DOI BibTeX RDF
12	András A. Benczúr, Uwe Glässer, Tamás Lukovszki	Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
12	John Burns 0001, Heather J. Ruskin	A Model of Immune Suppression and Repertoire Evolution.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
12	Jürgen Sauer 0001, Hans-Jürgen Appelrath	Scheduling the Supply Chain by Teams of Agents.	HICSS	2003	DBLP DOI BibTeX RDF
12	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
12	Lihua Wang, Stephen John Turner, Fang Wang	Interest Management in Agent-Based Distributed Simulations.	DS-RT	2003	DBLP DOI BibTeX RDF
12	David Harel, Orna Kupferman	On Object Systems and Behavioral Inheritance.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	object systems, trace containment, simulation, verification, inheritance, Object-oriented analysis and design
12	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
12	Nick Savoiu, Sandeep K. Shukla, Rajesh K. Gupta 0001	Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation.	DATE	2002	DBLP DOI BibTeX RDF
12	Francesco Buccafurri, Gianluca Lax, Domenico Rosaci, Domenico Ursino	A User Behavior-Based Agent for Improving Web Usage.	OTM	2002	DBLP DOI BibTeX RDF
12	Stefania Costantini, Arianna Tocchio	A Logic Programming Language for Multi-agent Systems.	JELIA	2002	DBLP DOI BibTeX RDF
12	Gérard Lelièvre, Jacques Souillot	Implementing KM Solutions in a Public Research Institution: The CNRS Case.	PAKM	2002	DBLP DOI BibTeX RDF
12	Myriam Lewkowicz, Manuel Zacklad	Rationalisation of decision-making processes in design teams with a new formalism of design rationale.	AI Soc.	2001	DBLP DOI BibTeX RDF	Group Ware, Knowledge management, Design Rationale, Organisational memory
12	Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden	Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint.	ISADS	2001	DBLP DOI BibTeX RDF	EAI (Enterprise Application Integration), development support tool, software architecture, Mobile agent, design pattern, development method
12	Pierangelo Dell'Acqua, Luís Moniz Pereira	Preferring and Updating in Logic-Based Agents.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
12	Yasuyuki Tahara, Nobukazu Toshiba, Akihiko Ohsuga, Shinichi Honiden	Secure and efficient mobile agent application reuse using patterns.	SSR	2001	DBLP DOI BibTeX RDF	Internet
12	Enrico Pagello, Michele Bert, M. Barbon, Emanuele Menegatti, C. Moroni, Carlo Pellizzari, Davide Spagnoli, S. Zaffalon	Artisti Veneti: An Heterogeneous Robot Team for the 2001 Middle-Size League.	RoboCup	2001	DBLP DOI BibTeX RDF
12	Jean-Paul A. Barthès, Cesar Augusto Tacla	Agent-Supported Portals and Knowledge Management in Complex R&D Projects.	CSCWD	2001	DBLP DOI BibTeX RDF
12	Zhanyong Wan, Walid Taha, Paul Hudak	Real-Time FRP.	ICFP	2001	DBLP DOI BibTeX RDF
12	Eric S. K. Yu	Agent-Oriented Modelling: Software versus the World.	AOSE	2001	DBLP DOI BibTeX RDF
12	C. Louste, Alain Liégeois	Near Optimal Robust Path Planning for Mobile Robots: the Viscous Fluid Method with Friction.	J. Intell. Robotic Syst.	2000	DBLP DOI BibTeX RDF	viscous fluid, scent diffusion, genetic algorithm, mobile robot, path planning
12	John Peterson, Valery Trifonov, Andrei Serjantov	Parallel Functional Reactive Programming.	PADL	2000	DBLP DOI BibTeX RDF
12	Leonard P. Wesley	A Real Time Object-Oriented Rational Agent Development System.	FAABS	2000	DBLP DOI BibTeX RDF
12	Brian C. Williams	Model-Based Autonomous Systems for Robotic Space Exploration.	HSCC	2000	DBLP DOI BibTeX RDF
12	Stan Y. Liao	Towards a new standard for system-level design.	CODES	2000	DBLP DOI BibTeX RDF
12	Brian P. Coppola	Structured Study Groups Empower Student Learning. I Cannot Write My Final Until My Class Finishes Creating Its Multimedia Text.	HICSS	2000	DBLP DOI BibTeX RDF
12	Dieter Metzing, Jan-Torsten Milde, Robert Rae, Helge J. Ritter	Kommunizierende Agenten: Gestische und natürlichsprachliche Interaktion.	Kognitionswissenschaft	1999	DBLP DOI BibTeX RDF
12	Laurent Thomas, Thomas Lambolais, Renaud Lesiour	Architectural Techniques for the Description and Validation of Distributed Real-Time Systems.	ISORC	1999	DBLP DOI BibTeX RDF
12	Abhijit Ghosh, Joachim Kunkel, Stan Y. Liao	Hardware Synthesis from C/C++.	DATE	1999	DBLP DOI BibTeX RDF
12	Frédéric Julliard, Sylvie Gibet	Reactiva'Motion Project: Motion Synthesis Based on a Reactive Representation.	Gesture Workshop	1999	DBLP DOI BibTeX RDF
12	Vito Roberto, Vincenzo Della Mea, Luca Di Gaspero, Antonello Conti	MANTHA: Agent-Based Management of Hypermedia Documents.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	Intelligent Network Architectures, Medical Multimedia Applications, Multimedia Authoring Tools
12	Fariba Sadri, Francesca Toni	Abduction with Negation as Failure for Active and Reactive Rules.	AI*IA	1999	DBLP DOI BibTeX RDF
12	Enrique Ramos, Wladimiro Díaz, Vicente Cerverón, Ignacio Nebot-Gil	Use of Parallel Computing to Improve the Accuracy of Calculated Molecular Properties.	PVM/MPI	1998	DBLP DOI BibTeX RDF
12	Yassine Jamoussi, Henda Hajjami Ben Ghézala, Farouk Kamoun	A multi-method environment that integrates a methodological information base.	SEE	1997	DBLP DOI BibTeX RDF
12	V. Kasurinen, Kaisa Sere	Integrating Action Systems and Z in a Medical System Specification.	FME	1996	DBLP DOI BibTeX RDF
12	Jörg P. Müller	Control Architectures for Autonomous and Interacting Agents: A Survey.	PRICAI Workshop on Intelligent Agent Systems	1996	DBLP DOI BibTeX RDF
12	Reinhard Gerndt	A Case Study in Co-Design of Communication Controllers.	CODES	1996	DBLP DOI BibTeX RDF	codesign case study, embedded system, communication controller
12	Fang-Chang Lin, Jane Yung-jen Hsu	Cost-balanced cooperation protocol in multi-agent robotic systems.	ICPADS	1996	DBLP DOI BibTeX RDF	cost-balanced cooperation protocol, multi-agent robotic systems, cost-balanced strategy, Object-Sorting Task, subjective optimal decision, distributed modular agent architecture, help-based cooperation protocol, performance evaluation, computational complexity, artificial intelligence, protocols, mobile robots, cooperative systems
12	Vineet Gupta 0001, Radha Jagadeesan, Vijay A. Saraswat	Models for Concurrent Constraint Programming.	CONCUR	1996	DBLP DOI BibTeX RDF
12	Paul Freedman, Daniel Gaudreau, Raouf Boutaba, Ahmed Mehaoua	The Two Real-Time Solitudes: computerized control and telecommunications.	ICECCS	1996	DBLP DOI BibTeX RDF
12	Florence Maraninchi	Operational and Compositional Semantics of Synchronous Automaton Compositions.	CONCUR	1992	DBLP DOI BibTeX RDF
12	David W. Elrod, Gerald M. Maggiora, Robert G. Trenary	Predicting Chemical Reactions with a Neural Network.	Great Lakes Computer Science Conference	1989	DBLP DOI BibTeX RDF
12	Deepak Kumar	An Integrated Model of Acting and Inference.	SNePS	1989	DBLP DOI BibTeX RDF