1
Published 2006
Table of Contents: ... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Informatics -- Bridging the Gap Between School Computing and the “Real World” -- Programming Versus...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... -- Interpersonal Knowledge in Virtual Seminars -- Individual Versus Group Learning as a Function of Task Complexity...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Home Agent Migration to Mobile IPv6 Based Protocols -- Experimental Evaluation of EAP Performance...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... -- Improved Alignment of Protein Sequences Based on Common Parts -- Invited Keynote Talk: Computing P-Values...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Via Periodic Optimization and Linear Programming: The Case of Sigmoidal Utility Function -- TCP Versus...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming -- Intelligent...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... for Storage Area Networks (ACOSAN) -- Neural Nets -- Radial Basis Functions Versus Geostatistics in Spatial...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... -- Natural Behavior of a Listening Agent -- Providing Computer Game Characters with Conversational Abilities...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Based on Parametric Dynamic Programming -- Determining Dominant Frequency with Data-Adaptive Windows...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Shearlet-Based Filter for Low-Dose Mammography -- Evaluation of Human Contrast Sensitivity Functions Used...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Engineering -- Position Papers -- Aggregation of Empirical Evidence -- Empirical Evaluation in Software...
View full text
Electronic eBook