1
Table of Contents: ...Preface -- Introduction -- The Practice-oriented Research Program in CSCW -- The View from...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... -- On Mobility of Software Processes -- Software Process Fusion: Uniting Pair Programming and Solo Programming...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ...Workshop on Business Process Design (BPD 2006) -- Preface -- Designing Compliant Business Processes...
View full text
Electronic eBook
6
by Carsetti, A., Carsetti, A.
Published 2013
Table of Contents: ... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Programming Approach to Developing DSL Compilers -- Efficient Code Generation for a Domain Specific Language...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
View full text
Electronic eBook
10
Table of Contents: ... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Evidences Based on Natural Language to Drive the Process of Fusing Multimodal Sources -- An Experimental...
View full text
Electronic eBook
12
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
13
Published 2005
Table of Contents: ... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Tools -- Embedded Software and System Development -- An Effective Source Code Review Process...
View full text
Electronic eBook
15
Table of Contents: ... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Clustering Binary Codes to Express the Biochemical Properties of Amino Acids -- Natural Language Interface...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Exhibition to Knowledge Construction -- Taking Advantage of the Web in the Portuguese Class: An Experience...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Decision Tree Learning -- NLP (Natural Language Processing) for NLP (Natural Language Programming...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Transcoder -- Binary Erasure Codes for Packet Transmission Subject to Correlated Erasures -- Image...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Multimedia Traffics -- Proposal of Space-Time Block Coded Cooperative Wireless Transmission in Rayleigh...
View full text
Electronic eBook