Sciweavers

1757 search results - page 256 / 352
» Integrating and Extending JCSP
Sort
View
SIGGRAPH
2010
ACM
15 years 11 months ago
Apparent display resolution enhancement for moving images
Limited spatial resolution of current displays makes the depiction of very fine spatial details difficult. This work proposes a novel method applied to moving images that takes ...
Piotr Didyk, Elmar Eisemann, Tobias Ritschel, Karo...
ICSE
2001
IEEE-ACM
15 years 11 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
OHS
2001
Springer
15 years 11 months ago
FOHM+RTSP: Applying Open Hypermedia and Temporal Linking to Audio Streams
Abstract. The World Wide Web (WWW) was originally designed to handle relatively simple files, containing just text and graphics. With the development of more advanced Web browsers...
Neil Ridgway, David De Roure
SEMWEB
2001
Springer
15 years 11 months ago
ITTALKS: A Case Study in the Semantic Web and DAML
Effective use of the vast quantity of information now available on the web will require the use of “Semantic Web” markup languages such as the DARPA Agent Markup Language (DAML...
R. Scott Cost, Timothy W. Finin, Anupam Joshi, Yun...
APAQS
2000
IEEE
15 years 11 months ago
Object-Based Data Flow Testing of Web Applications
Recently, the extraordinarygrowth in the World Wide Web has been sweeping through business and industry. Many companies have developed or integrated their mission-critical applica...
Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-...