Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
proceedings program » proceedings from
processing program » processing programs, processing programmed, process program
construction https » instruction https, conservation https, construction history
interface method » interface methods, interphase method, interval method
proceedings program » proceedings from
processing program » processing programs, processing programmed, process program
construction https » instruction https, conservation https, construction history
interface method » interface methods, interphase method, interval method
1
Published 2006
Table of Contents:
“...-Agent Construction Method for Software Process Modeling in SoftPM -- Applying Little-JIL to Describe...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... and Personalized Interfaces -- A Model and Guidelines for the Interface Design Process for Adaptive Web...”View full text
Electronic
eBook
7
Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM...
Published 2006
Table of Contents:
“... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... for Retrospective Analysis of Release Planning Decisions -- A Qualitative Evaluation Method for Business Process...”View full text
Electronic
eBook
9
Natural Language Processing and Information Systems 10th International Conference on Applications...
Published 2005
Table of Contents:
“... Directory Construction Using Lexical Chains -- Email Categorization with Tournament Methods -- Knowledge...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Decision Tree Learning -- NLP (Natural Language Processing) for NLP (Natural Language Programming...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... visual interfaces -- Performance Comparison of Two Identification Methods for Analysis of Head Related...”View full text
Electronic
eBook
15
Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia...
Published 2005
Table of Contents:
“... and Construction of the Caddy Robot -- Rapid Algorithms for MPEG-2 to H.264 Transcoding -- A New Method...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...”View full text
Electronic
eBook
17
Table of Contents:
“... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...”
View full text
View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Interactions in a Tangible Programming Space -- The Usability of Digital Ink Technologies for Children...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... for Web Usage Mining -- Knowledge-Based Decision Support in Oil Well Drilling -- A New Method to Construct...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Fixing Collaborative Edition on Typed Documents -- Towards the Construction of a Knowledge Building...”View full text
Electronic
eBook