|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1231 occurrences of 836 keywords
|
|
|
Results
Found 3200 publication records. Showing 3200 according to the selection in the facets
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 |
Displaying result #1 - #100 of 3200 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|