992 search results - page 68 / 199 » Rapid Development of Web Interfaces to Heterogeneous Systems |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Rapid changes in the business environment call for more flexible and adaptive workflow systems. Researchers have proposed that Workflow Management Systems (WfMSs) comprising multi...
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
107
click to vote
ADBIS
2000
Springer
15 years 2 months ago
2000
Springer
The integration of bibliographical data today is considered one of the most important tasks in the area of digital libraries. Various available sources of bibliographical informati...
ERCIMDL
2004
Springer
15 years 3 months ago
2004
Springer
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...
136
click to vote
CHI
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes the 3Book, a 3D interactive visualization of a codex book as a component for digital library and information-intensive applications. The 3Book is able to repr...