Sciweavers

1646 search results - page 275 / 330
» Automatic generation of two-party computations
Sort
View
GEOS
2007
Springer
14 years 4 months ago
The Gravity Data Ontology: Laying the Foundation for Workflow-Driven Ontologies
Abstract. A workflow-driven ontology is an ontology that encodes disciplinespecific knowledge in the form of concepts and relationships and that facilitates the composition of serv...
Ann Q. Gates, G. Randy Keller, Leonardo Salayandia...
PPDP
2007
Springer
14 years 4 months ago
Putting declarative programming into the web: translating curry to javascript
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
Michael Hanus
EDOC
2006
IEEE
14 years 4 months ago
Model-Driven Dashboards for Business Performance Reporting
Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach...
Pawan Chowdhary, Themis Palpanas, Florian Pinel, S...
ESCIENCE
2006
IEEE
14 years 4 months ago
GridBuilder: A Tool for Creating Virtual Grid Testbeds
Grid software developers and Grid site administrators both require realistic testbeds where they can test applications and middleware before deployment on production infrastructur...
Stephen Childs, Brian A. Coghlan, Jason McCandless
ICNP
2006
IEEE
14 years 4 months ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...