Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
Recent advances in programming environments have focused on improving programmer productivity by utilizing the inherent structure in computer programs. However, because these envi...
Music making is usually considered as mostly a solitary activity done by composers, but with the current Web 2.0 technology it is possible to provide new possibilities for social ...
In this paper we discuss the theory, design and construction of a haptic display for creating texture sensations through variations in surface friction. Ultrasonic frequency, low ...
Laura Winfield, John Glassmire, J. Edward Colgate,...
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Ki...