Search results for "behavioural"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	Slawomir Lasota 0001	Behavioural Constructor Implementation for Regular Algebras.	LPAR	2000	DBLP DOI BibTeX RDF	regular algebras, behavioural constructor implementation, proofs of behavioural properties, Algebraic specifications, observational equivalence
69	Ella E. Roubtsova, Serguei A. Roubtsov	Constraints of Behavioural Inheritance.	EWSA	2004	DBLP DOI BibTeX RDF	Constraint of behavioural inheritance, logic of behavioural inheritance, process tree semantics, behaviour specification reuse, UML profile
65	Michal Misiak	Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems.	WADT	2004	DBLP DOI BibTeX RDF
59	Barry Norton	Ontology-Based Behavioural Reasoning for Business Processes.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	behavioural reasoning, Semantic Business Process Management
56	J. Christian Attiogbé, Pascal André, Gilles Ardourel	Checking Component Composability.	SC@ETAPS	2006	DBLP DOI BibTeX RDF	Behavioural Interface Description, Behavioural Verification, Components, Services, Composability
52	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
52	Tse-Min Lin, John A. McDermid	A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95.	Ada-Europe	2003	DBLP DOI BibTeX RDF	behavioural subtyping, supertype abstraction, object-oriented programming, SPARK, modular reasoning
50	Razvan Diaconescu	Behavioural Specification for Hierarchical Object Composition.	FMCO	2003	DBLP DOI BibTeX RDF
50	Michel Bidoit, Andrzej Tarlecki	Behavioural Satisfaction and Equivalence in Concrete Model Categories.	CAAP	1996	DBLP DOI BibTeX RDF
50	Martin Hofmann 0001, Donald Sannella	On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic.	TAPSOFT	1995	DBLP DOI BibTeX RDF
50	Michel Bidoit, Rolf Hennicker, Martin Wirsing	Characterizing Behavioural Semantics and Abstractor Semantics.	ESOP	1994	DBLP DOI BibTeX RDF
50	Rolf Hennicker	Context Induction: a Proof Principle for Behavioural Abstractions.	DISCO	1990	DBLP DOI BibTeX RDF
49	Luca Pazzi	Extending statecharts for representing parts and wholes.	EUROMICRO	1997	DBLP DOI BibTeX RDF	state-based formalisms, object-oriented development methods, object behavioural modelling, control complexity, behavioural abstractions, specification, software quality, software quality, modularity, statecharts
46	Susan L. Graham, Deborah Estrin, Eric Horvitz, Isaac S. Kohane, Elizabeth D. Mynatt, Ida Sim	Information Technology research challenges for healthcare: from discovery to delivery.	SIGHIT Rec.	2011	DBLP DOI BibTeX RDF
44	Lucia Acciai, Michele Boreale	Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types.	ICALP (2)	2009	DBLP DOI BibTeX RDF	behavioural types, safety, decidability, pi-calculus, spatial logic
44	Alessandra Raffaetà, Tommaso Ceccarelli, Dominique Centeno, Fosca Giannotti, Alessandro Massolo, Christine Parent, Chiara Renso, Stefano Spaccapietra, Franco Turini	An Application of Advanced Spatio-Temporal Formalisms to Behavioural Ecology.	GeoInformatica	2008	DBLP DOI BibTeX RDF	behavioural ecology, geographical information systems, conceptual modelling, constraint programming, spatio-temporal reasoning
44	Joanna Jaworska, Marcin Sydow	Behavioural Targeting in On-Line Advertising: An Empirical Study.	WISE	2008	DBLP DOI BibTeX RDF	behavioural targeting, on-line advertising, machine learning, user profile, experimentation, click-through rate
44	Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar	Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services.	FASE	2008	DBLP DOI BibTeX RDF	Model-Based Adaptation, Behavioural Adaptation, Semantic Adaptation, Input Output Labelled Transition Systems, Services
44	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
44	Farida Saad	Some critical issues when studying behavioural adaptations to new driver support systems.	Cogn. Technol. Work.	2006	DBLP DOI BibTeX RDF	Driving behaviour, Behavioural adaptation, New driving support systems, Traffic safety
44	Marco Rigolli, Michael Brady 0001	Towards a behavioural traffic monitoring system.	AAMAS	2005	DBLP DOI BibTeX RDF	behavioural traffic monitoring, multi-agent systems
44	Mathew A. Sacker, Andrew D. Brown, Peter R. Wilson, Andrew J. Rushton	A General Purpose Behavioural Asynchronous Synthesis System.	ASYNC	2004	DBLP DOI BibTeX RDF	Behavioural synthesis, asynchronous synthesis, cryptography
44	Rui Camacho, Pavel Brazdil	Improving the Robustness and Encoding Complexity of Behavioural Clones.	ECML	2001	DBLP DOI BibTeX RDF	behavioural cloning, decision trees, cognitive modeling
44	Harjit Singh, Steven Furnell, Benn Lines, Paul Dowland 0001	Investigating and Evaluating Behavioural Profiling and Intrusion Detection Using Data Mining.	MMM-ACNS	2001	DBLP DOI BibTeX RDF	Behavioural Profiling, Data Mining, Knowledge Discovery, Intrusion Detection Systems, Intelligent Data Analysis
44	Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre	Petri Net Based Behavioural Specification of CORBA Systems.	ICATPN	1999	DBLP DOI BibTeX RDF	behavioural specification, Distributed systems, CORBA, high-level Petri nets
42	Marco Aldinucci, Sonia Campa, Marco Danelutto, Marco Vanneschi, Peter Kilpatrick, Patrizio Dazzi, Domenico Laforenza, Nicola Tonellotto	Behavioural Skeletons in GCM: Autonomic Management of Grid Components.	PDP	2008	DBLP DOI BibTeX RDF	QoS, grid, autonomic computing, skeletons
42	Ninh-Thuan Truong, Jeanine Souquières	Verification of behavioural elements of UML models using B.	SAC	2005	DBLP DOI BibTeX RDF	UML, verification, metamodel, B, proof obligation
42	Peter R. Wilson, Reuben Wilcock	Behavioural modeling and simulation of a switched-current phase locked loop.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
42	Aaron McCoy, Seamus C. McLoone, Tomás Ward, Declan Delaney	Investigating Behavioural State Data-Partitioning for User-Modelling in Distributed Interactive Applications.	DS-RT	2004	DBLP DOI BibTeX RDF
42	Rafael Castro-López, Francisco V. Fernández 0001, Fernando Medeiro, Ángel Rodríguez-Vázquez	Behavioural Modelling and Simulation of SigmaDelta Modulators Using Hardware Description Languages.	DATE	2003	DBLP DOI BibTeX RDF
42	Jason Brand, John S. D. Mason, Sylvain Colomb	Visual Speech: A Physiological or Behavioural Biometric?	AVBPA	2001	DBLP DOI BibTeX RDF
42	Dimitrios Theotokis, Anya Sotiropoulou, Georgios Gyftodimos, Panagiotis Georgiadis 0001	A Comparison of Design Patterns and Roles in the Context of Behavioural Evolution.	Panhellenic Conference on Informatics	2001	DBLP DOI BibTeX RDF
42	Michel Bidoit, Rolf Hennicker	Proving Behavioural Theorems with Standard First-Order Logic.	ALP	1994	DBLP DOI BibTeX RDF
42	Michael J. Butler	Behavioural Extension for CSP.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
38	Brian Cugelman, Mike Thelwall, Phil Dawes	Communication-based influence components model.	PERSUASIVE	2009	DBLP DOI BibTeX RDF	social marketing, internet, communication, web, online, behaviour
37	Simon Edward Parkin, Aad P. A. van Moorsel, Robert Coles	An information security ontology incorporating human-behavioural implications.	SIN	2009	DBLP DOI BibTeX RDF	human behavioural implications, information security ontology, password policy
37	A. Maciej Rossudowski, Hein S. Venter, Jan H. P. Eloff	Personal Anomaly-based Intrusion Detection Smart Card Using Behavioural Analysis.	SEC	2007	DBLP DOI BibTeX RDF	personal IDS, smart card, Intrusion Detection System, IDS, behavioural analysis
37	Toni Conde, Daniel Thalmann	Learnable behavioural model for autonomous virtual agents: low-level learning.	AAMAS	2006	DBLP DOI BibTeX RDF	AI-based animation, machine learning, reinforcement learning, computer animation, character animation, behavioural modelling
37	Neil Walkinshaw, Marc Roper, Murray Wood	Understanding Object-Oriented Source Code from the Behavioural Perspective.	IWPC	2005	DBLP DOI BibTeX RDF	hammock graphs, behavioural comprehension, slicing
37	G. Fletcher, Rhona Flin, P. McGeorge, R. Glavin, N. Maran, Rona Patey	Rating non-technical skills: developing a behavioural marker system for use in anaesthesia.	Cogn. Technol. Work.	2004	DBLP DOI BibTeX RDF	Non-technical skills, Behavioural marker system, Anaesthesia, Performance assessment, Cognitive task analysis
37	Hongwen Zhang 0002, Brian Wyvill	Behavioural simulation in voxel space.	CA	1997	DBLP DOI BibTeX RDF	voxel space, behavioural simulation, olfactory sensors, mass transfer theory, artificial butterflies, collision detection, computer animation, voxel representation
37	M. W. Shields	Behavioural Presentations.	REX Workshop	1988	DBLP DOI BibTeX RDF	behavioural presentations, asynchronous automata, Parallelism, concurrency, transition systems, event structures
35	Dilian Gurov, Marieke Huisman	Reducing Behavioural to Structural Properties of Programs with Procedures.	VMCAI	2009	DBLP DOI BibTeX RDF
35	Pietro Carlo Cacciabue, F. Saad	Behavioural adaptations to driver support systems: a modelling and road safety perspective.	Cogn. Technol. Work.	2008	DBLP DOI BibTeX RDF
35	Marco Danelutto, Giorgio Zoppi	Behavioural Skeletons Meeting Services.	ICCS (1)	2008	DBLP DOI BibTeX RDF
35	Eric Filiol, Grégoire Jacob, Mickaël Le Liard	Evaluation methodology and theoretical model for antiviral behavioural detection strategies.	J. Comput. Virol.	2007	DBLP DOI BibTeX RDF	Black-box analysis, Metamorphism, Detection model, Polymorphism, Malware, Malware detection, Antivirus
35	Bas Graaf, Arie van Deursen	Model-Driven Consistency Checking of Behavioural Specifications.	MOMPES	2007	DBLP DOI BibTeX RDF
35	Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell 0001	An Accessible Approach to Behavioural Pseudometrics.	ICALP	2005	DBLP DOI BibTeX RDF
35	Yan Jin, Jun Han 0004	Runtime Validation of Behavioural Contracts for Component Software.	QSIC	2005	DBLP DOI BibTeX RDF
35	Ayman Mounir, Ahmed Mostafa, Maged Fikry	Automatic Behavioural Model Calibration for Efficient PLL System Verification.	DATE	2003	DBLP DOI BibTeX RDF
35	Shin-ya Katsumata	Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages.	WADT	2002	DBLP DOI BibTeX RDF
35	Michel Bidoit, Rolf Hennicker	Modular Correctness Proofs of Behavioural Implementations.	Acta Informatica	1998	DBLP DOI BibTeX RDF
32	Julie Maitland, Matthew Chalmers	Self-monitoring, self-awareness, and self-determination in cardiac rehabilitation.	CHI	2010	DBLP DOI BibTeX RDF	cardiac rehabilitation, dietary intake, health-related behavioural change, physical activity, self-monitoring
32	Jostein Jensen	A Novel Testbed for Detection of Malicious Software Functionality.	ARES	2008	DBLP DOI BibTeX RDF	testbed, malware, honeypot, behavioural analysis
32	Helle Hvid Hansen, Clemens Kupke, Eric Pacuit	Bisimulation for Neighbourhood Structures.	CALCO	2007	DBLP DOI BibTeX RDF	Neighbourhood semantics, non-normal modal logic, behavioural equivalence, invariance, bisimulation
32	Kingsley Stephens, Binh Pham 0001, Aster Wardhani	Modelling fish behaviour.	GRAPHITE	2003	DBLP DOI BibTeX RDF	behavioural animation, fish, artificial life, modeling techniques, schooling, autonomous characters
32	Carlos Delgado-Mata, Ruth Aylett	Communicating Emotion in Virtual Environments through Artificial Scents.	IVA	2001	DBLP DOI BibTeX RDF	behavioural architecture, virtual smell, virtual environment, emotion, autonomous agents, multiple agents, virtual sensors
32	Matthew Hennessy	Observing processes.	REX Workshop	1988	DBLP DOI BibTeX RDF	behavioural semantics, testing, process algebras, Concurrent Processes
30	Nalaka Gooneratne, Zahir Tari, James Harland	Verification of web service descriptions using graph-based traversal algorithms.	SAC	2007	DBLP DOI BibTeX RDF	consistent descriptions, verification, service descriptions
30	Peter Y. H. Wong, Jeremy Gibbons	A Process-Algebraic Approach to Workflow Specification and Refinement.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
30	Javier Morales, Luís Ferreira Pires, Marten van Sinderen	Model Driven Geo-Information System's Development.	EDOC	2002	DBLP DOI BibTeX RDF
30	Kim Guldstrand Larsen	The Expressive Power of Implicit Specifications.	ICALP	1991	DBLP DOI BibTeX RDF
29	Yang Yang, Adrian Osmond, Xiaoyu Chen, Mark J. Weal, Gary B. Wills, David De Roure, Judith Joseph, Lucy Yardley	Supporting the Running and Analysis of Trials of Web-Based Behavioural Interventions: The LifeGuide.	eScience	2009	DBLP DOI BibTeX RDF	Behavioural intervention
29	Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni	Interactive Specification and Verification of Behavioural Adaptation Contracts.	QSIC	2009	DBLP DOI BibTeX RDF	components and services, behavioural interface, adaptation, validation and verification, graphical notation
29	Stéphane Donikian	Multilevel Modelling of Virtual Urban Environments for Behavioural Animation.	CA	1997	DBLP DOI BibTeX RDF	Behavioural Animation, Virtual Environments, Geometric Modelling, Driving Simulation
29	Kim Sunesen, Mogens Nielsen	Behavioural Equivalence for Infinite Systems - Partially Decidable!	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Behavioural Equivalence, Petri Nets, Decidability, Process Calculi, Partial Order Methods
29	Robert A. Cottrell	Event-driven behavioural simulation of analogue transfer functions.	EURO-DAC	1990	DBLP DOI BibTeX RDF	Behavioural Simulation, Mixed Analogue-Digital Simulation, Modelling
27	Wei Yan, Christopher D. Clack	Behavioural GP diversity for adaptive stock selection.	GECCO	2009	DBLP DOI BibTeX RDF	genetic programming, robustness, diversity, dynamic environment, finance, phenotype
27	Jens Chr. Godskesen, Sebastian Nanz	Mobility Models and Behavioural Equivalence for Wireless Networks.	COORDINATION	2009	DBLP DOI BibTeX RDF
27	Antonio Cerone, Simon Connelly, Peter A. Lindsay	Formal analysis of human operator behavioural patterns in interactive surveillance systems.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF
27	Ali Aït-Bachir, Marlon Dumas, Marie-Christine Fauvet	Detecting Behavioural Incompatibilities between Pairs of Services.	ICSOC Workshops	2008	DBLP DOI BibTeX RDF
27	Sawal Ali, Reuben Wilcock, Peter R. Wilson, Andrew D. Brown	A New Approach for Combining Yield and Performance in Behavioural Models for Analogue Integrated Circuits.	DATE	2008	DBLP DOI BibTeX RDF
27	Brian Cugelman, Mike Thelwall, Phil Dawes	Website Credibility, Active Trust and Behavioural Intent.	PERSUASIVE	2008	DBLP DOI BibTeX RDF	social marketing, advocacy, website credibility, Internet, trust, online, behaviour, captology
27	Ali Aït-Bachir, Marlon Dumas, Marie-Christine Fauvet	BESERIAL: Behavioural Service Interface Analyser.	BPM	2008	DBLP DOI BibTeX RDF
27	Alexei Sharpanskykh, Jan Treur	Relating Cognitive Process Models to Behavioural Models of Agents.	IAT	2008	DBLP DOI BibTeX RDF
27	Janet Rothwell, Zuhair Bandar, James O'Shea, David McLean 0001	Charting the behavioural state of a person using a backpropagation neural network.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF	Nonverbal, Backpropagation, Deception, Behaviour, Multichannels, Chart
27	Franck van Breugel, Babita Sharma, James Worrell 0001	Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems.	FoSSaCS	2007	DBLP DOI BibTeX RDF
27	Kenneth Revett	A Bioinformatics Based Approach to Behavioural Biometrics.	FBIT	2007	DBLP DOI BibTeX RDF	position specific scoring matrix, Biometrics, keystroke dynamics
27	Nabil Hameurlain	Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS.	ESAW	2007	DBLP DOI BibTeX RDF
27	Wing Lok Yeung	Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services.	ECOWS	2006	DBLP DOI BibTeX RDF	Choreography description language, model checking, formal methods, CSP, business process execution language
27	Wei Yan, Christopher D. Clack	Behavioural GP diversity for dynamic environments: an application in hedge fund investment.	GECCO	2006	DBLP DOI BibTeX RDF	adaptation, genetic programming, diversity, dynamic environment, finance, phenotype
27	Pascal Poizat, Jean-Claude Royer, Gwen Salaün	Bounded Analysis and Decomposition for Behavioural Descriptions of Components.	FMOODS	2006	DBLP DOI BibTeX RDF
27	M. A. Ochoa-Montiel, Bashir M. Al-Hashimi, Peter Kollig	Impact of multicycled scheduling on power-area tradeoffs in behavioural synthesis.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
27	Franck van Breugel	A Behavioural Pseudometric for Metric Labelled Transition Systems.	CONCUR	2005	DBLP DOI BibTeX RDF
27	Robert J. Hall 0001, Andrea Zisman	OMML: A Behavioural Model Interchange Format.	RE	2004	DBLP DOI BibTeX RDF
27	Farida Saad	Behavioural adaptations to new driver support systems: some critical issues.	SMC (1)	2004	DBLP DOI BibTeX RDF
27	Eduardo F. Morales 0001, Claude Sammut	Learning to fly by combining reinforcement learning with behavioural cloning.	ICML	2004	DBLP DOI BibTeX RDF
27	Ali E. Abdallah, John Hawkins	Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications.	HICSS	2003	DBLP DOI BibTeX RDF
27	Won Nah, Seung-Beom Hong, Joong-Hwan Baek	Feature Extraction for Classification of Caenorhabditis Elegans Behavioural Phenotypes.	IEA/AIE	2003	DBLP DOI BibTeX RDF
27	Natenapa Sriharee, Twittie Senivongse	Discovering Web Services Using Behavioural Constraints and Ontology.	DAIS	2003	DBLP DOI BibTeX RDF
27	Richard Sharp	Functional Design Using Behavioural and Structural Components.	FMCAD	2002	DBLP DOI BibTeX RDF
27	Albert Lai, Gail C. Murphy	Behavioural Concern Modelling for Software Change Tasks.	ICSM	2002	DBLP DOI BibTeX RDF
27	Shin Nakajima 0001, Tetsuo Tamai	Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture.	SPIN	2001	DBLP DOI BibTeX RDF
27	Oliver Diessel, George J. Milne	Behavioural Language Compilation with Virtual Hardware Management.	FPL	2000	DBLP DOI BibTeX RDF
27	Akira Mori, Kokichi Futatsugi	Verifying Behavioural Specifications in CafeOBJ Environment.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
27	Rob Pooley	Integrating Behavioural and Simulation Modelling.	MMB	1995	DBLP DOI BibTeX RDF
27	Joachim Parrow	Structural and Behavioural Equivalences of Networks.	ICALP	1990	DBLP DOI BibTeX RDF
27	Raul Camposano, Wolfgang Rosenstiel	Synthesizing circuits from behavioural descriptions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
27	Stefania Gnesi, Paola Inverardi, Monica Nesi	A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.	Concurrency	1988	DBLP DOI BibTeX RDF
24	Ben Kirman, Conor Linehan, Shaun W. Lawson, Derek Foster, Mark Doughty	There's a monster in my kitchen: using aversive feedback to motivate behaviour change.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	behavioural psychology, connected kitchens, environmental awareness, negative reinforcement, persuasive technology