1
Published 2013
Table of Contents: ... Model of Assistive Technology Assessment Process -- Towards Ergonomic User Interface Composition: A...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Outstanding Papers -- Full Bandwidth Broadcast, Reduction and Scan with Only Two Trees -- Process Cooperation...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- Clustering Binary Codes to Express the Biochemical Properties of Amino Acids -- Natural Language Interface...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Components, Changing Interfaces, Varying Compositions.- An Object Group-Based Component Model.- Automated...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML...
View full text
Electronic eBook
7
Published 2001
Table of Contents: ... Solvents -- Imprinting Enzymes for Use in Organic Media -- Entrapment of Biocatalysts by Prepolymer Methods...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Distributed System -- Comparison and Analysis of the Eye Pointing Methods and Applications -- Abstraction...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Intersection Method for Generation of Efficient Front -- An Improved Laplacian Smoothing Approach for Surface...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... -- Automated Translation and Analysis of a ToolBus Script for Auctions -- Executable Interface Specifications...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Architecture into the Semantic Web -- RDFS Reasoning and Query Answering on Top of DHTs -- An Interface-Based...
View full text
Electronic eBook