|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9125 occurrences of 4100 keywords
|
|
|
Results
Found 12713 publication records. Showing 12713 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Jerry Boetje |
Foundational actions: teaching software engineering when time is tight. |
ITiCSE |
2006 |
DBLP DOI BibTeX RDF |
software engineering, education, pedagogy, software, tools, process, engineering, undergraduate |
20 | Sébastien Jodogne, Justus H. Piater |
Task-Driven Discretization of the Joint Space of Visual Percepts and Continuous Actions. |
ECML |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Haris Dindo, Ignazio Infantino |
Representation, Recognition and Generation of Actions in the Context of Imitation Learning. |
EUROS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | David Minnen, Thad Starner, Irfan A. Essa, Charles Lee Isbell Jr. |
Discovering Characteristic Actions from On-Body Sensor Data. |
ISWC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | James D. Jones |
Using Logic Programming to Detect Deception on the Basis of Actions. |
ISI |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls |
Computing optimal self-repair actions: damage minimization versus repair time. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, dependability, deployment, self-healing |
20 | Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre |
DynAlloy: upgrading alloy with actions. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
software specification, dynamic logic, alloy, software validation |
20 | Kean-Huat Soon, Werner Kuhn |
Formalizing User Actions for Ontologies. |
GIScience |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Taketoshi Mori, Yushi Segawa, Masamichi Shimosaka, Tomomasa Sato |
Hierarchical Recognition of Daily Human Actions Based on Continuous Hidden Markov Models. |
FGR |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Miguel Pérez-Ramírez, Chris Fox |
Imperatives as Obligatory and Permitted Actions. |
CICLing |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Nikos Papadakis, Dimitris Plexousakis |
Addressing the Ramification Problem in a Temporal Context: The Case of Concurrent Actions. |
ICTAI |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Alfonso Gerevini, Alessandro Saetti, Ivan Serina |
On Managing Temporal Information for Handling Durative Actions in LPG. |
AI*IA |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Aaron Bloomfield, Yu Deng, Jeff Wampler, Pascale Rondot, Dina Harth, Mary McManus, Norman I. Badler |
A Taxonomy and Comparison of Haptic Actions for Disassembly Tasks. |
VR |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Charles X. Ling, Tielin Chen, Qiang Yang 0001, Jie Cheng |
Mining Optimal Actions for Profitable CRM. |
ICDM |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Yan Zhang 0003, Norman Y. Foo |
Representing Actions over Dynamic Domains. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Nikos Papadakis, Dimitris Plexousakis |
Actions with Duration and Constraints: the Ramification Problem in Temporal Databases. |
ICTAI |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Alexandra M. Coddington |
A Continuous Planning Framework with Durative Actions. |
TIME |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Ralf Schoknecht, Martin A. Riedmiller |
Speeding-up Reinforcement Learning with Multi-step Actions. |
ICANN |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jordi Gonzàlez 0001, Xavier Varona, F. Xavier Roca, Juan José Villanueva |
aSpaces : Action Spaces for Recognition and Synthesis of Human Actions. |
AMDO |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Khaled Ben Lamine, Froduald Kabanza |
Reasoning about Robot Actions: A Model Checking Approach. |
Advances in Plan-Based Control of Robotic Agents |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Ed Huai-hsin Chi, Peter Pirolli, Kim Chen, James E. Pitkow |
Using information scent to model user information needs and actions and the Web. |
CHI |
2001 |
DBLP DOI BibTeX RDF |
data mining, information retrieval, World Wide Web, usability, information foraging, information scent |
20 | Monika Wagener, Silvia Mecklenbräuker, Werner Wippich, Jörg E. Saathoff, André Melzer |
Preparing a Cup of Tea and Writing a Letter: Do Script-Based Actions Influence the Representation of a Real Environment? |
Spatial Cognition |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Stephen Zimmerbaum, Richard B. Scherl |
Sensing Actions, Time, and Concurrency in the Situation Calculus. |
ATAL |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Darnell J. Moore, Irfan A. Essa, Monson H. Hayes |
Exploiting Human Actions and Object Context for Recognition Tasks. |
ICCV |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Antonis C. Kakas, Rob Miller 0002, Francesca Toni |
An Argumentation Framework of Reasoning about Actions and Change. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Arkadi Estrin, Michael Kaminski |
The Expressive Power of Temporal Logic of Actions (Extended Abstract). |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
20 | John Fox 0001, Simon Parsons |
Arguing about beliefs and actions. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Myka, Ulrich Güntzer, Frank Sarre |
Monitoring user actions in the hypertext system "HyperMan". |
SIGDOC |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Christian Neusius |
Synchronizing Actions. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Martín Abadi |
An Axiomatization of Lamport's Temporal Logic of Actions. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Gilles Brassard, Moti Yung |
One-Way Group Actions. |
CRYPTO |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Rob J. van Glabbeek, Ursula Goltz |
Refinement of Actions in Causality Based Models. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
Petri nets, Concurrency, action refinement, event structures |
20 | Kurt Rothermel |
Communication primitives supporting the execution of atomic actions at remote sites. |
Comput. Commun. Rev. |
1984 |
DBLP DOI BibTeX RDF |
|
20 | David P. Reed |
Implementing Atomic Actions on Decentralized Data. |
SOSP |
1979 |
DBLP DOI BibTeX RDF |
|
19 | Nuno Saavedra, André Silva, Martin Monperrus |
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | William Mocaër |
Réseaux de Neurones à Convolution Spatio-Temporelle pour l'analyse et la reconnaissance précoce d'actions et de gestes. (Spatio-Temporal Convolutional Neural Networks for the analysis and early recognition of actions and gestures). |
|
2023 |
RDF |
|
19 | Edward W. N. Bernroider, G. Harindranath 0001, Sherif Kamel |
From connective actions in social movements to offline collective actions: an individual level perspective. |
Inf. Technol. People |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Johan Ferret |
On actions that matter: credit assignment and interpretability in reinforcement learning. (De l'importance des actions: assignation de crédit et interprétabilité pour l'apprentissage par renforcement). |
|
2022 |
RDF |
|
19 | Jens Claßen, James P. Delgrande |
An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Hugo Caselles-Dupré |
On the role of Actions and Machine Learning in Artificial Agent Perception. (Du rôle des Actions et de l'Apprentissage Automatique dans la Perception des Agents Artificiels). |
|
2021 |
RDF |
|
19 | Dimitri Zhukov |
Learning to localize goal-oriented actions with weak supervision. (Localisation faiblement supervisée des actions orientées vers un but). |
|
2021 |
RDF |
|
19 | Christine Largouët |
Intelligence Artificielle pour l'aide à la décision des systèmes dynamiques : Diagnostic, Prévision, Recommandation d'actions. (Artificial Intelligence for decision support in dynamic systems: Diagnosis, Prediction, Recommendation of actions). |
|
2019 |
RDF |
|
19 | Tom Decroos, Lotte Bransen, Jan Van Haaren, Jesse Davis |
Actions Speak Louder than Goals: Valuing Player Actions in Soccer. |
KDD |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Yuya Yoshikawa, Jiaqing Lin, Akikazu Takeuchi |
STAIR Actions: A Video Dataset of Everyday Home Actions. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
19 | Manuel Rodrigues, Ricardo Santos 0001, Paulo Novais |
Our Actions, Ourselves: How Unconscious Actions Become a Productivity Indicator. |
IntelliSys (2) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Carlos Maestre |
Autonomous and Online Generation of Skills Inferring Actions Adapted to Low-Level and High-Level Contextual States. (Génération autonome et en ligne de compétences déduisant des actions adaptées aux états contextuels de bas niveau et de haut niveau). |
|
2018 |
RDF |
|
19 | Nicolas Chesneau |
Learning to Recognize Actions with Weak Supervision. (Reconnaissance d'actions de manière faiblement supervisée). |
|
2018 |
RDF |
|
19 | Guilhem Chéron |
Structured modeling and recognition of human actions in video. (Modélisation structurée et reconnaissance des actions humaines dans les vidéos). |
|
2018 |
RDF |
|
19 | Christos Rantsoudis |
Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. (Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique). |
|
2018 |
RDF |
|
19 | Said Yacine Boulahia |
Reconnaissance en-ligne d'actions 3D par l'analyse des trajectoires du squelette humain. (Online 3D actions recognition by analyzing the trajectories of human's skeleton). |
|
2018 |
RDF |
|
19 | Hadi Teimouri, Kouroush Jenab, Hamid Reza Moazeni, Bardia Bakhtiari |
Studying Effectiveness of Human Resource Management Actions and Organizational Agility: Resource Management Actions and Organizational Agility. |
Inf. Resour. Manag. J. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Gunnar A. Sigurdsson, Olga Russakovsky, Abhinav Gupta 0001 |
What Actions are Needed for Understanding Human Actions in Videos? |
CoRR |
2017 |
DBLP BibTeX RDF |
|
19 | Kazuki Sakai, Fabio Dalla Libera, Yuichiro Yoshikawa, Hiroshi Ishiguro |
Generation of Bystander Robot Actions Based on Analysis of Relative Probability of Human Actions. |
J. Adv. Comput. Intell. Intell. Informatics |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Gunnar A. Sigurdsson, Olga Russakovsky, Abhinav Gupta 0001 |
What Actions are Needed for Understanding Human Actions in Videos? |
ICCV |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Neha Dawar, Nasser Kehtarnavaz |
Continuous detection and recognition of actions of interest among actions of non-interest using a depth camera. |
ICIP |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Aïsha Sahaï, Elisabeth Pacherie, Ouriel Grynszpan, Bruno Berberian |
Co-representation of human-generated actions vs. machine-generated actions: Impact on our sense of we-agency? |
RO-MAN |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Vicky Kalogeiton |
Localizing spatially and temporally objects and actions in videos. (Localiser spatio-temporallement des objets et des actions dans des vidéos). |
|
2017 |
RDF |
|
19 | Paul Hammond |
Distinguishing joint actions from collective actions. |
Synth. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Lukás Chrpa, Thomas Leo McCluskey, Hugh Osborne |
On the completeness of replacing primitive actions with macro-actions and its generalization to planning operators and macro-operators. |
AI Commun. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Joo Yun Lee, Hyeoun-Ae Park |
Is the ISO Reference Terminology Model for Nursing Actions Enough to Describe Nursing Actions? |
Nursing Informatics |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Eva Coupeté |
Reconnaissance de gestes et actions pour la collaboration homme-robot sur chaîne de montage. (Recognition of gestures and actions for man and robot collaboration on assembly line). |
|
2016 |
RDF |
|
19 | Guillaume Claude |
Séquencement d'actions en environnement virtuel collaboratif. (Actions sequencing incollaborative virtual environment). |
|
2016 |
RDF |
|
19 | Joseph Boudou |
Decision procedures for modal logics of actions, resources and concurrency. (Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence). |
|
2016 |
RDF |
|
19 | Simandeep K. Poonian, Jessica McFadyen, Jessica Ogden, Ross Cunnington |
Implicit Agency in Observed Actions: Evidence for N1 Suppression of Tones Caused by Self-made and Observed Actions. |
J. Cogn. Neurosci. |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Nesrine Fourati |
Classification and Characterization of Emotional Body Expression in Daily Actions. (Classification et Caractérisation de l'Expression Corporelle des Emotions dans des Actions Quotidiennes). |
|
2015 |
RDF |
|
19 | Agnieszka Wykowska, Ryad Chellali, Md. Mamun Al-Amin, Hermann J. Müller |
Implications of Robot Actions for Human Perception. How Do We Represent Actions of the Observed Robots? |
Int. J. Soc. Robotics |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Valerio Capraro, Alessandra Marcelletti |
Do good actions inspire good actions in others? |
CoRR |
2014 |
DBLP BibTeX RDF |
|
19 | Hideki Asoh, Ichiro Kobayashi |
Zero-Shot Learning of Language Models for Describing Human Actions Based on Semantic Compositionality of Actions. |
PACLIC |
2014 |
DBLP BibTeX RDF |
|
19 | Manuel Gesell, Klaus Schneider 0001 |
Translating synchronous guarded actions to interleaved guarded actions. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
19 | Mathieu Barnachon |
Reconnaissance d'actions en temps réel à partir d'exemples. (Real time actions recognition from examplars). |
|
2013 |
RDF |
|
19 | Djamila Seddig-Raufie, Ludger Jansen, Daniel Schober, Martin Boeker, Niels Grewe, Stefan Schulz 0001 |
Proposed actions are no actions: re-modeling an ontology design pattern with a realist top-level ontology. |
J. Biomed. Semant. |
2012 |
DBLP BibTeX RDF |
|
19 | Krystyna Grabski, Laurent Lamalle, Marc Sato |
Contrôle prédictif et codage du but des actions oro-faciales (Predictice control and coding of orofacial actions) [in French]. |
JEP-TALN-RECITAL 2012 |
2012 |
DBLP BibTeX RDF |
|
19 | Cleidson R. B. de Souza, David F. Redmiles |
The Awareness Network, To Whom Should I Display My Actions? And, Whose Actions Should I Monitor? |
IEEE Trans. Software Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Boris Lesner |
Planification et apprentissage par renforcement avec modèles d'actions compacts. (Planning and Reinforcement Learning With Compact Actions). |
|
2011 |
RDF |
|
19 | Alexander Kläser |
Learning human actions in video. (Apprentissage pour la reconnaissance d'actions humaines en vidéo). |
|
2010 |
RDF |
|
19 | Jee-In Hwang, Hyeoun-Ae Park |
Exploring the usability of the ISO reference terminology model for nursing actions in representing oriental nursing actions. |
Int. J. Medical Informatics |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Cleidson R. B. de Souza, David F. Redmiles |
The Awareness Network: To Whom Should I Display My Actions? And, Whose Actions Should I Monitor?. (PDF / PS) |
ECSCW |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Joseph Modayil, Benjamin Kuipers |
Where Do Actions Come From? Autonomous Robot Learning of Objects and Actions. |
AAAI Spring Symposium: Control Mechanisms for Spatial Knowledge Processing in Cognitive / Intelligent Systems |
2007 |
DBLP BibTeX RDF |
|
19 | Ross Cunnington, Christian Windischberger, Simon Robinson 0002, Ewald Moser |
The selection of intended actions and the observation of others' actions: A time-resolved fMRI study. |
NeuroImage |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ian Oakley |
Haptic augmentation of the cursor : transforming virtual actions into physical actions. |
|
2003 |
RDF |
|
19 | Anna Radzikowska |
Towards a Formalization of Narratives: Actions with Duration, Concurrent Actions and Qualifications. |
ECSQARU-FAPR |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Moriyoshi Teruya, Motofumi Hattori, Satoshi Tadokoro, Toshi Takamori, Kazuhito Yamada |
An analysis of BUNRAKU puppet actions for the generation of humanlike actions of home robots. |
IROS |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Fabrice Duermael |
Référence aux actions dans des dialogues de commande homme-machine. (Reference to actions in man-machine command dialogues). |
|
1994 |
RDF |
|
18 | Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son |
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Conformant Planning, Planning, Reasoning about Actions |
18 | Alfredo Capozucca, Nicolas Guelfi |
Designing reliable real-time concurrent object-oriented software systems. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, real-time, coordinated atomic actions |
18 | Toni Robertson, Lian Loke |
Designing situations. |
OZCHI |
2009 |
DBLP DOI BibTeX RDF |
Suchman, interactional resources, plans and situated actions, interaction design, design tool, situated action |
18 | Rodolfo Gómez 0001 |
A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
Urgent actions, Timed Automata with Deadlines, Uppaal |
18 | Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi |
Analysis and framework-based design of a fault-tolerant web information system for m-health. |
Serv. Oriented Comput. Appl. |
2008 |
DBLP DOI BibTeX RDF |
CAA-DRIP, Fault tolerance, SOA, Mobility, Dependability, Coordinated atomic actions |
18 | Michael Braun, Adalbert Kerber, Reinhard Laue |
Systematic Construction of q-Analogs of t-(v, k, lambda)-Designs. |
Des. Codes Cryptogr. |
2005 |
DBLP DOI BibTeX RDF |
designs over finite fields, Kramer-Mesner method, group actions, q-analogs, t-designs |
18 | Timothy William Cleaver, Abdul Sattar 0001, Kewen Wang 0001 |
Reasoning with the Outcomes of Plan Execution in Intentional Agents. |
Australian Conference on Artificial Intelligence |
2005 |
DBLP DOI BibTeX RDF |
AI architectures and Reasoning about Actions and Change, Agents |
18 | Angélica de Antonio, Ricardo Imbert, Jaime Ramírez, Xavier Ferré |
Usability issues in the design of an intuitive interface for planning and simulating maintenance interventions using a virtual environment. |
Virtual Real. |
2004 |
DBLP DOI BibTeX RDF |
Planning and design of interventions, Generic actions, Usability of desktop virtual environments, Object manipulation, Voice recognition |
18 | Ali Sabbir, Kaliappa Nadar Ravindran |
User-assisted tools for concurrency control in distributed multimedia collaborations. |
ACM Multimedia |
2004 |
DBLP DOI BibTeX RDF |
ordering of actions, shared window systems, user-level asynchrony, window consistency |
18 | Sule Nair, Rachel Cardell-Oliver |
Formal specification and analysis of performance variation in sensor network diffusion protocols. |
MSWiM |
2004 |
DBLP DOI BibTeX RDF |
temporal logic of actions, sensor network, formal specification, directed diffusion |
18 | George Xirogiannis, Michael Glykas |
Fuzzy Causal Maps in Business Modeling and Performance-Driven Process Re-engineering. |
SETN |
2004 |
DBLP DOI BibTeX RDF |
reasoning about actions and change, management, uncertainty, cognitive modeling |
18 | David V. Keyson, Marc de Hoogh, Jans Aasman |
Designing for pen and speech input in an object-action framework: the case of email. |
Univers. Access Inf. Soc. |
2003 |
DBLP DOI BibTeX RDF |
generic actions, Webpad, navigation, user interface design, Multimodal interaction, objects, email, pen input, speech input |
18 | Anneke Kleppe, Jos Warmer |
The Semantics of the OCL Action Clause. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
action clause, UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions |
18 | Giuseppe Coldani, L. Cotrino, Giovanni Danese, Francesco Leporati, M. Maneri |
Notacheck: A Parallel DSP-Based Architecture for Real Time High Resolution Inspection of Bank-Notes. |
CAMP |
2000 |
DBLP DOI BibTeX RDF |
Notacheck, parallel DSP-based architecture, real time high resolution inspection, bank-notes, time-triggered synchronised actions, distributed architecture system, real-time systems, real time systems, real-time control, computer engineering, feedback loops, visual inspection |
18 | José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma |
Dynamic Knowledge Representation and Its Applications. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
Updates of Knowledge Bases, Dynamic Knowledge Representation, Generalized Logic Programs, Theory of Actions |
18 | G. Butler, Christine Mingins |
YooccLa: A Parser Generator for L-Attributed Grammars. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
YooccLa, left-attributed grammars, object-oriented compiler compiler, nonleft-recursive LL grammar, EBNF-like language, Eiffel features, semantic actions, Eiffel Parse library, syntax class, software engineering, object-oriented programming, specification languages, object-oriented languages, software libraries, attribute grammars, compiler generators, parser generator |
18 | Ileana Ober |
More Meaningful UML Models. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics |
Displaying result #201 - #300 of 12713 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|