1615 search results - page 157 / 323 » Distributed Forward Checking |
103
click to vote
FMOODS
2006
15 years 3 months ago
2006
Abstract. We use a distributed, enriched -calculus for describing networks of services. Both services and their clients can protect themselves, by imposing security constraints on ...
120
click to vote
JCS
2006
15 years 2 months ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
108
click to vote
BIOINFORMATICS
2005
15 years 2 months ago
2005
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...
122
click to vote
JBCS
2002
15 years 2 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
124
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...