|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, pp. 54-69, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSA ![In: Software Architecture, First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings, pp. 115-134, 2004, Springer, 3-540-22000-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, pp. 144-161, 2004, Springer, 3-540-25327-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
59 | Barry Norton |
Ontology-Based Behavioural Reasoning for Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers, pp. 542-553, 2008, Springer, 978-3-642-00327-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
behavioural reasoning, Semantic Business Process Management |
56 | J. Christian Attiogbé, Pascal André, Gilles Ardourel |
Checking Component Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 5th International Symposium, SC@ETAPS 2006, Vienna, Austria, March 25-26, 2006, Revised Papers, pp. 18-33, 2006, Springer, 3-540-37657-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. des Télécommunications ![In: Ann. des Télécommunications 64(1-2), pp. 25-43, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 309-321, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
behavioural subtyping, supertype abstraction, object-oriented programming, SPARK, modular reasoning |
50 | Razvan Diaconescu |
Behavioural Specification for Hierarchical Object Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, pp. 134-156, 2003, Springer, 3-540-22942-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Michel Bidoit, Andrzej Tarlecki |
Behavioural Satisfaction and Equivalence in Concrete Model Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings, pp. 241-256, 1996, Springer, 3-540-61064-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
50 | Martin Hofmann 0001, Donald Sannella |
On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 247-261, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
50 | Michel Bidoit, Rolf Hennicker, Martin Wirsing |
Characterizing Behavioural Semantics and Abstractor Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 105-119, 1994, Springer, 3-540-57880-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
50 | Rolf Hennicker |
Context Induction: a Proof Principle for Behavioural Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, pp. 101-110, 1990, Springer, 3-540-52531-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Luca Pazzi |
Extending statecharts for representing parts and wholes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 207-214, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGHIT Rec. ![In: SIGHIT Rec. 1(1), pp. 4-9, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Lucia Acciai, Michele Boreale |
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, pp. 31-42, 2009, Springer, 978-3-642-02929-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 12(1), pp. 37-72, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2008, 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings, pp. 62-76, 2008, Springer, 978-3-540-85480-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 146-162, 2008, Springer, 978-3-540-78742-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 5(1), pp. 91-107, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 8(3), pp. 175-181, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 449-454, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 10th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2004), 19-23 April 2004, Crete, Greece, pp. 125-134, 2004, IEEE Computer Society, 0-7695-2133-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Behavioural synthesis, asynchronous synthesis, cryptography |
44 | Rui Camacho, Pavel Brazdil |
Improving the Robustness and Encoding Complexity of Behavioural Clones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: EMCL 2001, 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001, Proceedings, pp. 37-48, 2001, Springer, 3-540-42536-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM-ACNS ![In: Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security, International Workshop MMM-ACNS 2001, St. Petersburg, Russia, May 21-23, 2001, Proceedings, pp. 153-158, 2001, Springer, 3-540-42103-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 66-85, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 13-15 February 2008, Toulouse, France, pp. 54-63, 2008, IEEE Computer Society, 978-0-7695-3089-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1546-1552, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 5174-5177, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 21-23 October 2004, Budapest, Hungary, pp. 74-82, 2004, IEEE Computer Society, 0-7695-2232-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 10168-10175, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Jason Brand, John S. D. Mason, Sylvain Colomb |
Visual Speech: A Physiological or Behavioural Biometric? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVBPA ![In: Audio- and Video-Based Biometric Person Authentication, Third International Conference, AVBPA 2001 Halmstad, Sweden, June 6-8, 2001, Proceedings, pp. 157-168, 2001, Springer, 3-540-42216-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Panhellenic Conference on Informatics ![In: Advances in Informatics, 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers, pp. 420-439, 2001, Springer, 3-540-07544-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Michel Bidoit, Rolf Hennicker |
Proving Behavioural Theorems with Standard First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings, pp. 41-58, 1994, Springer, 3-540-58431-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
42 | Michael J. Butler |
Behavioural Extension for CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 254-267, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
38 | Brian Cugelman, Mike Thelwall, Phil Dawes |
Communication-based influence components model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PERSUASIVE ![In: Persuasive Technology, Fourth International Conference, PERSUASIVE 2009, Claremont, California, USA, April 26-29, 2009. Proceedings, pp. 17, 2009, ACM, 978-1-60558-376-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIN ![In: Proceedings of the 2nd International Conference on Security of Information and Networks, SIN 2009, Gazimagusa, North Cyprus, October 6-10, 2009, pp. 46-55, 2009, ACM, 978-1-60558-412-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: New Approaches for Security, Privacy and Trust in Complex Environments, Proceedings of the IFIP TC-11 22nd International Information Security Conference (SEC 2007), 14-16 May 2007, Sandton, South Africa, pp. 217-228, 2007, Springer, 978-0-387-72366-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 89-96, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 13th International Workshop on Program Comprehension (IWPC 2005), 15-16 May 2005, St. Louis, MO, USA, pp. 215-224, 2005, IEEE Computer Society, 0-7695-2254-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 6(3), pp. 165-171, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CA ![In: Computer Animation 1997, CA 1997, Geneva, Switzerland, June 4-7, 1997, pp. 119-126, 1997, IEEE Computer Society, 0-8186-7984-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 673-689, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 136-150, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Pietro Carlo Cacciabue, F. Saad |
Behavioural adaptations to driver support systems: a modelling and road safety perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 10(1), pp. 31-39, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Marco Danelutto, Giorgio Zoppi |
Behavioural Skeletons Meeting Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I, pp. 146-153, 2008, Springer, 978-3-540-69383-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. ![In: J. Comput. Virol. 3(1), pp. 23-37, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 115-126, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell 0001 |
An Accessible Approach to Behavioural Pseudometrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 1018-1030, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Yan Jin, Jun Han 0004 |
Runtime Validation of Behavioural Contracts for Component Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Fifth International Conference on Quality Software (QSIC 2005), 19-20 September 2005, Melbourne, Australia, pp. 177-186, 2005, IEEE Computer Society, 0-7695-2472-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Ayman Mounir, Ahmed Mostafa, Maged Fikry |
Automatic Behavioural Model Calibration for Efficient PLL System Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 20280-20285, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Shin-ya Katsumata |
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, pp. 284-298, 2002, Springer, 3-540-20537-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Michel Bidoit, Rolf Hennicker |
Modular Correctness Proofs of Behavioural Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(11), pp. 951-1005, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Julie Maitland, Matthew Chalmers |
Self-monitoring, self-awareness, and self-determination in cardiac rehabilitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1213-1222, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 292-301, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
testbed, malware, honeypot, behavioural analysis |
32 | Helle Hvid Hansen, Clemens Kupke, Eric Pacuit |
Bisimulation for Neighbourhood Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 279-293, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 1st International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2003, Melbourne, Australia, February 11-14, 2003, pp. 71-78, 2003, ACM, 1-58113-578-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, Third International Workshop, IVA 2001, Madrid, Spain, September 10-11, 2001, Proceedings, pp. 36-46, 2001, Springer, 3-540-42570-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
behavioural architecture, virtual smell, virtual environment, emotion, autonomous agents, multiple agents, virtual sensors |
32 | Matthew Hennessy |
Observing processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 173-200, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1385-1392, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 6th International Symposium, SC@ETAPS 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers, pp. 51-65, 2007, Springer, 978-3-540-77350-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Javier Morales, Luís Ferreira Pires, Marten van Sinderen |
Model Driven Geo-Information System's Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 17-20 September 2002, Lausanne, Switzerland, Proceedings, pp. 155-166, 2002, IEEE Computer Society, 0-7695-1742-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Kim Guldstrand Larsen |
The Expressive Power of Implicit Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings, pp. 204-216, 1991, Springer, 3-540-54233-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: Fifth International Conference on e-Science, e-Science 2009, 9-11 December 2009, Oxford, UK, pp. 50-57, 2009, IEEE Computer Society, 978-0-7695-3877-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009, pp. 65-75, 2009, IEEE Computer Society, 978-0-7695-3828-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CA ![In: Computer Animation 1997, CA 1997, Geneva, Switzerland, June 4-7, 1997, pp. 127-, 1997, IEEE Computer Society, 0-8186-7984-0. The full citation details ...](Pics/full.jpeg) |
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! ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 460-479, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990, pp. 240-243, 1990, IEEE Computer Society, 0-8186-2024-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1641-1648, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 106-122, 2009, Springer, 978-3-642-02052-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Antonio Cerone, Simon Connelly, Peter A. Lindsay |
Formal analysis of human operator behavioural patterns in interactive surveillance systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(3), pp. 273-286, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Ali Aït-Bachir, Marlon Dumas, Marie-Christine Fauvet |
Detecting Behavioural Incompatibilities between Pairs of Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC Workshops ![In: Service-Oriented Computing - ICSOC 2008 Workshops, ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers, pp. 79-90, 2008, Springer, 978-3-642-01246-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 152-157, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Brian Cugelman, Mike Thelwall, Phil Dawes |
Website Credibility, Active Trust and Behavioural Intent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PERSUASIVE ![In: Persuasive Technology, Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings, pp. 47-57, 2008, Springer, 978-3-540-68500-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings, pp. 374-377, 2008, Springer, 978-3-540-85757-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Alexei Sharpanskykh, Jan Treur |
Relating Cognitive Process Models to Behavioural Models of Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sydney, NSW, Australia, December 9-12, 2008, pp. 330-335, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 16(4-5), pp. 327-339, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings, pp. 123-137, 2007, Springer, 978-3-540-71388-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Kenneth Revett |
A Bioinformatics Based Approach to Behavioural Biometrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBIT ![In: Frontiers in the Convergence of Bioscience and Information Technologies 2007, FBIT 2007, Jeju Island, Korea, October 11-13, 2007, pp. 665-670, 2007, IEEE Computer Society, 978-0-7695-2999-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World VIII, 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers, pp. 193-207, 2007, Springer, 978-3-540-87653-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Wing Lok Yeung |
Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOWS ![In: Fourth IEEE European Conference on Web Services (ECOWS 2006), 4-6 December 2006, Zürich, Switzerland, pp. 297-305, 2006, IEEE Computer Society, 0-7695-2737-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 1817-1824, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 33-47, 2006, Springer, 3-540-34893-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (4) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 4163-4166, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Franck van Breugel |
A Behavioural Pseudometric for Metric Labelled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, pp. 141-155, 2005, Springer, 3-540-28309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Robert J. Hall 0001, Andrea Zisman |
OMML: A Behavioural Model Interchange Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 12th IEEE International Conference on Requirements Engineering (RE 2004), 6-10 September 2004, Kyoto, Japan, pp. 272-282, 2004, IEEE Computer Society, 0-7695-2174-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Farida Saad |
Behavioural adaptations to new driver support systems: some critical issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (1) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 288-293, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Eduardo F. Morales 0001, Claude Sammut |
Learning to fly by combining reinforcement learning with behavioural cloning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-first International Conference (ICML 2004), Banff, Alberta, Canada, July 4-8, 2004, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Ali E. Abdallah, John Hawkins |
Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 278, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Won Nah, Seung-Beom Hong, Joong-Hwan Baek |
Feature Extraction for Classification of Caenorhabditis Elegans Behavioural Phenotypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings, pp. 287-295, 2003, Springer, 3-540-40455-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Natenapa Sriharee, Twittie Senivongse |
Discovering Web Services Using Behavioural Constraints and Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings, pp. 248-259, 2003, Springer, 3-540-20529-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Richard Sharp |
Functional Design Using Behavioural and Structural Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, pp. 324-341, 2002, Springer, 3-540-00116-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Albert Lai, Gail C. Murphy |
Behavioural Concern Modelling for Software Change Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada, pp. 112-121, 2002, IEEE Computer Society, 0-7695-1819-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Shin Nakajima 0001, Tetsuo Tamai |
Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 163-182, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Oliver Diessel, George J. Milne |
Behavioural Language Compilation with Virtual Hardware Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, The Roadmap to Reconfigurable Computing, 10th International Workshop, FPL 2000, Villach, Austria, August 27-30, 2000, Proceedings, pp. 707-717, 2000, Springer, 3-540-67899-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Akira Mori, Kokichi Futatsugi |
Verifying Behavioural Specifications in CafeOBJ Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1625-1643, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Rob Pooley |
Integrating Behavioural and Simulation Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMB ![In: Quantitative Evaluation of Computing and Communication Systems, 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modeling and Evaluating Computing and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995, Proceedings, pp. 102-116, 1995, Springer, 3-540-60300-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Joachim Parrow |
Structural and Behavioural Equivalences of Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings, pp. 540-552, 1990, Springer, 3-540-52826-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Raul Camposano, Wolfgang Rosenstiel |
Synthesizing circuits from behavioural descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8(2), pp. 171-180, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 181-196, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 2685-2694, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|