Sciweavers

4052 search results - page 412 / 811
» Information Technology in Developing Countries
Sort
View
WORDS
2005
IEEE
16 years 11 days ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan
MKM
2005
Springer
16 years 9 days ago
A Proof-Theoretic Approach to Hierarchical Math Library Organization
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
Kamal Aboul-Hosn, Terese Andersen
SIGIR
2004
ACM
16 years 7 days ago
Federated Search of Text-Based Digital Libraries in Hierarchical Peer-to-Peer Networks
Abstract. Peer-to-peer architectures are a potentially powerful model for developing large-scale networks of text-based digital libraries, but peer-to-peer networks have so far pro...
Jie Lu, Jamie Callan
CAISE
2004
Springer
16 years 6 days ago
Design and Implementation of the YAWL System
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
Wil M. P. van der Aalst, Lachlan Aldred, Marlon Du...
CAISE
2004
Springer
16 years 6 days ago
Method Components - Rationale Revealed
The configuration of systems engineering methods is a challenging task. As a method engineer it is essential to have conceptual constructs capable of reducing the burden of details...
Kai Wistrand, Fredrik Karlsson