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