880 search results - page 108 / 176 » Looking at data |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
Secure signal processing is an emerging technology to enable signal processing tasks in a secure and privacy-preserving fashion. It has attracted a great amount of research attent...
ICFP
2012
ACM
12 years 1 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
CIKM
2000
Springer
14 years 3 months ago
2000
Springer
Large collections of documents containing various types of multimedia, are made available to the WWW. Unfortunately, due to the un-structuredness of Internet environments it is ha...
BPSC
2007
14 years 6 days ago
2007
Originally XML was used as a standard protocol for data exchange in computing. The evolution of information technology has opened up new situations in which XML can be used to aut...