Your Search Results

Use materials about this topic in your textbook!

AcademicPub holds over eight million pieces of educational content - such as case studies and journal articles - for you to mix-and-match your way.

Experience the freedom of customizing your course pack with AcademicPub!
Not an educator but still interested in using this content? No problem! Visit our provider's page to contact the publisher and get permission directly.

Topic: Simulation Languages

Results

Modeling Product Line Software Assets Using Domain-Specific Kits
2012 / IEEE
By: Altintas, N.I.; Oguztuzun, H.; Dogru, A.H.; Cetin, S.;
Contextualizing Learning Scenarios According to Different Learning Management Systems
2012 / IEEE
By: Laroussi, M.; Drira, R.; Warin, B.; Le Pallec, X.;
Towards a Formal Specification Framework for Manufacturing Execution Systems
2012 / IEEE
By: Witsch, M.; Vogel-Heuser, B.;
Modelling of �-radiation effects in bipolar transistors with VHDL-AMS
2009 / IEEE / 978-1-4577-0493-2
By: De Cock, W.; Van Uffelen, M.; Leroux, P.; Versmissen, H.;
Generative software development
2010 / IEEE / 978-1-60558-719-6
By: Volkel, S.; Schindler, M.; Rumpe, B.; Weisemoller, I.;
The fault modeling methodology of actuator system based on Modelica
2011 / IEEE / 978-1-61284-666-8
By: Shengkui Zeng; Jiming Ma; Xiaolong Cui;
PaNeCS: A modeling language for passivity-based design of networked control systems
2011 / IEEE / 978-1-4577-0125-2
By: Porter, J.; Eyisi, E.; Sztipanovits, J.; Koutsoukos, X.; Kottenstette, N.;
Modeling method of military aircraft support process based SysML
2011 / IEEE / 978-1-61284-666-8
By: Qingwei Yang; Naichao Wang; Lin Ma; Lei Li;
UML visualization of YANG models
2011 / IEEE / 978-1-4244-9221-3
By: Wallin, S.;
A Platform Independent Model for Adaptive Traffic Control Using UML-RT
2011 / IEEE / 978-1-61284-764-1
By: Manamalli, D.; Pushpa, S.E.P.;
Transforming YAWL workflow to BPEL skeleton
2011 / IEEE / 978-1-4244-9698-3
By: Pornudomthap, S.; Vatanawood, W.;
Analysis of effective controlled primitive repetitive vectors in Petri net systems
2011 / IEEE / 978-988-17255-9-2
By: Li Wen-Jie; Yue Hao; Chen Bao-Xing;
ReMoLa: Responsibility model language to align access rights with business process requirements
2011 / IEEE / 978-1-4244-8671-7
By: Petit, M.; Feltus, C.; Dubois, E.;
Automatic transformation technology from AADL model to UML model
2011 / IEEE / 978-1-61284-486-2
By: Pei Qiuhong; Tian Jie; Li Qiuyan; Liu Chao; Wu Ji;
Domain-Specific Modeling Approach to Support Instructional Design Rationale
2011 / IEEE / 978-1-61284-209-7
By: Cottier, P.; Choquet, C.; Ouraiba, E.A.;
Model-Driven Design of Performance Requirements
2011 / IEEE / 978-1-4577-0754-4
By: Medina-Bulo, I.; Garcia-Dominguez, A.; Marcos-Barcena, M.;
A Methodology of Model-Based Testing for AADL Flow Latency in CPS
2011 / IEEE / 978-1-4577-0781-0
By: Chunyan Ma; Yunwei Dong; Yufeng Zhu; Fan Zhang;
A SysML-Based Requirement Supporting Tool for Embedded Software
2011 / IEEE / 978-1-4577-0781-0
By: Kuo-Fong Kao; Chih-Wei Lu; Chih-Hung Chang; Chorng-Shiuh Koong; Chu, W.C.; Pao-Ann Hsiung; Nien-Lin Hsueh; Chao-Tung Yang;
Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis
2011 / IEEE / 978-1-4577-0781-0
By: Tadano, K.; Maeno, Y.; Kawato, M.; Jianwen Xiang;
Content personalization in e learning environment
2011 / IEEE / 978-1-4577-1672-0
By: Seridi, H.; Benhamdi, S.;
A Modelling Framework to Support Internal Control
2011 / IEEE / 978-1-4577-0781-0
By: Taguchi, K.; Komoto, T.; Futatsugi, K.; Yoshioka, N.; Mouratidis, H.;
Modeling optimization of the demonstration VR system based on VRML
2011 / IEEE / 978-1-4244-9953-3
By: Liu Haichuan; Wang Xiaopeng;
Towards a Unified Goal-Oriented Language
2011 / IEEE / 978-0-7695-4439-7
By: Patricio, P.; Monteiro, R.; Araujo, J.; Amaral, V.;
Research on conversion technology of abstract logic structure diagram to implementation diagram
2011 / IEEE / 978-1-4244-9953-3
By: Lirui Yao; Jianbin Liu;
The educational modeling languages in Instructional Design: Towards a UML applications
2011 / IEEE / 978-1-4244-9718-8
By: Zhi Jiang;
An Ecore based Petri net type definition for PNML IOPT models
2011 / IEEE / 978-1-4577-0434-5
By: Gomes, L.; Barros, J.P.; Pereira, F.; Moutinho, F.; Ribeiro, J.;
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language
2011 / IEEE / 978-1-4503-0445-0
By: Araujo, W.; Labiche, Y.; Briand, L.C.;
CoReL: Policy-Based and Model-Driven Regulatory Compliance Management
2011 / IEEE / 978-0-7695-4425-0
By: Qin Ma; El Kharbili, M.; Pulvermueller, E.; Kelsen, P.;
Using advanced simulation techniques to improve industrial controller's dependability
2011 / IEEE / 978-1-4577-0434-5
By: Seabra, E.; Machado, J.;
An approach to SysML and Simulink based motion controller design for inverted pendulum robots
2011 / IEEE / 978-4-907764-39-5
By: Phaoharuhansa, D.; Shimada, A.;
Inconsistency management framework for model-based development
2011 / IEEE / 978-1-4503-0445-0
By: Reder, A.;
Programming Role Enactment through Reflection
2011 / IEEE / 978-1-4577-1373-6
By: Jonker, C.M.; Dignum, V.; van Riemsdijk, M.B.; Aldewereld, H.;
An Ontology-Based Semantics for the Motivation Extension to ArchiMate
2011 / IEEE / 978-0-7695-4425-0
By: Azevedo, C.L.B.; Guizzardi, G.; Quartel, D.; van Sinderen, M.; Almeida, J.P.A.;
Modelling of Complex Systems with AML as Realized in MIRO Project
2011 / IEEE / 978-1-4577-1373-6
By: Lang, C.; Bouquet, F.; Chipeaux, S.; Marilleau, N.;
Analysing security requirements patterns based on problems decomposition and composition
2011 / IEEE / 978-1-4577-1022-3
By: Lin Liu; Haihong Zhao; Yuhong Wen;
Ontologies and Rules for Enterprise Modeling and Simulation
2011 / IEEE / 978-0-7695-4426-7
By: Wagner, G.;
Efficient Fault Simulation of SystemC Designs
2011 / IEEE / 978-1-4577-1048-3
By: Weiyun Lu; Radetzki, M.;
A DSML for Coordinating User-Centric Communication Services
2011 / IEEE / 978-0-7695-4439-7
By: Yali Wu; France, R.; Clarke, P.J.; Hernandez, F.;
Developing Mobile Applications for Multiple Platforms
2011 / IEEE / 978-1-4577-0683-7
By: Charaf, H.;
Sharing and reusing geography models via model execution engine
2011 / IEEE / 978-1-4577-1005-6
By: Hui Li; Xiaolin Wang; Yingwei Luo; Hongqiang Mao; Hao Deng;
Modeling and simulation optimization of the double inverted pendulum system in modelica
2011 / IEEE / 978-1-4577-0321-8
By: Chao Liang; Guo-jin Chen; Hong-guang Yang; Zhi-hua Li;
Simulation modeling of operation for computing device with programmed logic
2011 / IEEE / 978-1-4577-1070-4
By: Osovskiy, A.;
ArchiMate(R) for Integrated Modelling Throughout the Architecture Development and Implementation Cycle
2011 / IEEE / 978-1-4577-1542-6
By: Lankhorst, M.M.; Jonkers, H.; Iacob, M.-E.; Proper, E.; Quartel, D.A.C.;
Quick fix generation for DSMLs
2011 / IEEE / 978-1-4577-1247-0
By: Horvath, A.; Hegedus, A.; Varro, D.; Branco, M.C.; Rath, I.;
Analysis of WS-BPEL Processes in PRISM
2011 / IEEE / 978-1-4577-1487-0
By: Hongli Yang; Chen Deng; Zongyan Qiu; Meng Sun; Husheng Liao;
Analysis of radiated emissions from flexray automotive bus systems
2011 / IEEE / 978-0-9541146-3-3
By: Frei, S.; Jin Jia;
ProMaSI - A Project Management Simulator
2011 / IEEE / 978-1-61284-962-1
By: Chronakis, A.; Theodoridis, A.; Gregoriadis, G.; Petalidis, N.;
DMML: A Design Thinking Process Modeling Language
2011 / IEEE / 978-1-4577-1079-7
By: Jihong Liu; Xujie Hu; Minqing Zhang;
A Comparative Study of Data Modeling Languages in Next Generation Network Management
2011 / IEEE / 978-1-4577-1848-9
By: Nguyen Doan Tung;
Integrated model-based approach and test framework for embedded systems
2011 / IEEE / 978-2-9530504-4-8
By: Wuebbelmann, J.; Westerkamp, C.; Pulvermueller, E.; Iyenghar, P.;
Case study: QML for the web
2011 / IEEE / 978-1-4577-0700-1
By: Paimen, L.; Pohjalainen, P.;
Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML
2011 / IEEE / 978-1-4577-1349-1
By: Machida, F.; Trivedi, K.S.; Dong Seong Kim; Andrade, E.;
Business process modeling for post execution analysis and improvement
2011 / IEEE / 978-1-4673-0248-7
By: Lodhi, A.; Koppen, V.;
Context-awareness in CCML based web service composition
2011 / IEEE / 978-1-4577-1196-1
By: Xiuguo Zhang; Zhiqing Chen; Jiatong Li; Ning Zhou;
A model checking framework for hierarchical systems
2011 / IEEE / 978-1-4577-1639-3
By: Jun Sun; Truong Khanh Nguyen; Jin Song Dong; Yang Liu;
Isomorphism in model tools and editors
2011 / IEEE / 978-1-4577-1639-3
By: Brun, Y.; Edwards, G.; Medvidovic, N.;
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design
2011 / IEEE / 978-1-4577-1743-7
By: Fummi, F.; Di Guglielm, L.; Vinco, S.; Stefanni, F.; Pravadelli, G.;
A circuit simulation experimental system based on re-development SPICE
2011 / IEEE / 978-1-4244-9306-7
By: Shengming Zhou; Yanming Yang;
A high-level model-checking tool for verifying service agreements
2011 / IEEE / 978-1-4673-0412-2
By: Molina-Jimenez, C.; Abdelsadiq, A.; Shrivastava, S.;
VisTML: A Visual Modeling Language for Model Transformation
2011 / IEEE / 978-1-4577-2199-1
By: Chen Hongjie; Liu Yi; Ma Zhiyi; He Xiao; Shao Weizhong;
Recent innovations in Simio
2011 / IEEE / 978-1-4577-2109-0
By: Sturrock, D.T.; Pegden, C.D.;
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers
2011 / IEEE / 978-1-4577-2060-4
By: Jin Song Dong; Jun Sun; Yang Liu;
Translation Pattern of BPEL Process into Promela Code
2011 / IEEE / 978-1-4577-1930-1
By: Nakajima, S.; Ubayashi, N.; Kamei, Y.; Nakashiro, R.; Iwai, A.;
An Augmented Vector Space Information Retrieval for Recovering Requirements Traceability
2011 / IEEE / 978-1-4673-0005-6
By: Udagawa, Y.;
A lightweight aspect modelling approach for BPMN
2011 / IEEE / 978-1-4577-0657-8
By: Farooq, Q.; Tariq, S.; Jabeen, A.; Malik, Z.I.;
Exploring Integrated Circuit Verification Methodology for Verification and Validation of PLC Systems
2011 / IEEE / 978-1-4577-1880-9
By: Joshi, S.; Subbaraman, S.; Patil, M.M.;
Embedded real-time system modeling language analysis and comparison
2011 / IEEE / 978-1-4244-9690-7
By: Zeng Qingguang; Li Renfa; Huang Lida; Yang Yang;
An Event-B Interpretation for SPARDL Model
2011 / IEEE / 978-1-4673-0107-7
By: Jianwen Li; Bin Gu; Yanxia Qi; Geguang Pu; Yongxin Zhao; Zheng Wang;
Detecting and Correcting the Index of DAE by the Combinatorial Relaxation Algorithm
2011 / IEEE / 978-1-4577-0327-0
By: Xiaolei Zhang; Yongxin Yan; Jianwen Cao; Xuesong Wu;
CloudML: An Integrated Language for Resource, Service and Request Description for D-Clouds
2011 / IEEE / 978-1-4673-0090-2
By: Mangs, J.-E.; Melander, B.; Kelner, J.; Sadok, D.; Santos, M.; Endo, P.; Goncalves, G.;
Metamodeling and model transformations in modeling and simulation
2011 / IEEE / 978-1-4577-2109-0
By: Cetinkaya, D.; Verbraeck, A.;
Towards simulation of organizational norms
2011 / IEEE / 978-1-4577-2109-0
By: Nicolae, O.; Wagner, G.;
Veritas - a versatile modeling environment for test-driven agile simulation
2011 / IEEE / 978-1-4577-2109-0
By: Djanatliev, A.; Schneider, V.; German, R.; Dulz, W.;
A general model description for discrete processes
2011 / IEEE / 978-1-4577-2109-0
By: Schonherr, O.; Rose, O.;
Runtime Monitoring for Cyber-physical Systems: A Case Study of Cooperative Adaptive Cruise Control
2012 / IEEE / 978-1-4577-2120-5
By: Jianhui Mao; Liqian Chen;
Improved modeling and validation of command sequences using a checkable sequence language
2012 / IEEE / 978-1-4577-0557-1
By: Yu-Wen Tung; Keller, R.M.; Justice, H.L.; Carter, A.; Stone, C.A.;
Toward a model-based approach to flight system fault protection
2012 / IEEE / 978-1-4577-0557-1
By: Murray, A.; Day, J.; Meakin, P.;
From Measuring the Quality of Labels in Process Models to a Discourse on Process Model Quality: A Case Study
2012 / IEEE / 978-1-4577-1925-7
By: Fettke, P.; Loos, P.; Vella, A.-L.;
Supply Chain Simulation and Optimization Methods: An Overview
2012 / IEEE / 978-1-4673-0886-1
By: Othman, S.N.; Mustaffa, N.H.;
Towards a pattern language for modeling interactive applications in smart meeting rooms
2012 / IEEE / 978-1-4673-0907-3
By: Zaki, M.; Forbrig, P.;
From business process models to pervasive applications: Synchronization and optimization
2012 / IEEE / 978-1-4673-0907-3
By: Caracas, A.;
Screenwriting in an ILE of algorithmic
2012 / IEEE / 978-1-4673-1166-3
By: Amira, T.; Tahar, B.;
An Integrated Framework for System/Software Requirements Development Aligning with Business Motivations
2012 / IEEE / 978-1-4673-1536-4
By: Paige, R.; Xiaofeng Cui;
A collabortive framework for integrating Modelica Models and computational design methods
2012 / IEEE / 978-1-4673-1212-7
By: Yuming Zhu; Bo Li; Jihong Liu;
Converged network and device management for data offloading
2012 / IEEE / 978-1-4673-0269-2
By: Ellinas, G.; Hadjiantonis, A.M.;
Saber Model Automatic Translation Tool for Aeronautical Simulations
2012 / IEEE / 978-1-4673-1366-7
By: Guida, B.; Cavallo, A.;
Multi-platform user interface models by means of the Abstract Platform concept
2012 / IEEE / 978-1-4673-0342-2
By: Freund, M.; Braune, A.;
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments
2012 / IEEE / 978-0-7695-4670-4
By: Halle, S.; Tremblay-Lessard, R.; Calvar, J.;
Energy optimal control of an over actuated Robotic Electric Vehicle using enhanced control allocation approaches
2012 / IEEE / 978-1-4673-2118-1
By: Brembeck, J.; Ritzer, P.;
Simulating complex energy systems with Modelica: A primary evaluation
2012 / IEEE / 978-1-4673-1703-0
By: Palensky, P.; Widl, E.; Elsheikh, A.;
Avestan: A declarative modeling language based on SMT-LIB
2012 / IEEE / 978-1-4673-1757-3
By: Day, N.A.; Vakili, A.;
The semantics of partial model transformations
2012 / IEEE / 978-1-4673-1757-3
By: Salay, R.; Famelis, M.; Chechik, M.;
Model translations among big-step modeling languages
2012 / IEEE / 978-1-4673-1067-3
By: Faghih, F.;
A requirements-based approach for the design of adaptive systems
2012 / IEEE / 978-1-4673-1067-3
By: Souza, V.E.S.;
A conceptual modelling language for the humanities and social sciences
2012 / IEEE / 978-1-4577-1938-7
By: Gonzalez-Perez, C.;
A language for feedback loops in self-adaptive systems: Executable runtime megamodels
2012 / IEEE / 978-1-4673-1787-0
By: Giese, H.; Vogel, T.;
A models@runtime framework for designing and managing Service-Based Applications
2012 / IEEE / 978-1-4673-1807-5
By: Jezequel, J.-M.; Sunye, G.; Barais, O.; Nain, G.; Pazat, J.-L.; Fouquet, F.; Daubert, E.; Morin, B.;
The power performance and fuel economy estimation for vehicle concept planning and design using VHDL-AMS HV full vehicle simulation
2012 / IEEE / 978-1-4244-9373-9
By: Kato, T.; Tsuji, K.;
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
2012 / IEEE / 978-1-4673-1423-7
By: Taha, W.; Chapoutot, A.; Ames, A.; Gaspes, V.; Cartwright, R.; Yingfu Zeng; Brauner, P.;
Modeling and Simulating CAN-Based Cyber-Physical Systems in Modelica
2012 / IEEE / 978-1-4673-2670-4
By: Gong Xiong; Wang Xiaoping; Chen Liping; Wang Lei; Gu Bin; Zhou Fanli; Zhang Hongchang;

Next Page
Return To Top