This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
This paper proposes a novel feature-based invariant descriptor termed Radon composite features (RCFs) for planar shapes. Instead of analyzing shapes directly in the spatial domain,...
Web services are in the midst of making the transition from being a promising technology to being widely used in the industry. However, most efforts to use Web services have been m...
Preeda Rajasekaran, John A. Miller, Kunal Verma, A...
The network protocols we use today have been introduced decades ago. Since then the whole Internet came to existence and with it a single protocol stack: TCP/IP. What was a good s...
Dennis Schwerdel, Abbas Siddiqui, Bernd Reuther, P...