828 search results - page 90 / 166 » On the Design and Implementation of Interactive XML Applicat... |
100
click to vote
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
Modern applications such as Microsoft Word have many automatic features and hidden dependencies that are frequently helpful but can be mysterious to both novice and expert users. ...
MOBILITY
2009
ACM
15 years 4 months ago
2009
ACM
Widgets are becoming a natural way to design small, intuitive application, and their usage is becoming widespread on both the desktop and the mobile world. However, most widgets s...
158
click to vote
ICDE
2004
IEEE
15 years 11 months ago
2004
IEEE
According to a survey of the University of Berkeley [6], about 5 Exabytes of new information has been created in 2002. This information explosion affects also the database volumes...
ELPUB
2006
ACM
15 years 3 months ago
2006
ACM
The paper presents in brief a methodology for development of tools for knowledge-based search in repositories of digitized manuscripts. It is designated to assist the search activ...