Sciweavers

1099 search results - page 129 / 220
» A Parallel Programming Style and Its Algebra of Programs
Sort
View
SOSP
2009
ACM
15 years 6 months ago
Fabric: a platform for secure distributed computation and storage
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
Jed Liu, Michael D. George, K. Vikram, Xin Qi, Luc...
ACSD
2008
IEEE
127views Hardware» more  ACSD 2008»
15 years 4 months ago
On the interplay between fault handling and request-response service invocations
Abstract. Service Oriented Computing (SOC) allows for the composition of services which communicate using unidirectional notification or bidirectional request-response primitives....
Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gian...
LANMR
2007
14 years 11 months ago
Handling Exceptions in nonmonotonic reasoning
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
Marcelino C. Pequeno, Rodrigo de M. S. Veras, Wlad...
VLDB
2002
ACM
151views Database» more  VLDB 2002»
14 years 9 months ago
Preference SQL - Design, Implementation, Experiences
Current search engines can hardly cope adequately with fuzzy predicates defined by complex preferences. The biggest problem of search engines implemented with standard SQL is that...
Werner Kießling, Gerhard Köstler
ICS
2001
Tsinghua U.
15 years 2 months ago
Reducing the complexity of the issue logic
The issue logic of dynamically scheduled superscalar processors is one of their most complex and power-consuming parts. In this paper we present alternative issue-logic designs th...
Ramon Canal, Antonio González