TheAsiaInformationRetrievalSymposium(AIRS)wasestablishedbytheAsian information retrieval community after the successful series of Information - trieval with Asian Languages (IRAL) workshops held in six di?
This book is a post-conference publication and contains a selection of papers presented at the VLBV workshop in 2005, which was held in Sardinia, Italy, on September 15-16.
This volume contains the papers presented at the Third International Conference on Security in Pervasive Computing (SPC 2006), held April 19-21, 2006 in York, UK.
TEAA 2005 (Trends in Enterprise Application Architecture) took place as a workshop of the conference VLDB 2005 (31st International Conference on Very Large Databases) in August 2005 in Trondheim, Norway.
The series of International Conferences on Extending Database Technology (EDBT) is an established and prestigious forum for the exchange of the latest research results in data management.
The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for online and computationally hard problems.
This book contains the Proceedings of the 5th Workshop on OpenMP Appli- tionsandTools(WOMPAT2004),whichtookplaceattheUniversityofHouston, Houston, Texas on May 17 and 18, 2004.
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.
The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial and non-commercial engineering tools such as CAD tools, modeling, simulation and optimization software, engineering databases, and knowledge-based systems.
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub * eck, Germany, September 8-10, 2004.