As the Internet continues to play an important role in many business applications, it becomes vital to increase the competitive edge by offering geographically tailored contents t...
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...
Allen L. Brown Jr., Cosimo Laneve, L. Gregory Mere...
Web Services have experienced great interest during the last years as they were expected to act as enablers of seamless application-to-application integration both within company ...
Abstract. Adaptive navigation support normally attempts to make selecting a relevant hyperlink as easy as possible. However, in educational applications, this may have negative lea...
This paper presents a technique that limits the maximum number of specified bits of any pattern in a given test set. The outlined method uses algorithms similar to ATPG, but explo...
Michael A. Kochte, Christian G. Zoellin, Michael E...