Search results for "Behaviour"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Jean Christophe Madre, Jean-Paul Billon	Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour.	DAC	1988	DBLP BibTeX RDF
12	Udo W. Lipeck	Stepwise Specification of Dynamic Database Behaviour.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
12	Walter Vogler	Behaviour Preserving Refinement of Petri Nets.	WG	1986	DBLP DOI BibTeX RDF
12	Norbert Kraft, Horst F. Wedde	Inducing Patterns of Behaviour in Distributed System Parts.	MFCS	1980	DBLP DOI BibTeX RDF
11	Peter Sewell	Memory, an elusive abstraction.	ISMM	2010	DBLP DOI BibTeX RDF	semantics, relaxed memory models
11	Riccardo Poli	Genetic programming theory.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	halting probability, program search spaces, genetic programming, theory
11	Fernando Martínez Ortuño, Uli Harder, Peter G. Harrison	A markovian futures market for computing power.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	performance, grid, markov decision process, market, futures
11	Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins	Architecting Fault Tolerance with Exception Handling: Verification and Validation.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	fault-tolerant software architecture, model checking, exception handling, model-based test, software verification and validation
11	Darius Pfitzner, Richard Leibbrandt, David M. W. Powers	Characterization and evaluation of similarity measures for pairs of clusterings.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Cluster comparison, Clustering, Evaluation, Similarity measures, Review
11	Andreas Hansson 0001, Kees Goossens, Marco Bekooij, Jos Huisken	CoMPSoC: A template for composable and predictable multi-processor system on chips.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	predictable, system on chip, network on chip, model of computation, Composable
11	Ekkart Kindler	Model-Based Software Engineering and Process-Aware Information Systems.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Model-based Software Engineering (MBSE), Process-aware Information Systems (PAIS), Model-driven Architecture (MDA), Process models, Business Process Modelling
11	Zhihong Zeng, Maja Pantic, Glenn I. Roisman, Thomas S. Huang	A Survey of Affect Recognition Methods: Audio, Visual, and Spontaneous Expressions.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
11	Robert Harrison, Christine W. Chan	Dyna: A Tool for Dynamic Knowledge Modeling.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF
11	Vincent Luboz, Rafal Blazewski, Derek Gould, Fernando Bello	Real-time guidewire simulation in complex vascular models.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Simulation, Training, Mass-spring model, Interventional radiology
11	Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine	Behavioural models for distributed Fractal components.	Ann. des Télécommunications	2009	DBLP DOI BibTeX RDF	Hierarchical components, Distributed asynchronous components, Behavioural specification, Model-Checking, Formal verification
11	Hamza Rahmani, Nabil Sahli, Farouk Kamoun	Joint Entropy Analysis Model for DDoS Attack Detection.	IAS	2009	DBLP DOI BibTeX RDF
11	Julián Luengo, Francisco Herrera	Domains of Competence of Artificial Neural Networks Using Measures of Separability of Classes.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Classification, Artificial Neural Networks, Multilayer Perceptron, Radial Basis Function Networks, Data complexity
11	Matthew Hennessy	Distributed Systems and Their Environments.	TAMC	2009	DBLP DOI BibTeX RDF
11	Cyril Brom, Tomás Korenko, Jirí Lukavský	How Do Place and Objects Combine? "What-Where" Memory for Human-Like Agents.	IVA	2009	DBLP DOI BibTeX RDF
11	Olufunmilola Oladunni Onolaja, Rami Bahsoon, Georgios Theodoropoulos 0001	An Architecture for Dynamic Trust Monitoring in Mobile Networks.	OTM Workshops	2009	DBLP DOI BibTeX RDF
11	Ildikó Flesch, Peter J. F. Lucas	The Probabilistic Interpretation of Model-Based Diagnosis.	ECSQARU	2009	DBLP DOI BibTeX RDF
11	Dieter Vogts	Plagiarising of source code by novice programmers a "cry for help"?	SAICSIT	2009	DBLP DOI BibTeX RDF	programming, computer science education, plagiarism, novice programmer, program development environment
11	Andrew Lewis	The effect of population density on the performance of a spatial social network algorithm for multi-objective optimisation.	IPDPS	2009	DBLP DOI BibTeX RDF
11	Mario Bravetti, Gianluigi Zavattaro	Contract-Based Discovery and Composition of Web Services.	SFM	2009	DBLP DOI BibTeX RDF
11	Fabrizio Baiardi, Diego Cilea, Daniele Sgandurra, Francesco Ceccarelli	Measuring Semantic Integrity for Remote Attestation.	TRUST	2009	DBLP DOI BibTeX RDF
11	Marcello M. Bonsangue, Dave Clarke 0001, Alexandra Silva 0001	Automata for Context-Dependent Connectors.	COORDINATION	2009	DBLP DOI BibTeX RDF
11	Anja Feldmann, Simon Fischer 0001, Nils Kammenhuber, Berthold Vöcking	Management of Variable Data Streams in Networks.	Algorithmics of Large and Complex Networks	2009	DBLP DOI BibTeX RDF
11	Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini	A Goal-Oriented Approach for Modelling Self-organising MAS.	ESAW	2009	DBLP DOI BibTeX RDF
11	Kuderna-Iulian Benta, Marcel Cremene, Valeriu Todica	Towards an Affective Aware Home.	ICOST	2009	DBLP DOI BibTeX RDF	Neural Networks, Ontology, Context Awareness, Affective Computing, Smart Home
11	Eduardo Rodrigues Gomes, Ryszard Kowalczyk	Dynamic analysis of multiagent Q-learning with ε-greedy exploration.	ICML	2009	DBLP DOI BibTeX RDF
11	Nigel G. Bean, Malgorzata M. O'Reilly	Performance measures of a multi-layer Markovian fluid model.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Markovian fluid model, First return times, Sojourn times
11	Alan F. T. Winfield, Wenguo Liu 0001, Julien Nembrini, Alcherio Martinoli	Modelling a wireless connected swarm of mobile robots.	Swarm Intell.	2008	DBLP DOI BibTeX RDF	Modelling, Wireless ad hoc network, Swarm robotics
11	David Elsweiler	Supporting human memory in personal information management.	SIGIR Forum	2008	DBLP DOI BibTeX RDF
11	Vito Trianni, Stefano Nolfi, Marco Dorigo	Evolution, Self-organization and Swarm Robotics.	Swarm Intelligence	2008	DBLP DOI BibTeX RDF
11	Simone Frintrop, Patric Jensfelt	Active gaze control for attentional visual SLAM.	ICRA	2008	DBLP DOI BibTeX RDF
11	Christian Glasner, Jens Volkert	An Architecture for an Adaptive Run-time Prediction System.	ISPDC	2008	DBLP DOI BibTeX RDF
11	Jacques Saraydaryan, Luc Paffumi, Véronique Legrand, Stéphane Ubéda	Behavioral Intrusion Detection Indicators.	SEC	2008	DBLP DOI BibTeX RDF
11	Matthew J. Parkinson, Gavin M. Bierman	Separation logic, abstraction and inheritance.	POPL	2008	DBLP DOI BibTeX RDF	modularity, classes, separation logic
11	Oliver Ribock, Urban Richter, Hartmut Schmeck	Using Organic Computing to Control Bunching Effects.	ARCS	2008	DBLP DOI BibTeX RDF
11	Wael William Zakhari Malek, Keith Mayes, Constantinos Markantonakis	Fraud Detection and Prevention in Smart Card Based Environments Using Artificial Intelligence.	CARDIS	2008	DBLP DOI BibTeX RDF
11	Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Marco Pistore, Emilio Tuosto	History Dependent Automata for Service Compatibility.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
11	Jérôme Levesque, François Cazzolato, Jimmy Perron, Jimmy Hogan, Tony Garneau, Bernard Moulin	CAMiCS: civilian activity modelling in constructive simulation.	SpringSim	2008	DBLP DOI BibTeX RDF
11	Andreas Both 0001, Wolf Zimmermann	Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems.	CBSE	2008	DBLP DOI BibTeX RDF
11	Colin J. Fidge	Relative simulation and model checking of real-time processes.	ACSC	2008	DBLP BibTeX RDF	simulation, real-time systems, model checking
11	Simona Orzan, Muhammad Torabi Dashti	Data Failures.	DISC	2008	DBLP DOI BibTeX RDF
11	Gunnar Tufte, Espen Gangvik	TransFormer #13: Exploration and Adaptation of Evolution Expressed in a Dynamic Sculpture.	EvoWorkshops	2008	DBLP DOI BibTeX RDF
11	Antonia Bertolino, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Eda Marchetti	Weighting Influence of User Behavior in Software Validation.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	value based testing, weighted Similarity Approach, usability
11	Rafal Pokrywka	Reducing False Alarm Rate in Anomaly Detection with Layered Filtering.	ICCS (1)	2008	DBLP DOI BibTeX RDF
11	Fabien Cardinaux, Simon Brownsell, Mark S. Hawley, David Bradley	Modelling of Behavioural Patterns for Abnormality Detection in the Context of Lifestyle Reassurance.	CIARP	2008	DBLP DOI BibTeX RDF	Lifestyle reassurance, probabilistic models, GMM, telecare
11	Brian Bishop, Kevin McDaid	Unobtrusive data acquisition for spreadsheet research.	VL/HCC	2008	DBLP DOI BibTeX RDF
11	Daniel Arumí, Rosa Rodríguez-Montañés, Joan Figueras, Stefan Eichenberger, Camelia Hora, Bram Kruseman	Full Open Defects in Nanometric CMOS.	VTS	2008	DBLP DOI BibTeX RDF	interconnect open, gate leakage current, CMOS
11	Dénes Bisztray, Reiko Heckel, Hartmut Ehrig	Compositional Verification of Architectural Refactorings.	WADS	2008	DBLP DOI BibTeX RDF	UML, Service Oriented Architecture, Refactoring, CSP, Graph Transformation
11	Andres Flores, Macario Polo Usaola	Testing-based assessment process for upgrading component systems.	ICSM	2008	DBLP DOI BibTeX RDF
11	Aristama Roesli, Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke	Modelling Actor Evolution in Agent-Based Simulations.	AAMAS-OAMAS	2008	DBLP DOI BibTeX RDF	Evolution, agent-based simulation, i*, inter-organizational networks
11	Tony McGregor	Case Studies in Computer Network Measurement.	PDCAT	2008	DBLP DOI BibTeX RDF
11	Derek W. Seward, Conrad Pace, Rahee Agate	Safe and effective navigation of autonomous robots in hazardous environments.	Auton. Robots	2007	DBLP DOI BibTeX RDF	Task effective, Safety, Risk analysis, Autonomous vehicles, Partially observable Markov decision processes, Unstructured environments, Real-time control system, Robot architecture
11	Saadia Malik, Birger Larsen, Anastasios Tombros	Report on the INEX 2005 interactive track.	SIGIR Forum	2007	DBLP DOI BibTeX RDF	XML
11	Hugo Rosano, Barbara Webb	A dynamic model of thoracic differentiation for the control of turning in the stick insect.	Biol. Cybern.	2007	DBLP DOI BibTeX RDF	Stick insect, Turning, Curve walking, Simulation, Robot, Dynamic model, Locomotion
11	Emilia I. Barakova	Social Interaction in Robotic Agents Emulating the Mirror Neuron Function.	IWINAC (2)	2007	DBLP DOI BibTeX RDF
11	Philip Hoelgaard, Ángel Valle, Fernando J. Corbacho	Behavioural Modeling by Clustering Based on Utility Measures.	IWINAC (2)	2007	DBLP DOI BibTeX RDF
11	Robert Harrison, Christine W. Chan	A Tool for Dynamic Knowledge Modeling.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
11	Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié	From Model-Based Design to Formal Verification of Adaptive Embedded Systems.	ICFEM	2007	DBLP DOI BibTeX RDF
11	Chih-Chun Chen 0001, Sylvia B. Nagl, Christopher D. Clack	Specifying, detecting and analysing emergent behaviours in multi-level agent-based simulations.	SCSC	2007	DBLP BibTeX RDF	agent-directed simulation, complexity, complex systems, system dynamics
11	Theo McDonald, Pieter J. Blignaut	Search String Analysis from a Socio-economic Perspective.	HCI (5)	2007	DBLP DOI BibTeX RDF	Search strings, socio-economic status, search characteristics, Web searching
11	Jean Yves Gauthier, Arnaud Hubert, Joël Abadie, Nicolas Chaillet, Christian Lexcellent	Original hybrid control for robotic structures using magnetic shape memory alloys actuators.	IROS	2007	DBLP DOI BibTeX RDF
11	Mark Jyn-Huey Lim, Michael Negnevitsky, Jacky Hartnett	Detecting Abnormal Changes in E-mail Traffic Using Hierarchical Fuzzy Systems.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
11	Werner Brockmann, Alexander Horst	Stabilizing the Convergence of Online-Learning in Neuro-Fuzzy Systems by an Immune System-inspired Approach.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
11	César Pichardo-Almarza, Rod H. Smallwood, S. A. Billings	Spatiotemporal Analysis of an Agent-Based Model of a Colony of Keratinocytes: A First Approach for the Development of Validation Methods.	BIBE	2007	DBLP DOI BibTeX RDF
11	Thomas Christaller	Artificial Intelligence Is Engineering Intelligence - Why Should We Care About Natural Intelligence?	KI	2007	DBLP DOI BibTeX RDF
11	Bartek Klin	Bialgebraic Operational Semantics and Modal Logic.	LICS	2007	DBLP DOI BibTeX RDF
11	Tibor Bosse, Martijn C. Schut, Jan Treur, David Wendt	Trust-Based Inter-temporal Decision Making: Emergence of Altruism in a Simulated Society.	MABS	2007	DBLP DOI BibTeX RDF
11	Marta Millán, Maria F. Trujillo, Edward Ortiz	A Collaborative Recommender System Based on Asymmetric User Similarity.	IDEAL	2007	DBLP DOI BibTeX RDF	asymmetric similarity measure, Recommender systems, collaborative filtering, k-nearest neighbours
11	Dimitrios P. Pezaros, Manolis Sifalakis, David Hutchison 0001	Measurement and Analysis of Intraflow Performance Characteristics of Wireless Traffic.	IPOM	2007	DBLP DOI BibTeX RDF	heavy-tailed distribution, LRD, Hurst exponent, ACF
11	Jacques M. B. Terken, Irene Joris, Linda De Valk	Multimodalcues for addressee-hood in triadic communication with a human information retrieval agent.	ICMI	2007	DBLP DOI BibTeX RDF	addresseehood, multimodal interaction, conversational agents, eye gaze, perceptual user interfaces
11	Guy Redding, Marlon Dumas, Arthur H. M. ter Hofstede, Adrian Iordachescu	Transforming Object-Oriented Models to Process-Oriented Models.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF	Process model, model transformation, object model
11	Bhakti S. S. Onggo, K. Kusano, Tetsuya Sato	Macro-Micro Economic System Simulation.	PADS	2007	DBLP DOI BibTeX RDF
11	Yi Lu 0003, John Potter, Jingling Xue	Validity Invariants and Effects.	ECOOP	2007	DBLP DOI BibTeX RDF
11	Harshit J. Shah, R. K. Shyamasundar	On Run-Time Enforcement of Policies.	ASIAN	2007	DBLP DOI BibTeX RDF
11	Robert Lowe, Carlos Herrera Pérez, Anthony F. Morse, Tom Ziemke	The Embodied Dynamics of Emotion, Appraisal and Attention.	WAPCV	2007	DBLP DOI BibTeX RDF	embodied appraisals, relational phenomena, attentional emotion-appraisal amalgams, dynamical systems
11	Martin Boldt, Bengt Carlsson, Tobias Larsson, Niklas Lindén	Preventing Privacy-Invasive Software Using Collaborative Reputation Systems.	Secure Data Management	2007	DBLP DOI BibTeX RDF	malware prevention, Information security, reputation systems
11	Margaret McRorie, Ian Sneddon	Real Emotion Is Dynamic and Interactive.	ACII	2007	DBLP DOI BibTeX RDF	Naturalistic data, databases, facial expression
11	Dorin Militaru	A Framework for Defining Fashion Effect in Electronic Commerce Environments.	EC-Web	2007	DBLP DOI BibTeX RDF	JEL classification C12, D11, D12, M20, M31
11	Xianhang Zhang, Masahiro Takatsuka	Put That There NOW: Group Dynamics of Tabletop Interaction under Time Pressure.	Tabletop	2007	DBLP DOI BibTeX RDF
11	Aruna Jayasuriya, Stefan Aust, Peter Davis, Akira Yamaguchi, Sadao Obana	Aggregation of Wi-Fi Links: When Does it Work?	ICON	2007	DBLP DOI BibTeX RDF
11	André Platzer	A Temporal Dynamic Logic for Verifying Hybrid System Invariants.	LFCS	2007	DBLP DOI BibTeX RDF	logic for hybrid systems, deductive verification of embedded systems, temporal logic, dynamic logic, sequent calculus
11	Péter András 0001, Samantha Lycett	An advantage of chaotic neural dynamics.	IJCNN	2007	DBLP DOI BibTeX RDF
11	David Aspinall 0001, Piotr Hoffman	Datatypes in Memory.	CALCO	2007	DBLP DOI BibTeX RDF
11	Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shannon, Aaron J. Quigley	A first approach to the closed-form specification and analysis of an autonomic control system.	ICECCS	2007	DBLP DOI BibTeX RDF
11	Karim Mohammed Rezaul, Vic Grout	Towards Finding Efficient Tools for Measuring the Tail Index and Intensity of Long-range Dependent Network Traffic.	LCN	2007	DBLP DOI BibTeX RDF	Tail Index, Self-similarity, Hurst parameter, LRD
11	Ashley T. McNeile, Nicholas Simons	Protocol modelling: A modelling approach that supports reusable behavioural abstractions.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Protocols, Reuse, State machines, Executable modelling, Mixins, Behavioural modelling
11	A. Hodge, Roderick Edwards, D. H. Paul, Pauline van den Driessche	Neuronal Network Models of Phase Separation Between Limb CPGs of Digging Sand Crabs.	Biol. Cybern.	2006	DBLP DOI BibTeX RDF
11	Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne	Tank monitoring: a pAMN case study.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Probabilistic B, Probabilistic predicate transformers, Formal methods, Refinement
11	Zheng Li, Yan Jin, Jun Han 0004	A Runtime Monitoring and Validation Framework for Web Service Interactions.	ASWEC	2006	DBLP DOI BibTeX RDF
11	Tim Lewis, Neil Fanning, Gary Clemo	Enhancing IEEE802.11 DCF using Genetic Programming.	VTC Spring	2006	DBLP DOI BibTeX RDF
11	Bram Kruseman, Manuel Heiligers	On test conditions for the detection of open defects.	DATE	2006	DBLP DOI BibTeX RDF
11	John Derrick, Heike Wehrheim	Model Transformations Incorporating Multiple Views.	AMAST	2006	DBLP DOI BibTeX RDF
11	Miguel Valero Espada, Jaco van de Pol	Accelerated Modal Abstractions of Labelled Transition Systems.	AMAST	2006	DBLP DOI BibTeX RDF
11	Greg Brunet, Marsha Chechik, Sebastián Uchitel	Properties of Behavioural Model Merging.	FM	2006	DBLP DOI BibTeX RDF
11	Dirk Draheim, John C. Grundy, John G. Hosking, Christof Lutteroth, Gerald Weber	Realistic Load Testing ofWeb Applications.	CSMR	2006	DBLP DOI BibTeX RDF
11	Ernesto L. Andrade, Scott Blunsden, Robert B. Fisher	Modelling Crowd Scenes for Event Detection.	ICPR (1)	2006	DBLP DOI BibTeX RDF