1
Published 2013
Table of Contents: ... Approach to Business Process Automation -- NDT-Driver, a Java Tool to Support QVT Transformations for NDT...
View full text
Electronic eBook
2
Table of Contents: ... Rigorous Semantics for BPMN 2.0 Process Diagrams -- 5 How the Semantic Model Can Be Used -- 6 A Discussion...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Application -- TEAC2H-RI: Educational Robotic Platform for Improving Teaching-Learning Processes of Technology...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... and Morphology -- Video Watermarking Scheme Resistant to Rotation and Collusion Attacks -- Development...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... the FlexRay Startup Phase -- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... -- Institutional Capacity Building in Developing Countries through Regional Climate Outlook Forums (RCOFs) Process...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ...: model, detection, deblurring -- Software support for Common Criteria security development process...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ...: Implications for Robot Software Development -- Software Environments for Robot Programming -- Sidebar...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Services Interface -- A QoS Driven Development Process Model for Component-Based Software Systems...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... with Content-Modification Operations -- Metamodeling the Quality of the Web Development Process’ Intermediate...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...-Efficient FPGA-Based Packet Processing Framework -- Service Mobility -- Service Migration Protocol for NFC...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... and Related Protocols for Ubiquitous Access to Electronic Health Records Using Java SIM Cards -- Capturing...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... with Disasters -- Promotion of Seismic Retrofitting for Existing Low Earthquake Resistant Structures: The Most...
View full text
Electronic eBook
15