检索结果 - integrating simulation program decision diagram https

搜索替代词:
integrating simulation » integration simulation , integrated simulation , integrating population
simulation program » education program
program decision » programme decision , program division , programs division
decision diagram » decision diagrams
diagram https » diagram types

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

出版 2008

书本目录: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
获取全文

电子电子书

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

出版 2014

书本目录: “... -- Removing Redundancies and Deducing Equivalences in UML Class Diagrams -- Models at Runtime -- A Native...”
获取全文

电子电子书

Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings /

出版 2012

书本目录: “... -- An MDE-Based Synthesis of Aircraft Safety Models -- Integrating a Formal Development for DSLs into Meta...”
获取全文

电子电子书

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

出版 2005

书本目录: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
获取全文

电子电子书

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

出版 2010

书本目录: “...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...”
获取全文

电子电子书

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings /

出版 2010

书本目录: “... Programming Approach -- Full Satisfiability of UML Class Diagrams -- On Enabling Data-Aware Compliance...”
获取全文

电子电子书

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers /

出版 2015

书本目录: “... that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A...”
获取全文

电子电子书

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

出版 2010

书本目录: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
获取全文

电子电子书

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice o...

出版 2006

书本目录: “... -- New Metrics for Static Variable Ordering in Decision Diagrams -- Widening ROBDDs with Prime Implicants...”
获取全文

电子电子书

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

书本目录: “... Integration to a Microsoft Robotics Studio Simulation -- A Proposed Framework for Collaborative Design in a...”
获取全文

电子电子书

Information Systems Development Reflections, Challenges and New Directions /

出版 2013

书本目录: “... -- Human Resource Behaviour Simulation in Business Processes -- Evaluating the Synergies of Integrating E...”
获取全文

电子电子书

Systems Biology for Signaling Networks

出版 2010

书本目录: “... Identification -- Assembly of Logic-Based Diagrams of Biological Pathways -- Automating Mathematical Modeling...”
获取全文

电子电子书

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV...

出版 2013

书本目录: “... Agent in a Dialogue Based on Conversations in TV Programs -- Research on a Large Digital Desktop...”
获取全文

电子电子书

缩小搜索