|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12256 occurrences of 5102 keywords
|
|
|
Results
Found 55520 publication records. Showing 55519 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | P. J. Birch, S. P. Browne, Vince J. Jennings, A. M. Day, David B. Arnold |
Rapid procedural-modelling of architectural structures. |
Virtual Reality, Archeology, and Cultural Heritage |
2001 |
DBLP DOI BibTeX RDF |
building design, computer-aided architectural design, rapid modelling, architecture, virtual environments, CAD, computer-aided design, architectural design |
20 | Colette Rolland, Naveen Prakash, A. Benjamen |
A Multi-Model View of Process Modelling. |
Requir. Eng. |
1999 |
DBLP DOI BibTeX RDF |
Process enactment mechanism, System development process modelling, Method engineering, Process guidance |
20 | Andrew A. Hanish, Tharam S. Dillon |
Object-oriented modelling of communication protocols for re-use. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
industrial implementations, reuseable software modules, reuseable model elements, message sequence encoding, protocol entities, ISO/OSI Reference Model, generalised model, interlayer communication model, modified TTCN notation, Petri nets, protocols, communication protocols, networking protocols, object-oriented modelling, formal descriptions, protocol implementation, alternating bit protocol |
20 | Christian Gierlinger, A Min Tjoa, Roland R. Wagner |
A Methodology for Computer Aided Modelling of Information Systems Based on the Extended Entity Relationship Model BIER. |
EUROCAST |
1991 |
DBLP DOI BibTeX RDF |
extended E-R diagram, behaviour diagram, data modelling, dynamic aspects |
20 | Wolfgang Borutzky |
Combining Behavioral Block Diagram Modelling with Circuit Simulation. |
EUROCAST |
1989 |
DBLP DOI BibTeX RDF |
mixed behavioral, circuit-level modelling, electrical macromodels, continuous system simulation, electronic control systems, circuit simulation, functional simulation, block diagrams, signal processing systems |
20 | N. H. Amato, Chi Ping Tsang |
Student Modelling in a Keyboard Scale Tutoring System. |
Australian Joint Conference on Artificial Intelligence |
1988 |
DBLP DOI BibTeX RDF |
piano scales, knowledge concepts, confidence factors, student modelling, hypothesis |
20 | Alan E. Middleditch, Kenneth H. Sears |
Blend surfaces for set theoretic volume modelling systems. |
SIGGRAPH |
1985 |
DBLP DOI BibTeX RDF |
computer aided design, ray tracing, volume modelling, curved surfaces |
20 | Guy Juanole, B. Algayres, J. Dufau |
On communication protocol modelling and design. |
European Workshop on Applications and Theory in Petri Nets |
1984 |
DBLP DOI BibTeX RDF |
Key-Words Distributed systems, Petri nets, protocol, service, system architecture, modelling methodology |
20 | Christopher M. Brown, Aristides A. G. Requicha, Herbert B. Voelcker |
Geometric Modelling Systems for mechanical design and manufacturing. |
ACM Annual Conference (2) |
1978 |
DBLP DOI BibTeX RDF |
Geometric data bases, Representation of solids, Computational geometry, Computer graphics, Geometric modelling, CAD/CAM |
20 | Michael Hammer, Dennis McLeod |
The Semantic Data Model: A Modelling Mechanism for Data Base Applications. |
SIGMOD Conference |
1978 |
DBLP DOI BibTeX RDF |
data base management, data base modelling, data base user interfaces, logical data base design, data models, data semantics, data definition, information redundancy |
20 | Georg Grossmann, Michael Schrefl, Markus Stumptner |
Modelling Inter-Process Dependencies with High-Level Business Process Modelling Languages. |
APCCM |
2008 |
DBLP BibTeX RDF |
|
20 | Achim J. Lilienthal, Matteo Reggente, Marco Trincavelli, José-Luis Blanco, Javier González 0001 |
A statistical approach to gas distribution modelling with mobile robots - The Kernel DM+V algorithm. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Michael L. Brodie |
John Mylopoulos: Sewing Seeds of Conceptual Modelling. |
Conceptual Modeling: Foundations and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
20 | C. Maria Keet |
Positionalism of Relations and Its Consequences for Fact-Oriented Modelling. |
OTM Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Stephane Marie, Patrick Maurine |
Elasto-geometrical modelling of closed-loop industrial robots used for machining applications. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Zhi Jin, Hong Zhu 0002 |
A Framework for Agent-Based Service-Oriented Modelling. |
SOSE |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jose M. Sarriegi, Finn Olav Sveen, José Manuel Torres 0001, Jose J. Gonzalez |
Adaptation of Modelling Paradigms to the CIs Interdependencies Problem. |
CRITIS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Sai-Ho Ling, Herbert H. C. Iu, Frank H. F. Leung, Kit Yan Chan |
Modelling the development of fluid dispensing for electronic packaging: Hybrid Particle Swarm Optimization based-wavelet neural network approach. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Christer Svensson |
Analog Power Modelling. |
PATMOS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Jin Yin, Wei Chen 0144, Yun Li 0002 |
Evolutionary computation enabled game theory based modelling of electricity market behaviours and applications. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Volker Hoyer, Oliver Christ |
Collaborative E-Business Process Modelling: A Holistic Analysis Framework Focused on Small and Medium-Sized Enterprises. |
BIS |
2007 |
DBLP DOI BibTeX RDF |
Analysis Framework, Service-Oriented Architecture, Business Process Management, e-Business, SME, Collaborative Business Process |
20 | Mohd Syazwan Abdullah, Richard F. Paige, Chris Kimble, Ian D. Benest |
A UML Profile for Knowledge-Based Systems Modelling. |
SERA |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Igor Nikolic, Pieter J. Beers, Gerard P. J. Dijkema |
Facilitating Interdisciplinary Modelling of Complex Problems. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack |
MiniZinc: Towards a Standard CP Modelling Language. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Sergio España, José Ignacio Panach, Inés Pederiva, Oscar Pastor 0001 |
Towards a Holistic Conceptual Modelling-Based Software Development Process. |
ER |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Bernhard Thalheim |
Achievements and Problems of Conceptual Modelling. |
Active Conceptual Modeling of Learning |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Gert Zülch |
Modelling and simulation of human decision-making in manufacturing systems. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | David Ranson, Samad Ahmadi |
An Extensible Modelling Framework for Timetabling Problems. |
PATAT |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Dominik Vanderhaeghen, Peter Loos |
Process Modelling Approach for Collaboration Networks. |
WETICE |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Sonya A. Coleman, Bryan W. Scotney |
Mesh modelling for sparse image data sets. |
ICIP (2) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Frank-Walter Jaekel, Nicolas Perry, Cristina Campos, Kai Mertins, Ricardo Chalmeta |
Interoperability Supported by Enterprise Modelling. |
OTM Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Knapp, Nora Koch, Gefei Zhang |
Modelling the Behaviour of Web Applications with ArgoUWE. |
ICWE |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Luca Ferrarini, Hans Olofsen, Mark A. van Buchem, Johan H. C. Reiber, Faiza Admiraal-Behloul |
Fully Automatic Shape Modelling Using Growing Cell Neural Networks. |
MICCAI (2) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Neil Yager, Adnan Amin |
Nonparametric Fingerprint Deformation Modelling. |
CAIP |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Friso Penninga |
3D Topographic Data Modelling: Why Rigidity Is Preferable to Pragmatism. |
COSIT |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Keyla Ahnizeret, David Fernandes de Oliveira, João M. B. Cavalcanti, Edleno Silva de Moura, Altigran Soares da Silva |
Information Retrieval Aware Web Site Modelling and Generation. |
ER |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Stephen Gilmore, Leïla Kloul, Davide Piazza |
Modelling Role-Playing Games Using PEPA Nets. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Vaclav Cechticky, Alessandro Pasetti, O. Rohlik, Walter Schaufelberger |
XML-Based Feature Modelling. |
ICSR |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo |
Software performance modelling using PEPA nets. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
PEPA nets, performance analysis, mobile objects |
20 | Juho Mäkiö |
A Process-Oriented Approach Towards Structured Market Modelling. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Bruno Emond, Robert L. West |
Using Cognitive Modelling Simulations for User Interface Design Decisions. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Mohd Syazwan Abdullah, Chris Kimble, Richard F. Paige, Ian D. Benest, Andy Evans |
Developing a UML Profile for Modelling Knowledge-Based Systems. |
MDAFA |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Volker Tresp, Kai Yu 0001 |
An Introduction to Nonparametric Hierarchical Bayesian Modelling with a Focus on Multi-agent Learning. |
European Summer School on Multi-AgentControl |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Gerrit Renker, Hatem Ahriz, Inés Arana |
A Synergy of Modelling for Constraint Problems. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Lijun Shan, Hong Zhu 0002 |
Modelling and Specifying Scenarios and Agent Behaviour. |
IAT |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Hallvard Trætteberg |
Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach. |
DSV-IS |
2003 |
DBLP DOI BibTeX RDF |
UML, Statecharts, user interface model, dialog model |
20 | Qi Yan 0001, XinJun Mao, Hong Zhu 0002, Zhi-Chang Qi |
Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. |
AOSE |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Ron Weber |
Conceptual Modelling and Ontology: Possibilities and Pitfalls. |
ER |
2002 |
DBLP DOI BibTeX RDF |
|
20 | François Bernier, Denis Poussart, Denis Laurendeau, Martin Simoneau |
Interaction-Centric Modelling for Interactive Virtual Worlds: The APIA Approach. |
ICPR (3) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Peter Dolog, Mária Bieliková |
Towards Variability Modelling for Reuse in Hypermedia Engineering. |
ADBIS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Maarten W. A. Steen, Marc M. Lankhorst, R. G. van de Wetering |
Modelling Networked Enterprises. |
EDOC |
2002 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
20 | Louise Scott, Lucila Carvalho, D. Ross Jeffery, John D'Ambra |
An Evaluation of the Spearmint Approach to Software Process Modelling. |
EWSPT |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Paul Kellam, Xiaohui Liu 0001, Nigel J. Martin 0001, Christine A. Orengo, Stephen Swift, Allan Tucker |
A Framework for Modelling Short, High-Dimensional Multivariate Time Series: Preliminary Results in Virus Gene Expression Data Analysis. |
IDA |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Johan Aberg, Nahid Shahmehri, Dennis Maciuszek |
User modelling for live help systems: initial results. |
EC |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Johan Aberg, Nahid Shahmehri, Dennis Maciuszek |
User Modelling for Live Help Systems. |
WELCOM |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Christopher M. Bishop, John M. Winn |
Non-linear Bayesian Image Modelling. |
ECCV (1) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Peter F. Green, Michael Rosemann |
An Ontological Analysis of Integrated Process Modelling. |
CAiSE |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Christer Nellborn, Peter Holm |
Capturing Information Systems Requirements Through Enterprise and Speech Act Modelling |
CAiSE |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Ronald S. King |
A "course" for data modelling. |
SIGCSE |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
20 | Qiming Chen |
A Rule-Based Object/Task Modelling Approach. |
SIGMOD Conference |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Jaelson Castro, Manuel Kolp, Lin Liu 0001, Anna Perini |
Dealing with Complexity Using Conceptual Models Based on Tropos. |
Conceptual Modeling: Foundations and Applications |
2009 |
DBLP DOI BibTeX RDF |
complexity, testing, requirements engineering, process modelling, aspect, goal modelling |
19 | Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta |
Executable Platform Independent Models for Data Intensive Applications. |
ICCS (3) |
2008 |
DBLP DOI BibTeX RDF |
UML, Model Driven Architecture, OCL, Executable Models, Database Modelling, Platform Independent Modelling, Database Query Languages |
19 | Achilleas Achilleos, Nektarios Georgalas, Kun Yang 0001 |
An Open Source Domain-Specific Tools Framework to Support Model Driven Development of OSS. |
ECMDA-FA |
2007 |
DBLP DOI BibTeX RDF |
modelling editor tools, MDA, domain specific languages, model-driven development, Meta-modelling |
19 | Friedrich Steimann, Heribert Vollmer |
Exploiting practical limitations of UML diagrams for model validation and execution. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
Validation of models, Modelling, UML, Modelling language |
19 | Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik |
A relationship-driven approach to view merging. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
view merging, view-based modelling, modelling, distributed development |
19 | Andrea Bunt, Cristina Conati, Joanna McGrenere |
What role can adaptive support play in an adaptable system? |
IUI |
2004 |
DBLP DOI BibTeX RDF |
user modelling, cognitive modelling, customization, adaptable interfaces, adaptive interfaces, GOMS, mixed-initiative |
19 | Yuangui Lei, Enrico Motta, John Domingue |
Design of customized web applications with OntoWeaver. |
K-CAP |
2003 |
DBLP DOI BibTeX RDF |
customization modelling, web site modelling, web site design |
19 | Chris Scogings, Chris Phillips 0002 |
A Method for the Early Stages of Interactive System Design using UML and Lean Cuisine+. |
AUIC |
2001 |
DBLP DOI BibTeX RDF |
UML, task modelling, interactive systems design, dialogue modelling |
19 | Nigel Stanger |
Translating descriptions of a viewpoint among different representations. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
viewpoint description translation, systems development process, real-world phenomena, information types, relative translation quality metric, construct mapping, enrichment, modelling, heuristics, systems analysis, modelling representations |
19 | Ali Mohammad-Djafari, Yassine Khayi, Ken D. Sauer, Eric Cano |
Reconstruction of the Shape of a Compact Object from Few Projections. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
compact object, limited tomographic projection data, NDT, air hole, homogeneous region, metal, industrial techniques, default region shape, tomographic reconstruction, global optimization method, pixel representation, 2D representation, contour modelling, local descent-based method, moment based method, Bayesian MAP estimation, localization, coordinates, simulated annealing, image reconstruction, detection, polygon, industrial applications, characterization, vertices, surface modelling, inclusion, polyhedron, shape reconstruction, computational cost, 3D representation, voxel representation, nondestructive testing |
19 | Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès |
Spatial Information and Boolean Genetic Regulatory Networks. |
BICoB |
2009 |
DBLP DOI BibTeX RDF |
Boolean Dynamics, Discrete Mathematical Modelling, Spatial Information, Genetic Regulatory Networks |
19 | Luis E. Mendoza Morales, Manuel I. Capel |
Automatic Compositional Verification of Business Processes. |
ICEIS |
2009 |
DBLP DOI BibTeX RDF |
Model-Checking, Verification, Formal Methods, Business Process Modelling, Task Model |
19 | Andreas Bögl, Michael Schrefl, Gustav Pomberger, Norbert Weber |
Automated Construction of Process Goal Trees from EPC-Models to Facilitate Extraction of Process Patterns. |
ICEIS |
2009 |
DBLP DOI BibTeX RDF |
Extraction of Process Goals, Semantic EPC Models, Common Modelling Practices, Process Patterns |
19 | George Katsionis, Maria Virvou |
Personalised e-learning through an educational virtual reality game using Web services. |
Multim. Tools Appl. |
2008 |
DBLP DOI BibTeX RDF |
Web services, Virtual reality, Intelligent tutoring systems, Educational game, Affective user modelling |
19 | Esther Guerra, Juan de Lara |
Event-driven grammars: relating abstract and concrete levels of visual languages. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
Triple Graph Transformation, UML, Consistency, Visual Languages, Meta-Modelling, Graph Grammars |
19 | Franco Cicirelli, Angelo Furfaro, Libero Nigro |
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. |
Real Time Syst. |
2007 |
DBLP DOI BibTeX RDF |
Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks |
19 | Olga C. Santos, Alejandro Rodríguez-Ascaso, Jesus Boticario, Ludivine Martin |
User Modeling for Attending Functional Diversity for ALL in Higher Education. |
WISE Workshops |
2007 |
DBLP DOI BibTeX RDF |
Access devices, Functional diversity, Machine learning, Education, Personalization, Accessibility, Context, User-centered design, Multiagent systems, Distance Learning, Disability, Knowledge modelling |
19 | Alexander E. I. Brownlee, John A. W. McCall, Deryck Forsyth Brown |
Solving the MAXSAT problem using a multivariate EDA based on Markov networks. |
GECCO (Companion) |
2007 |
DBLP DOI BibTeX RDF |
evolutionary algorithms, probabilistic modelling, estimation of distribution algorithms |
19 | Hilary Johnson, Lucy Carruthers |
Towards Developing Task-Based Models of Creativity. |
TAMODIA |
2007 |
DBLP DOI BibTeX RDF |
Task Knowledge Structures (TKS), Creativity, task modelling |
19 | Koen Beets, Johan Claes, Frank Van Reeth |
Optimizing Mesh Construction for Quad/Triangle Schemes. |
Computer Graphics International |
2006 |
DBLP DOI BibTeX RDF |
quad/triangle, mesh construction, modelling, sketching, subdivision |
19 | Maria Virvou, Konstantinos Manos, George Katsionis |
Virtual Reality Edutainment: Cost-Effective Development of Personalised Software Applications. |
ICCSA (1) |
2006 |
DBLP DOI BibTeX RDF |
virtual reality edutainment, user modelling, intelligent tutoring systems, authoring tools, educational games |
19 | Yu Wang 0013 |
G-Networks and the Modeling of Adversarial Agents. |
ICANN (1) |
2006 |
DBLP DOI BibTeX RDF |
G-Networks, military strategy and planning, multi-agent systems, mathematical modelling |
19 | Antonio Cerone, George J. Milne |
Property verification of asynchronous systems. |
Innov. Syst. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
asynchronous hardware, Formal verification, process algebra, constraint modelling |
19 | Kalina Bontcheva, Yorick Wilks |
Tailoring Automatically Generated Hypertext. |
User Model. User Adapt. Interact. |
2005 |
DBLP DOI BibTeX RDF |
adaptive language generation system, user modelling, hypertext, dynamic hypertext |
19 | Periklis Sochos, Ilka Philippow, Matthias Riebisch |
Feature-Oriented Development of Software Product Lines: Mapping Feature Models to the Architecture. |
Net.ObjectDays |
2004 |
DBLP DOI BibTeX RDF |
product line methods, feature-architecture mapping, Software product lines, generative programming, separation of concerns, feature modelling, plug-in architectures |
19 | Guy De Tré, Rita M. M. De Caluwe, Henri Prade |
Null Values Revisited in Prospect of Data Integration. |
ICSNW |
2004 |
DBLP DOI BibTeX RDF |
data integration, many-valued logic, data semantics, database modelling, Null values |
19 | Isabelle Corouge, Sylvain Gouttard, Guido Gerig |
A Statistical Shape Model of Individual Fiber Tracts Extracted from Diffusion Tensor MRI. |
MICCAI (2) |
2004 |
DBLP DOI BibTeX RDF |
statistical shape modelling, Diffusion Tensor Imaging |
19 | Kang Li, Steve Thompson, Peter A. Wieringa, J. Peng, Guang-Ren Duan 0001 |
Neural networks and genetic algorithms can support human supervisory control to reduce fossil fuel power plant emissions. |
Cogn. Technol. Work. |
2003 |
DBLP DOI BibTeX RDF |
Human supervisory control, Pollutant emission, Genetic algorithms, Modelling, Artificial neural networks, Power generation |
19 | Tito A. Ciriani, Yves Colombani, Susanne Heipcke |
Embedding optimisation algorithms with Mosel. |
4OR |
2003 |
DBLP DOI BibTeX RDF |
column generation, Modelling tools, cutting stock, cutting plane algorithm, out sourcing |
19 | Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve |
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
modelling, verification, Petri nets, workflow, correctness, soundness, separability, serialisability |
19 | Kuo-Cheng Wu, Terrence Fernando, Hissam Tawfik |
FreeSculptor: A Computer-Aided Freeform Design Environment. |
GMAG |
2003 |
DBLP DOI BibTeX RDF |
Computer-aided design environment, freeform sketching, deformable modelling |
19 | Mícheál Mac an Airchinnigh |
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics. |
FME |
2001 |
DBLP DOI BibTeX RDF |
Topos Theory, Unifying Theory, modelling, intuitionistic logic, VDM, constructive mathematics, Heyting algebra, Cartesian closed category |
19 | Jan Gerben Wijnstra |
Component Frameworks for a Medical Imaging Product Family. |
IW-SAPF |
2000 |
DBLP DOI BibTeX RDF |
Product Family Architecture, Interfaces, Diversity, Domain Modelling, Plug-ins, Component Frameworks |
19 | Francisco R. Feito, Juan Carlos Torres 0001 |
Boundary representation of polyhedral heterogeneous solids in the context of a graphic object algebra. |
Vis. Comput. |
1997 |
DBLP DOI BibTeX RDF |
Theoretical computer graphics, Solid modelling, B-rep |
19 | Perry Alexander |
Insertion of formalism into systems level design. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
software engineering, formal methods, systems engineering, systems engineering, system modelling, formalism, systems level design |
19 | Mike Hill |
Parasitic Languages for Requirements. |
ICRE |
1996 |
DBLP DOI BibTeX RDF |
Parasitic Langauge, Modelling, Requirements Engineering |
19 | Cornelia Boldyreff, Julian Newman, Jorma Taramaa |
Managing process improvement in virtual software corporations. |
WETICE |
1996 |
DBLP DOI BibTeX RDF |
virtual software corporations, process improvement management, software development organisation process, competitive demands, large multi-site multi-organization virtual software corporations, virtual software configuration, process measurement data collection, geographically distributed projects, exception condition handling, generic process model, process quality standards, software engineering, reliability, integrity, software process improvement, software development process, software process modelling, software development management |
19 | William T. Reeves, Ricki Blau |
Approximate and probabilistic algorithms for shading and rendering structured particle systems. |
SIGGRAPH |
1985 |
DBLP DOI BibTeX RDF |
approximation, stochastic modelling |
19 | Peter Dolog, Wolfgang Nejdl |
Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 55519 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|