Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Anthony Hunter, Simon Parsons |
Introduction to uncertainty formalisms. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
74 | Simon Parsons, Anthony Hunter |
A review of uncertainty handling formalisms. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
59 | Bill Keller |
Formalisms for grammatical knowledge representation. |
Artif. Intell. Rev. |
1992 |
DBLP DOI BibTeX RDF |
constituent structure, feature structures, knowledge representation, natural language, parsing, grammar, unification |
56 | Fernando J. Barros |
Modeling Formalisms for Dynamic Structure Systems. |
ACM Trans. Model. Comput. Simul. |
1997 |
DBLP DOI BibTeX RDF |
dynamic structure systems specifications, parallel modeling formalisms |
45 | Marco Beccuti, Giuliana Franceschinis, Serge Haddad |
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Yimin Wang, Jie Bao 0001, Peter Haase 0001, Guilin Qi |
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems. |
RR |
2007 |
DBLP DOI BibTeX RDF |
modular ontologies, requirements, Distributed information systems, semantic technology |
43 | Umair Siddique, Sofiène Tahar |
On the Formalization of Cardinal Points of Optical Systems. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Nathaniel Moseley, Cecilia Ovesdotter Alm, Manjeet Rege |
On Utilizing Nonstandard Abbreviations and Lexicon to Infer Demographic Attributes of Twitter Users. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Luke K. McDowell, Aaron Fleming, Zane Markel |
Evaluating and Extending Latent Methods for Link-Based Classification. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Éric Grégoire |
Any-Time Knowledge Revision and Inconsistency Handling. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Abdelli Abdelkrim |
Towards a General Model to Handle Multi-enabledness in Time Petri Nets. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Sarfaraz Soomro, Andréa M. Matsunaga, José A. B. Fortes |
Simplifying Extract-Transform-Load for Ranked Hierarchical Trees via Mapping Specifications. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Johanna Nellen, Erika Ábrahám, Benedikt Wolters |
A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Aymen Louati, Kamel Barkaoui, Chadlia Jerad |
Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Mahin Abbasipour, Margarete Sackmann, Ferhat Khendek, Maria Toeroe |
A Model-Based Approach for User Requirements Decomposition and Component Selection. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Li Tan, Bolong Zeng |
Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni |
Formal Modeling and Analysis of Business Process Timed Constraints. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Thouraya Bouabana-Tebibel, Stuart H. Rubin, Miloud Bennama |
Forward and Backward Analysis of Weak Sequencing Specification. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Anthony Hunter, Simon Parsons (eds.) |
Applications of Uncertainty Formalisms |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
43 | Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang (eds.) |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997 |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1998 |
DBLP DOI BibTeX RDF |
|
43 | Pascal Nicolas, Torsten Schaub |
The XRay system: An implementation platform for local query-answering in default logics. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
43 | Jörg Gebhardt, Rudolf Kruse |
Background to and perspectives on possibilistic graphical models. |
Applications of Uncertainty Formalisms |
1998 |
DBLP BibTeX RDF |
|
43 | Patrick Bosc, Ludovic Liétard, Henri Prade |
An ordinal approach to the processing of fuzzy queries with flexible quantifiers. |
Applications of Uncertainty Formalisms |
1998 |
DBLP BibTeX RDF |
|
43 | Rolf Haenni |
Modelling uncertainty with propositional assumption-based systems. |
Applications of Uncertainty Formalisms |
1998 |
DBLP BibTeX RDF |
|
43 | Mounia Lalmas |
Information retrieval and Dempster-Shafer's theory of evidence. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
43 | John Fox 0001, Simon Parsons |
Arguing about beliefs and actions. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
43 | Alessandro Saffiotti |
Handling uncertainty in control of autonomous robots. |
Applications of Uncertainty Formalisms |
1998 |
DBLP BibTeX RDF |
|
43 | Salem Benferhat, Laurent Garcia |
A local handling of inconsistent knowledge and default bases. |
Applications of Uncertainty Formalisms |
1998 |
DBLP BibTeX RDF |
|
43 | Maria Fernanda N. Ramalho |
Uncertainty measures associated with fuzzy rules for connection admission control in ATM Networks. |
Applications of Uncertainty Formalisms |
1998 |
DBLP BibTeX RDF |
|
43 | Karin van Dam |
Using uncertainty techniques in radio communication systems. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
43 | Frances M. T. Brazier, Joeri Engelfriet, Jan Treur |
Analysis of multi-interpretable ecological monitoring information. |
Applications of Uncertainty Formalisms |
1998 |
DBLP BibTeX RDF |
|
43 | Subrata Kumar Das |
How much does an agent believe: An extension of modal epistemic logic. |
Applications of Uncertainty Formalisms |
1998 |
DBLP BibTeX RDF |
|
43 | Marta Domingo, Lluís Godo, Carles Sierra |
Handling imperfect knowledge handling in Milord II for the identification of marine sponges. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
43 | Paolo Magni, Riccardo Bellazzi, Franco Locatelli |
Using uncertainty management techniques in medical therapy planning: A decision-theoretic approach. |
Applications of Uncertainty Formalisms |
1998 |
DBLP BibTeX RDF |
|
43 | John Bell, Zhisheng Huang |
Safety logics. |
Applications of Uncertainty Formalisms |
1998 |
DBLP BibTeX RDF |
|
43 | Ahmed Y. Tawfik, Eric Neufeld |
Model-based diagnosis: A probabilistic extension. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
43 | Duncan Wilson, Alistair Greig, John Gilby, Robert Smith |
Some problems in trying to implement uncertainty techniques in automated inspection. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
43 | Paul J. Krause, John Fox 0001, Philip N. Judson, Mukesh Patel |
Qualitative risk assessment fulfils a need. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
43 | John Bigham |
Correlation using uncertain and temporal information. |
Applications of Uncertainty Formalisms |
1998 |
DBLP BibTeX RDF |
|
43 | Minjie Zhang |
A Case-Based Strategy for Solution Synthesis among Cooperative Expert Systems. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Sascha Ossowski, Ana García-Serrano |
Social Co-ordination among Autonomous Problem-Solving Agents. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Michael J. Wooldridge, Afsaneh Haddadi |
Making it Up as they Go along: A Theory of Reactive Cooperation (Invited Paper). |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Hung Hai Bui, Svetha Venkatesh, Dorota H. Kieronska |
A Framework for Coordination and Learning among Teams of Agents. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Dong Mei Zhang, Leila Alem, Kalina Yacef |
Using Multi-agent Approach for the Design of an Intelligent Learning Environment. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Li-Yan Yuan, Jia-Huai You, Randy Goebel |
Disjunctive Logic Programming and Possible Model Semantics (Invited Paper). |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Kazumi Nakamatsu, Atsuyuki Suzuki |
A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Bengt Carlsson, Stefan J. Johansson |
An Iterated Hawk-and-Dove Game. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Greg Gibbon, Janet Aisbett |
Switching between Reasoning and Search. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Bernard Moulin |
The Social Dimension of Interactions in Multiagent Systems. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Steven Shapiro, Yves Lespérance, Hector J. Levesque |
Specifying Communicative Multi-Agent Systems (Invited Paper). |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Chengqi Zhang, Yuefeng Li |
An Algorithm for Plan Verification in Multiple Agent Systems. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Timothy J. Norman, Nicholas R. Jennings |
Generating States of Joint Commitment between Autonomous Agents. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Alessio Lomuscio, Mark Ryan 0001 |
On the Relation between Interpreted Systems and Kripke Models. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Satoru Yoshida, Nobuhiro Inuzuka, Tin Tin Naing, Hirohisa Seki, Hidenori Itoh |
A Game-Theoretic Solution of Conflicts among Competitive Agents. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Chengqi Zhang, Xudong Luo |
Transformation between the EMYCIN Model and the Bayesian Network. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Wayne Wobcke |
Agency and the Logic of Ability. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Luciano Baresi, Alessandro Orso, Mauro Pezzè |
Customizable notations for kernel formalisms. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
customizable notations, kernel formalisms, intuitive graphical notations, specific application domain, formal specification, formal methods, graphical user interfaces, computer graphics, tool support, graphical notations, formal foundations |
42 | Juan de Lara, Hans Vangheluwe, Manuel Alfonseca 0001 |
Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism |
38 | Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind |
Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms. |
COSIT |
2009 |
DBLP DOI BibTeX RDF |
|
38 | S. J. Overbeek, Patrick van Bommel, Henderik Alex Proper, Daan B. B. Rijsenbrij |
Visualizing Formalisms with ORM Models. |
OTM Workshops (1) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Bernhard Nebel |
Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms. |
KI |
1999 |
DBLP DOI BibTeX RDF |
|
35 | M. Lusini, Enrico Vicario |
Engineering the usability of visual formalisms: a case study in real time logics. |
AVI |
1998 |
DBLP DOI BibTeX RDF |
usability engineering, visual formalisms, computer aided verification, real time logics |
35 | Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin |
Working with Multiple Ontologies on the Semantic Web. |
ISWC |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Juan de Lara, Hans Vangheluwe |
AToM3: A Tool for Multi-formalism and Meta-modelling. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
Multi-Formalism Modeling, Meta-Modeling, Modeling and Simulation, Graph Grammars, Automatic Code Generation |
35 | Manuel Clavel, Francisco Durán 0001, Steven Eker, José Meseguer 0001, Mark-Oliver Stehr |
Maude as a Formal Meta-tool. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Kim Guldstrand Larsen |
Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ... |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
35 | Fangqing Dong, Hiroshi Nakagawa |
Semantics of Non-montonic Reasoning based on Perfect Model. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
35 | Ashvin Radiya, Robert G. Sargent |
Differing Perspectives of Knowledge Representation in Artificial Intelligence and Discrete Event Modeling. |
KBCS |
1989 |
DBLP DOI BibTeX RDF |
|
34 | Nic Wilson |
Extending uncertainty formalisms to linear constraints and other complex formalisms. |
Int. J. Approx. Reason. |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Hernán P. Dacharry, Norbert Giambiasi |
Discrete event modeling through a multi-formalism approach, from a user-oriented perspective. |
SpringSim (2) |
2007 |
DBLP BibTeX RDF |
DEVS modeling methodology, multi-formalisms approach, discrete event modeling |
32 | Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster |
The Möbius Framework and Its Implementation. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
PEPA, execution policy, Markov models, Stochastic models, stochastic Petri nets, modeling tools, modeling frameworks, modeling formalisms |
32 | Norman Y. Foo, Dongmo Zhang, Yan Zhang 0003, Samir Chopra, Quoc Bao Vo |
Encoding Solutions of the Frame Problem in Dynamic Logic. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
relationships between formalisms, dynamic logic, frame problem |
31 | Nicholas Mark Gotts, J. Gareth Polhill |
Narrative Scenarios, Mediating Formalisms, and the Agent-Based Simulation of Land Use Change. |
EPOS |
2006 |
DBLP DOI BibTeX RDF |
Narrative scenarios, qualitative ontologies semantics simulation |
31 | Sylvain Soliman, François Fages |
CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Berndt Farwer, Irina A. Lomazova |
A Systematic Approach towards Object-Based Petri Net Formalisms. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Clemens Fischer, Heike Wehrheim |
Behavioural Subtyping Relations for Object-Oriented Formalisms. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Cornelis A. Middelburg |
Experiences with Combining Formalisms in VVSL. |
Algebraic Methods |
1989 |
DBLP DOI BibTeX RDF |
1987 CR categories D.2.1, D.2.2, D.3.1, F.3.1, F.4.1, F.3.2 |
28 | Adelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald |
One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II. |
FMSB |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Michelle L. Crane, Jürgen Dingel |
UML vs. classical vs. rhapsody statecharts: not all models are created equal. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis |
The OsMoSys approach to multi-formalism modeling of systems. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Multi-formalism modeling, Object orientation, Compositionality, Meta-languages |
28 | Hans Vangheluwe, Juan de Lara |
XML-based modeling and simulation: meta-models are models too. |
WSC |
2002 |
DBLP DOI BibTeX RDF |
|
28 | David Daly, William H. Sanders |
A Connection Formalism for the Solution of Large and Stiff Models. |
Annual Simulation Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens |
The Regular Real-Time Languages. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Yngve Dahl, Dag Svanæs |
Visualizing Interaction in Digitally Augmented Spaces: Steps Toward a Formalism for Location-Aware and Token-Based Interactive Systems. |
HCI (2) |
2007 |
DBLP DOI BibTeX RDF |
Ubiquitous computing, Interaction design, Visual design, Embodied interaction, Modeling formalisms |
25 | Andrew Fish, John Howse |
Towards a Default Reading for Constraint Diagrams. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
constraint diagrams, formal methods, software specification, diagrammatic reasoning, Visual formalisms |
25 | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001 |
Timed Patterns: TCOZ to Timed Automata. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
Modeling and specification formalisms |
25 | Helen Treharne, Steve A. Schneider, Marchia Bramble |
Composing Specifications Using Communication. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms |
25 | Valeria de Paiva |
Natural Deduction and Context as (Constructive) Modality. |
CONTEXT |
2003 |
DBLP DOI BibTeX RDF |
Logical formalisms for context, Representing context and contextual knowledge, Context in knowledge representation |
25 | João José Neto, César Bravo |
Adaptive Automata - A Revisited Proposal. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
adaptive devices, rule-driven formalisms, self-modifying machines, adaptive automata, adaptive paradigm |
25 | Steve A. Schneider, Helen Treharne |
Communicating B Machines. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
Concurrency, CSP, B-Method, Combining Formalisms |
25 | João José Neto |
Adaptive Rule-Driven Devices - General Formulation and Case Study. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
adaptive devices, rule-driven formalisms, self-modifying machines, adaptive decision tables, adaptive automata |
25 | John Howse, Fernando Molina, John Taylor 0001 |
On the Completeness and Expressiveness of Spider Diagram Systems. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
Diagrammatic reasoning, visual formalisms |
25 | Rakesh Agarwal, Giorgio Bruno, Marco Torchiano |
Enterprise modeling using class and instance models. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
instance models, object-oriented formalisms, complex systems structuring, generic data modeling, hierarchical composition, constraints, case study, scenarios, templates, object-oriented methods, enterprise modeling, large-scale systems, conformity, corporate modelling, class models |
25 | Helen Treharne, Steve A. Schneider |
How to Drive a B Machine. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
Programming Calculi, Embedded Systems, CSP, B-Method, Combining Formalisms |
25 | Anne Elisabeth Haxthausen, Xia Yong |
Linking DC Together with TRSL. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
integration of specification formalisms, Formal methods, Duration Calculus, RAISE |
25 | Andreas Zeller |
Versioning System Models Through Description Logic. |
SCM |
1998 |
DBLP DOI BibTeX RDF |
Deduction and theorem proving, Software architecture, Version control, Software configuration management, Knowledge representation formalisms and methods |
25 | G. Michael McGrath |
A Process Modelling Framework: Capturing Key Aspects of Organizational Behavior. |
Australian Software Engineering Conference |
1997 |
DBLP DOI BibTeX RDF |
software process modelling framework, organisational behaviour capture, organisation management, social science literature, formal modelling approaches, evaluation environments, persistent process models, software engineering process modelling framework, behavioural aspects, highly abstracted conceptual model, systems dynamics modelling tool, human factors, Prolog, rapid prototyping, systems analysis, modelling formalisms, user views |
25 | 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 |
25 | Arjan J. C. van Gemund, Henk Jonkers, Gerard L. Reijns |
Performance modeling of parallel systems with flexible precision. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
flexible precision, low-precision compile-time methods, high-cost high-precision methods, performance prediction technique, model reduction calculus, simulation, parallel processing, static analysis, performance modeling, performance prediction, program compilers, queueing networks, software performance evaluation, parallel systems, task graphs, system monitoring, simulation languages, simulation languages, modeling formalisms |
25 | Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns |
A probabilistic approach to parallel system performance modelling. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
parallel system performance modelling, efficient parallel applications development, reliable performance predictions, machine model building blocks, multiple-class parallel section completion times, conditional statements, performance evaluation, probability, case study, queueing theory, parallel machines, parallel machine, memory hierarchies, queueing networks, probabilistic approach, modelling formalisms |