Sciweavers

1054 search results - page 140 / 211
» Guarded Expressions in Practice
Sort
View
CRYPTO
2005
Springer
96views Cryptology» more  CRYPTO 2005»
15 years 11 months ago
Privacy-Preserving Set Operations
In many important applications, a collection of mutually distrustful parties must perform private computation over multisets. Each party’s input to the function is his private i...
Lea Kissner, Dawn Xiaodong Song
FASE
2005
Springer
15 years 11 months ago
Automatic Conformance Testing of Web Services
Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. Dedicated discovery services will store bot...
Reiko Heckel, Leonardo Mariani
GPCE
2005
Springer
15 years 11 months ago
Implicitly Heterogeneous Multi-stage Programming
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homoge...
Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, K...
IEAAIE
2005
Springer
15 years 11 months ago
AI/NLP Technologies Applied to Spacecraft Mission Design
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
Maria Teresa Pazienza, Marco Pennacchiotti, Michel...
SEMWEB
2005
Springer
15 years 11 months ago
On the Properties of Metamodeling in OWL
A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many complex domains, in which...
Boris Motik