Sciweavers

5973 search results - page 924 / 1195
» Fundamental forms of information
Sort
View
EPEW
2005
Springer
16 years 7 days ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes
ERCIMDL
2005
Springer
124views Education» more  ERCIMDL 2005»
16 years 7 days ago
A Comparison of On-Line Computer Science Citation Databases
This paper examines the difference and similarities between the two on-line computer science citation databases DBLP and CiteSeer. The database entries in DBLP are inserted manual...
Vaclav Petricek, Ingemar J. Cox, Hui Han, Isaac G....
ERCIMDL
2005
Springer
148views Education» more  ERCIMDL 2005»
16 years 7 days ago
Active Support for Query Formulation in Virtual Digital Libraries: A Case Study with DAFFODIL
Daffodil is a front-end to federated, heterogeneous digital libraries targeting at strategic support of users during the information seeking process. This is done by offering a va...
André Schaefer, Matthias Jordan, Claus-Pete...
EUROCRYPT
2005
Springer
16 years 7 days ago
Mercurial Commitments with Applications to Zero-Knowledge Sets
We introduce a new flavor of commitment schemes, which we call mercurial commitments. Informally, mercurial commitments are standard commitments that have been extended to allow ...
Melissa Chase, Alexander Healy, Anna Lysyanskaya, ...
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
16 years 7 days ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...