Metro is a high-performance, extensible, easy-to-use web service stack. It is a one-stop shop for all your web service needs, from the simplest hello world web service to reliable, secured, and transacted web service that involves .NET services.
Find answers to frequently asked questions (FAQ) on the future of SAP NetWeaver Business Intelligence in the light of the NetWeaver BI & Business Objects Roadmap.
ProofWeb is a system for practising natural deduction on the computer based on the Coq proof assistant and runs in browser. ProofWeb one runs logic exercises on a web server. ProofWeb comes with a database of basic logic exercises that are graded according to difficulty. The ProofWeb system automatically grades the exercises of the students. user talks to the Coq system on the server without any translation. There just are a few additional tactics to make Coq's behavior follow the logic textbooks. This means that in ProofWeb the full power of Coq is available, even to beginner students. On the other hand ProofWeb tries hard to present deductions exactly the way they look in the textbooks. In particular ProofWeb exactly follows the conventions of a well-known logic textbook Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth and Mark Ryan.
V. Hoyer, and K. Stanoevska-Slabeva. Information Systems in a Globalising World: Challenges, Ethics and Practices, Proceedings of the 17th European Conference on Information Systems, Verona, (2009)
M. Alrifai, T. Risse, P. Dolog, and W. Nejdl. Service-Oriented Computing – ICSOC 2008 Workshops, volume 5472 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2009)
U. Riss, I. Weber, and O. Grebner. AAAI Spring Symposium on AI Meets Business Rules and Process Management, Stanford Univ., American Association for Artificial Intelligence, Menlo Park, Calif., (2008)
U. Riss, I. Weber, and O. Grebner. AAAI Spring Symposium on AI Meets Business Rules and Process Management, Stanford Univ., American Association for Artificial Intelligence, Menlo Park, Calif., (2008)