|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8082 occurrences of 3958 keywords
|
|
|
Results
Found 16063 publication records. Showing 16062 according to the selection in the facets
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 |
|
|
|