Search results for "dynamic behaviour"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Paul Ward, Mariusz Pelc, James Hawthorne, Richard John Anthony	Embedding Dynamic Behaviour into a Self-configuring Software System.	ATC	2008	DBLP DOI BibTeX RDF	Dynamic embedded systems, Policy-based computing, Automotive control systems, Fault-tolerance in autonomics
2	Sorana Cîmpan, Fabien Leymonerie, Flávio Oquendo	Handling Dynamic Behaviour in Software Architectures.	EWSA	2005	DBLP DOI BibTeX RDF	software architectures, dynamic systems, architecture description language
2	Bruno Dufour, Christopher Goard, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam, Clark Verbrugge	Measuring the dynamic behaviour of AspectJ programs.	OOPSLA	2004	DBLP DOI BibTeX RDF	java, optimization, performance, aspect-oriented programming, program analysis, AspectJ, dynamic metrics
2	Jean-Claude Royer, Michael Xu	Analysing Mailboxes of Asynchronous Communicating Components.	CoopIS/DOA/ODBASE	2003	DBLP DOI BibTeX RDF	Unbound or Bound Mailbox, Architecture, Component, Asynchronous Communication, Dynamic Behaviour
2	Elsa F. Gomes, Lígia M. Ribeiro, Pedro F. R. Regueiras, José J. C. Cruz-Pinto	A Parallel Algorithm for the Simulation of the Dynamic Behaviour of Liquid-Liquid Agitated Columns.	VECPAR	2000	DBLP DOI BibTeX RDF
2	Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge	Modelling Internal Dynamic Behaviour of BDI Agents.	ModelAge Workshop	1997	DBLP DOI BibTeX RDF
2	Simon R. Wiseman, Bryony Pomeroy	SPEAR: Extending ER for Dynamic Behaviour and Refinement.	BNCOD	1996	DBLP DOI BibTeX RDF
2	Robert I. Davis, Sasikumar Punnekkat, Neil C. Audsley, Alan Burns	Flexible scheduling for adaptable real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	adaptable real-time systems, autonomous vehicle control, software/hardware failures, critical services, minimum acceptable quality, best effort scheduling, offline analysis, critical timing requirements, adaptive threshold policy, competing optional components, scheduling, real-time systems, fault tolerant computing, graceful degradation, road vehicles, computerised control, fixed priority preemptive scheduling, flexible scheduling, complex real time systems, system utility, dynamic behaviour
2	Farhad S. Etessami, Gurdeep S. Hura	Rule-Based Design Methodology for Solving Control Problems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	control problems, rule-based design methodology, abstract Petri nets, formalism tool, high-level interaction, elevator system, formal specification, Petri nets, specification, software tools, validation, knowledge engineering, dynamic behaviour
1	Michael F. Zäh, Marcus Hennauer	Prediction of the dynamic behaviour of machine tools during the design process using mechatronic simulation models based on finite element analysis.	Production Engineering	2011	DBLP DOI BibTeX RDF
1	T. K. Kar, Abhijit Ghorai	Dynamic behaviour of a delayed predator-prey model with harvesting.	Applied Mathematics and Computation	2011	DBLP DOI BibTeX RDF
1	F. Guenab, Philippe Weber, Didier Theilliol, Youmin Zhang	Design of a fault tolerant control system incorporating reliability analysis and dynamic behaviour constraints.	Int. J. Systems Science	2011	DBLP DOI BibTeX RDF
1	Giovanni Incerti	Dynamic behaviour of elastic cam devices driven by servomotors with PID velocity control.	CASE	2011	DBLP DOI BibTeX RDF
1	Arthur Anyakwo, Crinela Pislaru, Andrew Ball, Fengshou Gu	A novel approach to modelling and simulation of the dynamic behaviour of the wheel-rail interface.	ICAC	2011	DBLP BibTeX RDF
1	Marko Palviainen	A Dynamic Behaviour and Reliability Evaluation Method for Applications That Are Based on Asynchronous Processing Nodes.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	Sébastien Saint-Aime, Céline Jost, Brigitte Le Pévédic, Dominique Duhaut	Dynamic behaviour conception for EmI companion robot.	ISR/ROBOTIK	2010	DBLP BibTeX RDF
1	Sander Stuijk, Marc Geilen, Twan Basten	A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour.	DSD	2010	DBLP DOI BibTeX RDF
1	Brahim Al Farisi, Karel Bruneel, Harald Devos, Dirk Stroobandt	Automatic tool flow for shift-register-LUT reconfiguration: making run-time reconfiguration fast and easy (abstract only).	FPGA	2010	DBLP DOI BibTeX RDF	parameterizable configurations, tmap, fpga, reconfigurable computing, run-time reconfiguration, srl, icap
1	Zuzana Svandová, Juraj Labovský, Jozef Markos, Ludovít Jelemenský	Impact of mathematical model selection on prediction of steady state and dynamic behaviour of a reactive distillation column.	Computers & Chemical Engineering	2009	DBLP DOI BibTeX RDF
1	Alex Holkner, James Harland	Evaluating the dynamic behaviour of Python applications.	ACSC	2009	DBLP BibTeX RDF
1	Kirsten Winter, Robert Colvin, R. Geoff Dromey	Dynamic Relational Behaviour for Large-Scale Systems.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
1	Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana	Experimenting a reverse engineering technique for modelling the behaviour of rich internet applications.	ICSM	2009	DBLP DOI BibTeX RDF
1	Leïla Kloul	From DFTs to PEPA: A Model-to-Model Transformation.	EPEW	2009	DBLP DOI BibTeX RDF
1	Zarrin Langari, Richard J. Trefler	Application of Graph Transformation in Verification of Dynamic Systems.	IFM	2009	DBLP DOI BibTeX RDF
1	Fabrizio Baiardi, Diego Cilea, Daniele Sgandurra, Francesco Ceccarelli	Measuring Semantic Integrity for Remote Attestation.	TRUST	2009	DBLP DOI BibTeX RDF
1	Hanlin Lu, Sheng Yu	Are Statecharts Finite Automata?.	CIAA	2009	DBLP DOI BibTeX RDF	interaction machines, statecharts, finite automata
1	Sujata Roy, Ashoke Ranjan Thakur	Dynamic behaviour of water in the DNAProtein Interface of the Antennapedia homeodomain-DNA complex.	BCBGC	2008	DBLP BibTeX RDF
1	Ibai Gurrutxaga, Olatz Arbelaitz, Jesús M. Pérez, Javier Muguerza, José Ignacio Martín, Iñigo Perona	Evaluation of Malware clustering based on its dynamic behaviour.	AusDM	2008	DBLP BibTeX RDF
1	Peter McBrien	Temporal Constraints in Non-temporal Data Modelling Languages.	ER	2008	DBLP DOI BibTeX RDF	conceptual modelling, Data modelling, temporal constraints, dynamic behaviour
1	Monageng Kgwadi, Hui Shang, Gabriel A. Wainer	Definition of dynamic DEVS models: Dynamic Structure CD++.	SpringSim	2008	DBLP DOI BibTeX RDF	Dynamic Structure DEVS, CD++
1	Mohammad Hosseinabady, José L. Núñez-Yáñez	Fault-tolerant dynamically reconfigurable NoC-based SoC.	ASAP	2008	DBLP DOI BibTeX RDF
1	Ian Bayley, Hong Zhu	Specifying Behavioural Features of Design Patterns in First Order Logic.	COMPSAC	2008	DBLP DOI BibTeX RDF	Modelling, UML, Formal Specification, Formal Method, Object Orientation, Design Pattern, First Order Logic, Class Diagram, Sequence Diagram
1	Mario Luca Bernardi, Giuseppe A. Di Lucca	A Taxonomy of Interactions Introduced by Aspects.	COMPSAC	2008	DBLP DOI BibTeX RDF	Aspect Oriented Programming, Software Quality, Program comprehension
1	Domnic Savio, Stamatis Karnouskos, Daniel Wuwer, Thomas Bangemann	Dynamically Optimized Production Planning Ssing Cross-Layer SOA.	COMPSAC	2008	DBLP DOI BibTeX RDF
1	Amith Kumar Nuggehalli Ramachandra, Avin Kumar Kannur	Analysis of CPU Utilisation and Stack Consumption of a Multimedia Embedded System.	DELTA	2008	DBLP DOI BibTeX RDF	CPU Utilisation, Stack Consumption
1	Francisco Javier Díez, Iñaki Maurtua	Dynamic Exception Handling Based on Web Services and OPC XML-DA.	ICWS	2008	DBLP DOI BibTeX RDF
1	Blake Beckman, Jeff K. Pieper, David Mackay, Michael Trentini, David Erickson	Two dimensional dynamic stability for reconfigurable robots designed to traverse rough terrain.	IROS	2008	DBLP DOI BibTeX RDF
1	Giovanni Incerti	Vibration control of a SCARA manipulator using pseudo-polynomial motion laws.	IROS	2008	DBLP DOI BibTeX RDF
1	Sylvester Arnab, Vinesh Raja	A Deformable Surface Model with Volume Preserving Springs.	AMDO	2008	DBLP DOI BibTeX RDF	Deformable Model, Mass Spring Systems, Volume Preservation
1	María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing	A Heterogeneous Approach to UML Semantics.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
1	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi	Specifying and Analysing SOC Applications with COWS.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
1	Gabriel Ciobanu	From Gene Regulation to Stochastic Fusion.	UC	2008	DBLP DOI BibTeX RDF
1	Sebastián González, Kim Mens, Patrick Heymans	Highly dynamic behaviour adaptability through prototypes with subjective multimethods.	DLS	2007	DBLP DOI BibTeX RDF	prototype-based programming, subjective dispatch, ambient intelligence, multiple dispatch, context-oriented programming
1	Bijilash Babu, Marissa Condon	Dynamic Behaviour and Significance of Neuron Networks with Varying Degrees of Random Coupling.	World Congress on Engineering	2007	DBLP BibTeX RDF
1	David A. Abbink	Task Instruction: the largest Influence on Human Operator Motion Control Dynamics.	WHC	2007	DBLP DOI BibTeX RDF
1	Ali Cherry, Joël Abadie, Emmanuel Piat	Modelling and optimization of a floating triangular platform used for nano and microforces sensing.	IROS	2007	DBLP DOI BibTeX RDF
1	Swati Sinha Deb, Alistair Munro	Closing the Loop for Dynamic IP QoS Provisioning: A Case Study.	LCN	2007	DBLP DOI BibTeX RDF
1	Dirk Missal, Hans-Michael Hanisch	Modular plant modelling for distributed control.	SMC	2007	DBLP DOI BibTeX RDF
1	Jörg Bauer 0001, Werner Damm, Tobe Toben, Bernd Westphal	Verification and Synthesis of OCL Constraints Via Topology Analysis.	AGTIVE	2007	DBLP DOI BibTeX RDF
1	Nilufer Tuptuk, Emil Lupu	Risk Based Authorisation for Mobile Ad Hoc Networks.	AIMS	2007	DBLP DOI BibTeX RDF	Mobile Ad Hoc Network, Trust, Authorisation, Bayesian Belief Networks
1	Frédéric Gervais, Marc Frappier, Régine Laleau	Refinement of eb3 Process Patterns into B Specifications.	B	2007	DBLP DOI BibTeX RDF	data integrity constraints, eb3, process expressions, Information systems, refinement
1	Sebastian V. Fallert, Sergei N. Taraskin	Stochastic Spreading Processes on a Network Model Based on Regular Graphs.	BIOWIRE	2007	DBLP DOI BibTeX RDF	Network Epidemics, SIS Model, Contact Process, Critical Exponents
1	Kepa Ruiz-Mirazo, Fabio Mavelli	Simulation Model for Functionalized Vesicles: Lipid-Peptide Integration in Minimal Protocells.	ECAL	2007	DBLP DOI BibTeX RDF	lipid-peptide protocells, stochastic kinetics (Gillespie method), autocatalysis, osmotic crisis, vesicle reproduction, self-assembly
1	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi	Regulating Data Exchange in Service Oriented Applications.	FSEN	2007	DBLP DOI BibTeX RDF
1	Olivier Soyez, Cyril Randriamaro, Gil Utard, Francis Wlazinski	Dynamic Distribution for Data Storage in a P2P Network.	GPC	2007	DBLP DOI BibTeX RDF
1	Gregor von Cieminski, Peter Nyhuis	Ensuring the Consistency of Competitive Strategy and Logistic Performance Management.	APMS	2007	DBLP DOI BibTeX RDF	Logistic performance, performance management, qualitative model
1	D. L. Yu, T. K. Chang, D. W. Yu	An On-Line LearningAlgorithm of Parallel Mode for MLPN Models.	ISNN	2007	DBLP DOI BibTeX RDF
1	Vladimir Elokhin, Andrey Matveev, Vladimir Gorodetskii, Evgenii Latkin	Hysteresis in Oscillatory Behaviour in CO Oxidation Reaction over Pd(110) Revealed by Asynchronous Cellular Automata Simulation.	PaCT	2007	DBLP DOI BibTeX RDF	CO oxidation, palladium, surface waves, asynchronous cellular automata, hysteresis in oscillatory regimes, oscillations
1	Giampiero Salvi	Dynamic behaviour of connectionist speech recognition with strong latency constraints.	Speech Communication	2006	DBLP DOI BibTeX RDF
1	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia	Evaluating the Dynamic Behaviour of PROSA P2P Network.	ISPA	2006	DBLP DOI BibTeX RDF
1	Lenko Grigorov, Karen Rudie	Near-Optimal Online Control of Dynamic Discrete-Event Systems.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	On-line control, Optimal control, Discrete-event systems, Control algorithms, Time-varying systems, Uncertain systems, Dynamic behaviour
1	James McKinna	Why dependent types matter.	POPL	2006	DBLP DOI BibTeX RDF
1	Aaron Leventhal	Structure benefits all.	W4A	2006	DBLP DOI BibTeX RDF	semantics, accessibility, user agents, dynamic HTML
1	Suiping Zhou, Shang-Ping Ting	Qualitative Physics for Movable Objects in MOUT.	Annual Simulation Symposium	2006	DBLP DOI BibTeX RDF	virtual environments, games, qualitative physics
1	A. Bendali, R. Labedan, F. Domingue, V. Nerguizian	Holes Effects on RF MEMS Parallel Membranes Capacitors.	CCECE	2006	DBLP DOI BibTeX RDF
1	Cameron Brien, Sharad Malik	Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis.	FMCAD	2006	DBLP DOI BibTeX RDF
1	Haiping Du, Nong Zhang	Evolutionary Takagi-Sugeno Fuzzy Modelling for MR Damper.	HIS	2006	DBLP DOI BibTeX RDF
1	Sharath Babu Musunoori, Geir Horn, Frank Eliassen, Mourad Alia	On the Challenge of Allocating Service Based Applications in a Grid Environment.	ICAS	2006	DBLP DOI BibTeX RDF	Application Configuration, Application Reconfiguration, Scheduling, Adaptation, Partitioning, Mapping
1	Raafat Aburukba, Hamada Ghenniwa, Weiming Shen	Agent-Based Approach for Dynamic Scheduling in Content-Based Networks.	ICEBE	2006	DBLP DOI BibTeX RDF
1	Julien Law-To, Valérie Gouet-Brunet, Olivier Buisson, Nozha Boujemaa	Local Behaviours Labelling for Content Based Video Copy Detection.	ICPR	2006	DBLP DOI BibTeX RDF
1	Olivier Bruneau, Anthony David	Analytical Approach for the Generation of Highly Dynamic Gaits for Walking Robots.	IROS	2006	DBLP DOI BibTeX RDF
1	Shell-Ying Huang, Wentong Cai, Stephen John Turner, Wen-Jing Hsu, Suiping Zhou, Malcolm Yoke-Hean Low, Richard Fujimoto, Rassul Ayani	A Generic Symbiotic Simulation Framework.	PADS	2006	DBLP DOI BibTeX RDF
1	Colin J. Fidge, Yu-Chu Tian	Functional Analysis of a Real-Time Protocol for Networked Control Systems.	ATVA	2006	DBLP DOI BibTeX RDF
1	Piya Suwannopas, Twittie Senivongse	Discovering Semantic Web Services with Process Specifications.	DAIS	2006	DBLP DOI BibTeX RDF
1	Vincent Nabat, Sébastien Krut, Olivier Company, Philippe Poignet, François Pierrot	On the Design of a Fast Parallel Robot Based on Its Dynamic Model.	ISER	2006	DBLP DOI BibTeX RDF
1	Alan Stewart, Joaquim Gabarró, Maurice Clint, Terence J. Harmer, Peter Kilpatrick, Ronald H. Perrott	Managing Grid Computations: An ORC-Based Approach.	ISPA	2006	DBLP DOI BibTeX RDF	ORC, Grid, components, constraints, interfaces
1	Neli S. Dimitrova, Plamena Zlateva	Stability and Bifurcation Analysis of a Nonlinear Model of Bioreactor.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
1	Ling Li, Vasily Volkov	Inflatable Models.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	inflatable models, physically based modelling, physically based animation
1	Raúl Peña-Ortiz, Julio Sahuquillo, Ana Pont, José A. Gil	Modelling users' dynamic behaviour in e-business environments using navigations.	IJEB	2005	DBLP DOI BibTeX RDF
1	Tomas Henriksson, Jeffrey Kang, Pieter van der Wolf	Implementation of dynamic streaming Applications on heterogeneous multi-Processor architectures.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	platform interface, system level design, dynamic applications
1	Paul Grace, Gordon S. Blair, Sam Samuel	A reflective framework for discovery and interaction in heterogeneous mobile environments.	Mobile Computing and Communications Review	2005	DBLP DOI BibTeX RDF
1	Stefano Beco, Barbara Cantalupo, Ludovico Giammarino, Nikolaos Matskanis, Mike Surridge	OWL-WS: A Workflow Ontology for Dynamic Grid Service Composition.	e-Science	2005	DBLP DOI BibTeX RDF
1	Jianjun Pu, Zhuopeng Zhang, Yang Xu, Hongji Yang	Reusing legacy COBOL code with UML collaboration diagrams via a Wide Spectrum Language.	IRI	2005	DBLP DOI BibTeX RDF
1	Cyril Randriamaro, Olivier Soyez, Gil Utard, Francis Wlazinski	Data distribution for failure correlation management in a Peer to Peer storage system.	ISPDC	2005	DBLP DOI BibTeX RDF
1	Michele Curti, Davide Prandi, Linda Brodo	Formal Executable Descriptions of Biological Systems.	QEST	2005	DBLP DOI BibTeX RDF
1	Wei Wang, Vassilios Tzerpos	Design Pattern Detection in Eiffel Systems.	WCRE	2005	DBLP DOI BibTeX RDF
1	Dimitar Kazakov, Matthew Sweet	Evolving the Game of Life.	Adaptive Agents and Multi-Agent Systems	2005	DBLP DOI BibTeX RDF
1	Petros Kefalas, Ioanna Stamatopoulou, Marian Gheorghe	A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour.	CEEMAS	2005	DBLP DOI BibTeX RDF
1	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota	A Semantics for UML-RT Active Classes via Mapping into Circus.	FMOODS	2005	DBLP DOI BibTeX RDF	model transformations, method integration, UML-RT, Circus
1	Andrei P. Kirilyuk	Unreduced Dynamic Complexity: Towards the Unified Science of Intelligent Communication Networks and Software.	Net-Con	2005	DBLP DOI BibTeX RDF
1	Su-Lin Lee, Ara Darzi, Guang-Zhong Yang	Subject Specific Finite Element Modelling of the Levator Ani.	MICCAI	2005	DBLP DOI BibTeX RDF
1	David Rehor, Pavel Slavík, David Kadlecek, Pavel Nahodil	Visualization of Dynamic Behaviour of Multi-Agent Systems.	WSCG (Posters)	2004	DBLP BibTeX RDF
1	Ben Stephenson, Wade Holst	A quantitative analysis of Java bytecode sequences.	PPPJ	2004	DBLP DOI BibTeX RDF
1	Augustin Soule, Kavé Salamatian, Nina Taft, Richard Emilion, Konstantina Papagiannaki	Flow classification by histograms: or how to go on safari in the internet.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	parameter estimation, internet traffic, flow classification
1	A. Oveissian, Kavé Salamatian, Augustin Soule, Nina Taft	Fast Flow Classification over Internet.	CNSR	2004	DBLP DOI BibTeX RDF
1	Youssef Hassoun, Roger Johnson, Steve Counsell	A Dynamic Runtime Coupling Metric for Meta-Level Architectures.	CSMR	2004	DBLP DOI BibTeX RDF
1	Philippe Declerck, Mohamed Khalid Didi Alaoui	Modelling and analysis of p-time event graphs in the (min, max, +) algebra.	SMC	2004	DBLP DOI BibTeX RDF
1	Hadrien Cambazard, Fabien Demazeau, Narendra Jussien, Philippe David	Interactively Solving School Timetabling Problems Using Extensions of Constraint Programming.	PATAT	2004	DBLP DOI BibTeX RDF
1	Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard	Spatial Analysis of BioAmbients.	SAS	2004	DBLP DOI BibTeX RDF
1	Alessandro Ferrante, Mimmo Parente	Existence of Nash Equilibria in Selfish Routing Problems.	SIROCCO	2004	DBLP DOI BibTeX RDF