Narrow your search

Library

AP (222)

KDG (222)

EhB (61)

VUB (23)


Resource type

digital (222)

book (61)


Language

English (222)


Year
From To Submit

2009 (222)

Listing 1 - 10 of 222 << page
of 23
>>
Sort by

Digital
String Processing and Information Retrieval : 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings


Digital
Entertainment Computing - ICEC 2008 : 7th International Conference, Pittsburgh, PA, USA, September 25-27, 2008. Proceedings


Digital
Distributed Computing and Internet Technology : 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings


Digital
Distributed Computing and Networking : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings


Digital
Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Authors: --- --- --- --- --- et al.
ISBN: 9783540926870 Year: 2009 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract


Digital
Practical Aspects of Declarative Languages : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings
Authors: --- --- --- --- --- et al.
ISBN: 9783540929956 Year: 2009 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract


Digital
Computer Performance Evaluation and Benchmarking : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings
Authors: --- --- --- --- --- et al.
ISBN: 9783540937999 Year: 2009 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg


Multi
Service-Oriented Computing - ICSOC 2007 Workshops : ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers
Authors: --- --- --- --- --- et al.
ISBN: 9783540938514 Year: 2009 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the thoroughly refereed papers presented at five international workshops held in conjunction with the 5th International Conference on Service-Oriented Computing, ICSOC 2007, in Vienna, Austria, in September 2007. The five workshops were selected out of eight submissions. The volume contains papers presented at the First International Workshop on Web APIs and Services Mashups (Mashups 2007), the Workshop on Non-Functional Properties and Service Level Agreements in Service-Oriented Computing (NFPSLA-SOC 2007), the 2nd International Workshop on Business-Oriented Aspects Concerning Semantics and Methodologies in Service-Oriented Computing (SeMSoC 2007), the First International Workshop on Telecom Service-Oriented Architectures (TSOA 2007) and the Third International Workshop on Engineering Service-Oriented Applications (WESOA 2007). The papers offer a wide range of hot topics in service-oriented computing: development of mashups; management of non-functional properties and service level agreements; engineering approaches; semantic methodologies; and telecom services and service architectures.


Multi
Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Authors: --- --- --- --- --- et al.
ISBN: 9783540939009 Year: 2009 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.


Multi
Approximation and Online Algorithms : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers
Authors: --- --- --- --- --- et al.
ISBN: 9783540939801 Year: 2009 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the thoroughly refereed post workshop proceedings of the 6th International Workshop on Approximation and Online Algorithms, WAOA 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 conference event. The 22 revised full papers presented were carefully reviewed and selected from 56 submissions. The workshop covered areas such as algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, inapproximability results, mechanism design, network design, packing and covering, paradigms for design and analysis of approximation and online algorithms, randomization techniques, real-world applications, and scheduling problems.

Listing 1 - 10 of 222 << page
of 23
>>
Sort by