|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 510 occurrences of 398 keywords
|
|
|
|
|
Results
Found 411 publication records. Showing 411 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | James H. Hill |
CUTS: a system execution modeling tool for realizing continuous system integration testing.  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi |
PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description.  |
Petri Nets  |
2009 |
DBLP DOI BibTeX RDF |
Stochastic discrete-event systems, SDES description, PDETool, Petri nets |
| 2 | Susanne Neumann, Petra Oberhuemer |
User Evaluation of a Graphical Modeling Tool for IMS Learning Design.  |
ICWL  |
2009 |
DBLP DOI BibTeX RDF |
modeling, usability, graphical, editor, IMS Learning Design |
| 2 | Jianxun Liu, Zefeng Zhu, Yiping Wen, Jinjun Chen |
Implementation of a Visual Modeling Tool for Defining Instance Aspect in Workflow.  |
ISPA  |
2009 |
DBLP DOI BibTeX RDF |
Visual Modeling Tool, Instance Aspect, Workflow |
| 2 | Andy Evans, Miguel A. Fernández, Parastoo Mohagheghi |
Experiences of Developing a Network Modeling Tool Using the Eclipse Environment.  |
ECMDA-FA  |
2009 |
DBLP DOI BibTeX RDF |
metamodeling, Eclipse, language design, domain-specific modeling |
| 2 | Jin Li, De-chen Zhan, Lanshun Nie, Xiaofei Xu |
Design and Implementation of a MOF Based Enterprise Modeling Tool.  |
IESA  |
2009 |
DBLP DOI BibTeX RDF |
enterprise modeling, MOF, modeling tool |
| 2 | Quan Nguyen, Michael Kipp |
A Gesture Analysis and Modeling Tool for Interactive Embodied Agents.  |
IVA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds |
XMI2USE: A Tool for Transforming XMI to USE Specifications.  |
ER Workshops  |
2009 |
DBLP DOI BibTeX RDF |
MDA, Model Transformation, OCL, USE, Modeling Tool, XMI |
| 2 | Jie Li, Danli Wang, Guozhong Dai |
A Pen-Based 3D Role Modeling Tool for Children.  |
T. Edutainment  |
2008 |
DBLP DOI BibTeX RDF |
3D role modeling, gesture recognition, sketch, storytelling, pen-based interface |
| 2 | Mara Nikolaidou, Nancy Alexopoulou, Anargyros Tsadimas, Alexandros Dais, Dimosthenis Anagnostopoulos |
Accommodating EIS UML 2.0 Profile using a standard UML modeling tool.  |
ICSEA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Kwan Hee Han, Jun Woo Park |
Development of Object-Oriented Modeling Tool for the Design of Industrial Control Logic.  |
SERA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Kyunghwa Kim, Moonhee Tark, Hyunja Lee, Junho Shim, Junsoo Lee, Seungjin Lee 0002 |
PROMOD: A Modeling Tool for Product Ontology.  |
DEECS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Akira Funahashi, Yukiko Matsuoka, Akiya Jouraku, Hiroaki Kitano, Norihiro Kikuchi |
CellDesigner: a modeling tool for biochemical networks.  |
Winter Simulation Conference  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | H. Alan Mantooth, Xiaoling Huang, Yucheng Feng, W. Zheng |
Ascend: automatic bottom-up behavioral modeling tool for analog circuits.  |
ISCAS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Margo Bergman |
Petri Nets as Modeling Tool for Emergent Agents.  |
FAABS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Yoichi Hiramatsu, Seiji Koide |
Ontology modeling tool with concept dictionary.  |
IUI  |
2004 |
DBLP DOI BibTeX RDF |
concept dictionary, editing tool, web service, inference, ontology modeling |
| 2 | Johan Claes, Koen Beets, Frank Van Reeth, Andrei Iones, Anton Krupkin |
Turning the Approximating Catmull-Clark Subdivision Scheme into a Locally Interpolating Surface Modeling Tool.  |
Shape Modeling International  |
2001 |
DBLP DOI BibTeX RDF |
modeling, computer animation, subdivision surfaces, Catmull-Clark subdivision |
| 2 | Eric Andres, Rodolphe Breton, Pascal Lienhardt |
SpaMod: Design of a Spatial Modeling Tool.  |
Digital and Image Geometry ![In: Digital and Image Geometry, Advanced Lectures [based on a winter school held at Dagstuhl Castle, Germany in December 2000], pp. 91-107, 2000, Springer, 3-540-43079-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
n-G-map, Modeler, Reconstruction, Discrete |
| 2 | Carsten Sapia, Markus Blaschka, Gabriele Höfling |
GraMMi: Using a Standard Repository Management System to Build a Generic Graphical Modeling Tool. (PDF / PS)  |
HICSS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, Tomoaki Iwata |
Component-based application development on architecture of a model, UI and components.  |
APSEC  |
2000 |
DBLP DOI BibTeX RDF |
component-based application development, M-base application development environment, message-driven model, message flow a, transition diagrams, external specifications, IPSJ sigRE group, distributed systems, user interfaces, user interface, software architecture, groupware, computation model, object-oriented model, object-oriented methods, diagrams, domain model, cooperative work, personal computing, subroutines, modeling tool, simulation tool, end-user computing, system behavior, application architecture, feasibility study |
| 2 | Martin Wolf, Evgeni Ivanov, Rainer Burkhardt, Ilka Philippow |
UML Tool Support: Utilization of Object-Oriented Models.  |
TOOLS  |
2000 |
DBLP DOI BibTeX RDF |
UML-Modeling Tool, Model checking, Frameworks, Patterns, Object-oriented Modeling |
| 2 | Jorma Taramaa, Minna Mäkäräinen, Tommi Ketola |
Improving application management process through qualitative framework. (PDF / PS)  |
ICSM  |
1995 |
DBLP DOI BibTeX RDF |
application management process, qualitative framework, industrial companies, software process development, software process activities, process modeling tool, embedded systems application development, PR/sup 2/IMER, aerospace domain, subcontractor, large aerospace projects, ProcessWEAVER, real-time systems, software maintenance, software maintenance, project management, software evolution, software development management, aerospace computing, project support environments, small company |
| 2 | Mette Vestli, Inge Nordbø, Arne Sølvberg |
Modeling Control in Rule-Based Systems.  |
IEEE Software  |
1994 |
DBLP DOI BibTeX RDF |
Comex modeling tool, control knowledge modeling, execution tool, intended system behavior, evolving model, rule-based paradigm, specification phase, software-engineering principles, modelling, formal specification, software tools, knowledge based systems, problem solving, knowledge engineering, rule-based systems, rule base, executable models, problem-solving strategy |
| 1 | Marco Cote, Germán Riaño, Raha Akhavan-Tabatabaei, Juan Fernando Perez, Andres Sarmiento, Julio Goez |
jMarkov package: a stochastic modeling tool.  |
SIGMETRICS Performance Evaluation Review  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Qichao Liu, Marjan Mernik, Barrett R. Bryant |
MMDiff: a modeling tool for metamodel comparison.  |
ACM Southeast Regional Conference  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaohui Lei, Yuhui Wang, Weihong Liao, Yunzhong Jiang, Yu Tian, Hao Wang |
Development of efficient and cost-effective distributed hydrological modeling tool MWEasyDHM based on open-source MapWindow GIS.  |
Computers & Geosciences  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliya Kostyuk, Phyadragren Cole, Natarajan Meghanathan, Raphael D. Isokpehi, Hari Cohly |
Gas Discharge Visualization: An Imaging and Modeling Tool for Medical Biometrics.  |
Int. J. Biomedical Imaging  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Steffen, Nicholas Koning, Stephan Wenger, Christophe Morisset, Marcus A. Magnor |
Shape: A 3D Modeling Tool for Astrophysics.  |
IEEE Trans. Vis. Comput. Graph.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Reijo Savola, Petri Heinonen |
A Visualization and Modeling Tool for Security Metrics and Measurements Management.  |
ISSA  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ornsiri Thonggoom, Il-Yeol Song, Yuan An |
EIPW: A Knowledge-Based Database Modeling Tool.  |
CAiSE Workshops  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Balduccini, Sara Girotto |
ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory.  |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Su Liu, Reng Zeng, Xudong He |
PIPE+ - A Modeling Tool for High Level Petri Nets.  |
SEKE  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gul N. Khan, Victor Dumitriu |
A modeling tool for simulating and design of on-chip network systems.  |
Microprocessors and Microsystems - Embedded Hardware Design  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang-wen Li, Xu-kun Shen |
A component-based aircraft instrument rapid modeling tool.  |
Journal of Zhejiang University - Science C  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jari Peltonen, Marko Felin, Mikko Vartiala |
From a freeform graphics tool to a repository based modeling tool.  |
ECSA Companion Volume  |
2010 |
DBLP DOI BibTeX RDF |
flexible tool support, freeform graphics, modeling |
| 1 | A. K. M. Najmul Islam, Mervi Koivulahti-Ojala, Timo Käkölä |
A lightweight, industrially-validated instrument to measure user satisfaction and service quality experienced by the users of a UML modeling tool.  |
AMCIS  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alan McGibney, Martin Klepal, Dirk Pesch |
A wireless local area network modeling tool for scalable indoor access point placement optimization.  |
SpringSim  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul-Eric Dossou, Pawel Pawlewski |
Using Multi-agent System for Improving and Implementing a New Enterprise Modeling Tool.  |
PAAMS (Special Sessions and Workshops)  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antony Zegers, Stan Isbrandt |
The arena career modeling environment: a new workforce modeling tool for the Canadian forces.  |
SummerSim  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chiara Ghidini, Marco Rospocher, Luciano Serafini |
MoKi: a Wiki-Based Conceptual Modeling Tool.  |
ISWC Posters&Demos  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sara S. Baghsorkhi, Matthieu Delahaye, Sanjay J. Patel, William D. Gropp, Wen-mei W. Hwu |
An adaptive performance modeling tool for GPU architectures.  |
PPOPP  |
2010 |
DBLP DOI BibTeX RDF |
parallel programming, analytical model, performance estimation, gpu |
| 1 | Eric Peukert, Henrike Berthold, Erhard Rahm |
Rewrite techniques for performance optimization of schema matching processes.  |
EDBT  |
2010 |
DBLP DOI BibTeX RDF |
matching processes, schema mapping, schema matching |
| 1 | Vikas Kaushal, Ignacio Iñiguez-de-la-Torre, Martin Margala |
Topology impact on the room temperature performance of THz-range ballistic deflection transistors.  |
ACM Great Lakes Symposium on VLSI  |
2010 |
DBLP DOI BibTeX RDF |
Silvaco simulation, angle effect, ballistic transport, dc experiments, gate length, nanodevices |
| 1 | Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean |
Safe compositional network sketches: formal framework.  |
HSCC  |
2010 |
DBLP DOI BibTeX RDF |
modeling, design, verification, typing, compositionality |
| 1 | Chih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong |
SysML-based requirement modeling environment for multicore embedded system.  |
SAC  |
2010 |
DBLP DOI BibTeX RDF |
requirement engineering, requirement modeling, model-driven, SysML |
| 1 | Ingmar Weber, Carlos Castillo |
The demographics of web search.  |
SIGIR  |
2010 |
DBLP DOI BibTeX RDF |
demographic factors, web search |
| 1 | Charoula Angeli, Nicos Valanides, Paul A. Kirschner |
Field dependence-independence and instructional-design effects on learners' performance with a computer-modeling tool.  |
Computers in Human Behavior  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Vadim Savenkov |
DEMo: Data Exchange Modeling Tool.  |
PVLDB  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Samuel Kounev, Christofer Dutz |
QPME: a performance modeling tool based on queueing Petri Nets.  |
SIGMETRICS Performance Evaluation Review  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Fourer, Leo Lopes |
StAMPL: A Filtration-Oriented Modeling Tool for Multistage Stochastic Recourse Problems.  |
INFORMS Journal on Computing  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David R. Beering, Shirley Tseng, Jeffrey L. Hayden, Aaron Corder, Teng K. Ooi, Dan Elwell, Ryan Frederic, Ronald Fish |
A Modeling Tool for Joining RF Communications with IP Networks (abstract).  |
HSC  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Xin Zhao, Jun Han, Yaling Huang |
An Automatic Layout Function in BPEL Visual Modeling Tool.  |
SNPD  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shun Nishide, Tatsuhiro Nakagawa, Tetsuya Ogata, Jun Tani, Toru Takahashi, Hiroshi G. Okuno |
Modeling tool-body assimilation using second-order Recurrent Neural Network.  |
IROS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gluchowski, Christian Kurze, Christian Schieder |
A Modeling Tool for Multidimensional Data using the ADAPT Notation.  |
HICSS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Balázs Bánfai, Brandon Ulrich, Zsolt Török, Ravi Natarajan, Tim Ireland |
Implementing an HL7 Version 3 Modeling Tool from an Ecore Model.  |
MIE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Klebl, Monika Hackel, Stephan Lukosch |
The Application of Design Patterns for the Adaptation of a Modeling Tool in Collaborative Engineering.  |
CRIWG  |
2009 |
DBLP DOI BibTeX RDF |
Social Scientific Research, CSCW, Design Patterns, Socio-technical systems, Mechatronics, Collaborative Engineering |
| 1 | Emilia Garcia, Estefania Argente, Adriana Giret |
A Modeling Tool for Service-Oriented Open Multiagent Systems.  |
PRIMA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Reichert, Steve Rechtenbach, Alena Hallerbach, Thomas Bauer |
Extending a Business Process Modeling Tool With Process Configuration Facilities: The Provop Demonstrator.  |
BPM (Demos)  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stefan Warwas, Christian Hahn, Klaus Fischer |
A visual development environment for Jade.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
DSML4MAS, PIM4Agents, Jade, development environment, modeling tool, model-driven |
| 1 | David Taylor-Fuller, Susan J. Lincke |
The development of a graphic multidimensional Markov Chain modeler to diagram large state spaces.  |
SpringSim  |
2009 |
DBLP DOI BibTeX RDF |
Markov Chain, modeling tool |
| 1 | Kanupriya Gulati, Sunil P. Khatri, Peng Li |
Closed-loop modeling of power and temperature profiles of FPGAs.  |
FPGA  |
2009 |
DBLP DOI BibTeX RDF |
sub-threshold leakage, dynamic power |
| 1 | J. Steven Hughes, Daniel J. Crichton, Chris Mattmann |
Scientific digital libraries, interoperability, and ontologies.  |
JCDL  |
2009 |
DBLP DOI BibTeX RDF |
science data, science metadata, ontology, digital library, interoperability, information model |
| 1 | Jonathan Konieczny, Gary W. Meyer |
Airbrush simulation for artwork and computer modeling.  |
NPAR  |
2009 |
DBLP DOI BibTeX RDF |
airbrush, virtual reality, augmented reality, art, painting |
| 1 | Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma 0002 |
From platform-independent to platform-specific models using democles.  |
OOPSLA Companion  |
2009 |
DBLP DOI BibTeX RDF |
platform-specific model, code generation, visual programming, domains, executable models, platform-independent model |
| 1 | Peter Rittgen |
Collaborative modeling of business processes: a comparative case study.  |
SAC  |
2009 |
DBLP DOI BibTeX RDF |
computer-mediated communication and collaboration, systems design and implementation, business process modeling |
| 1 | Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders |
Performance and dependability modeling with Möbius.  |
SIGMETRICS Performance Evaluation Review  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Xie, Dehui Du, Jing Liu, Zuohua Ding |
Towards the Verification of Services Collaboration.  |
COMPSAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamás Vajk, Róbert Kereskényi, Tihamer Levendovszky, Ákos Lédeczi |
Raising the Abstraction of Domain-Specific Model Translator Development.  |
ECBS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Too Chuan Tan, Feng Duan, Ye Zhang, Ryu Kato, Tamio Arai |
Task modeling approach to enhance man-machine collaboration in cell production.  |
ICRA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Ossher, Rachel K. E. Bellamy, David Amid, Ateret Anaby-Tavor, Matthew Callery, Michael Desmond, Jacqueline de Vries, Amit Fisher, Thomas Frauenhofer, Sophia Krasikov, Ian Simmonds, Calvin Swart |
Business insight toolkit: Flexible pre-requirements modeling.  |
ICSE Companion  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanna Eberle, Stefan Föll, Klaus Herrmann, Frank Leymann, Annapaola Marconi, Tobias Unger, Hannes Wolf |
Enforcement from the Inside: Improving Quality of Business in Process Management.  |
ICWS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui |
Transforming UML models to colored petri nets models using graph grammars.  |
ISCC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Könemann |
Integrating decision management with UML modeling concepts and tools.  |
WICSA/ECSA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Yu, Tong Li, Qing Liu, Fei Dai, Na Zhao |
OR-transition Colored Petri Net and its Application in Modeling Software System.  |
WKDD  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongfeng Feng, H. Alan Mantooth |
Algorithms for Automatic Model Topology Formulation.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Leigh Fanning, Joanne Macdonald, Darko Stefanovic |
Advancing the Deoxyribozyme-Based Logic Gate Design Process.  |
DNA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Amyot, Jennifer Horkoff, Daniel Gross, Gunter Mussbacher |
A Lightweight GRL Profile for i* Modeling.  |
ER Workshops  |
2009 |
DBLP DOI BibTeX RDF |
jUCMNav, profile, OCL, User Requirements Notation, i*, Goal-oriented Requirement Language |
| 1 | Jörg Becker, Patrick Delfmann, Sebastian Herwig, Lukasz Lis |
A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models.  |
ER  |
2009 |
DBLP DOI BibTeX RDF |
Conceptual Modeling, Pattern Matching, Set Theory |
| 1 | Charneta Samms, David Jones, Kelly S. Hale, Diane Mitchell |
Harnessing the Power of Multiple Tools to Predict and Mitigate Mental Overload.  |
HCI  |
2009 |
DBLP DOI BibTeX RDF |
IMPRINT, MIDS, integrated toolset, multimodal, command and control, overload, mental workload |
| 1 | Tianyi Gou, Kumaresh Singh, Adrian Sandu |
Chemical Data Assimilation with CMAQ: Continuous vs. Discrete Advection Adjoints.  |
ICCS  |
2009 |
DBLP DOI BibTeX RDF |
Data Assimilation, Adjoints, Chemical Transport Models |
| 1 | Jurriaan Souer, Thijs Kupers, Remko Helms, Sjaak Brinkkemper |
Model-Driven Web Engineering for the Automated Configuration of Web Content Management Systems.  |
ICWE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Pareto, Peter Eriksson, Staffan Ehnebom |
Concern Visibility in Base Station Development - An Empirical Investigation.  |
MoDELS  |
2009 |
DBLP DOI BibTeX RDF |
aspect oriented modeling (AOM), embedded systems, software architecture, Model driven development (MDD), viewpoints, base stations, concerns, telecommunication systems |
| 1 | Yu Sun, Jules White, Jeff Gray |
Model Transformation by Demonstration.  |
MoDELS  |
2009 |
DBLP DOI BibTeX RDF |
Program inference, Refactoring, Model transformation |
| 1 | Clifford Heath |
The Constellation Query Language.  |
OTM Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad R. Abid, Daniel Amyot, Stéphane S. Somé, Gunter Mussbacher |
A UML Profile for Goal-Oriented Modeling.  |
SDL Forum  |
2009 |
DBLP DOI BibTeX RDF |
Tau G2, Metamodel, UML Profile, User Requirements Notation, Goal-oriented Requirement Language |
| 1 | Zahra Aghajani, Mohammad Abdollahi Azgomi |
Security Evaluation of an Intrusion Tolerant Web Service Architecture Using Stochastic Activity Networks.  |
ISA  |
2009 |
DBLP DOI BibTeX RDF |
intrusion tolerant web service (ITWS), stochastic activity networks (SANs), Security, modeling, evaluation |
| 1 | Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte |
Specifying and Composing Non-functional Requirements in Model-Based Development.  |
Software Composition  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanlin Lu, Sheng Yu |
Are Statecharts Finite Automata?.  |
CIAA  |
2009 |
DBLP DOI BibTeX RDF |
interaction machines, statecharts, finite automata |
| 1 | Luis Álvarez Sabucedo, Luis E. Anido-Rifón |
A Semantic Support for a Multi-platform eGovernment Solution Centered on the Needs of Citizens.  |
WSKS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Facchinei, Andreas Fischer, Veronica Piccialli |
Generalized Nash equilibrium problems and Newton methods.  |
Math. Program.  |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C30, 91A80, 49M05, 91A10 |
| 1 | Frédéric Schütz, Mauro Delorenzi |
MAMOT: hidden Markov modeling tool.  |
Bioinformatics  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicos Valanides, Charoula Angeli |
Learning and teaching about scientific models with a computer-modeling tool.  |
Computers in Human Behavior  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucinéia Heloisa Thom, Manfred Reichert, Carolina Ming Chiao, Cirano Iochpe |
Applying Activity Patterns for Developing an Intelligent Process Modeling Tool.  |
ICEIS (3-1)  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Shyamkumar Thoziyoor, Jung Ho Ahn, Matteo Monchiero, Jay B. Brockman, Norman P. Jouppi |
A Comprehensive Memory Modeling Tool and Its Application to the Design and Analysis of Future Memory Hierarchies.  |
ISCA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio Sincero, Wolfgang Schröder-Preikschat |
The Linux Kernel Configurator as a Feature Modeling Tool.  |
SPLC  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Rasmus Houborg, Martha Anderson |
Utility of an Image-Based Canopy Reflectance Modeling Tool for Remote Estimation of LAI and Leaf Chlorophyll Content in Crop Systems.  |
IGARSS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Zhang, Shufen Liu, Fei Wu, Wanbo Zheng |
Design of an aspect-supported generic modeling tool.  |
CSCWD  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arturo González-Ferrer, Juan Fernández-Olivares, Luis A. Castillo, Lluvia Morales |
Towards the Use of XPDL as Planning and Scheduling Modeling Tool: The Workflow Patterns Approach.  |
IBERAMIA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro, Paulo Romero Martins Maciel |
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis.  |
DATE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Akhila Deshpande, Varsha Apte, Supriya Marathe |
PerfCenter: a performance modeling tool for application hosting centers.  |
WOSP  |
2008 |
DBLP DOI BibTeX RDF |
performance analysis, tool, data center |
Displaying result #1 - #100 of 411 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|