Search alternatives:
transaction » translation, transition
transactions » translations, transitions, translation, transition
1
Subjects: ...Automation Periodicals....
Journal
3
Published 2008
Table of Contents: ... -- Automatic Order of Data Points in RE Using Neural Networks -- Orthogonal Nonnegative Matrix Factorization...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Composable Mixed Mode Concurrency Control Semantics for Transactional Programs -- Towards a Formal...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... -- Application of PIL Approach for Automated Transportation Center -- A Model of a System for Stream Data Storage...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Generation and Exploration on Shared-Memory Architectures -- Towards Automated Controlling of Human...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...Invited Talks -- Processing Preference Queries in Standard Database Systems -- Turkish Information...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Signal Control System for Smart World -- Development and Runtime Support for Situation-Aware Security...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... of Three Approaches for CORBA Firewall/NAT Traversal -- On the Design of Access Control to Prevent...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ...Automatic Checking of Component Protocols in Component-Based Systems -- Checking Component...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Mining API Popularity -- Automatic Discovery of Unspecified Behaviors in Automotive Control Software...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... System for Smart Devices -- WS-Engineer 2008 -- MetaCDN: Harnessing Storage Clouds for High Performance...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Bluetooth Based Autonomous Mining System -- Transistor Representation of a Low Power Reversible 32-Bit...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Control System -- AutoPA: Automatic Prototyping from Requirements -- Systematic Model-Based Safety...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... -- AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems -- FShell: Systematic Test...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Topic Term Extraction for Semantic Annotation in Chinese Bulletin Board System -- Automatic Annotation...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ...: An Introduction -- Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach...
View full text
Electronic eBook