All Stories

  1. How Collective Intelligence Supports Humanitarian Mapping Efforts in the HOT Tasking Manager
  2. Looseness for Choreography-based Software Architectures on Blockchain
  3. Engineering Trustable and Auditable Choreography-based Systems Using Blockchain
  4. Flexible execution of multi-party business processes on blockchain
  5. X-IoT
  6. Verification of Privacy-Enhanced Collaborations
  7. Private assisted house for smart living
  8. inter-organizational business process verification
  9. Formal Methods to Improve Public Administration Business Processes
  10. Business Processes Verification for e-Government Service Delivery
  11. Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies
  12. Quality of service in e-government underlines the role of information usability