Skip to main content
Springer Nature Link
Log in

The ASK System and the Challenge of Distributed Knowledge Discovery

  • Conference paper
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 17))

  • 994 Accesses

Abstract

ASK is an industrial software system for connecting people to each other. The system uses intelligent matching functionality and learning mechanisms in order to find effective connections between requesters and responders in a community. Currently, Almende investigates ways to connect multiple distributed configurations of ASK to each other and to different existing systems. Thereby, we face the issue of how to derive knowledge about connections between people in such distributed heterogeneous settings. In this paper, we introduce ASK, indicate its future development and discuss the imposed challenges.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Almende website, http://www.almende.com

  2. ASK community systems website, http://www.ask-cs.com

  3. Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical. Structures in Comp. Sci. 14(3), 329–366 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  4. Fersman, E., Krcal, P., Pettersson, P., Yi, W.: Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8), 1149–1172 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  5. Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Software and Systems Modeling 6(1), 35–58 (2007)

    Article  Google Scholar 

  6. Valk, J., Larsen, J.P., van Tooren, P., ter Mors, A.: Channel-based architecture for dynamically reconfigurable networks. In: BNAIC, pp. 246–253 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Almende BV, Rotterdam, The Netherlands

    Andries Stam

Authors
  1. Andries Stam
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technische Universität Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stam, A. (2008). The ASK System and the Challenge of Distributed Knowledge Discovery. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_47

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88479-8_47

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88478-1

  • Online ISBN: 978-3-540-88479-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics