1757 search results - page 247 / 352 » Integrating and Extending JCSP |
201
click to vote
IFM
2005
Springer
16 years 11 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
176
click to vote
MLMI
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper, we present initial results towards boosting posterior based speech recognition systems by estimating more informative posteriors using multiple streams of ...
202
click to vote
NOSSDAV
2005
Springer
16 years 10 days ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
162
click to vote
PPDP
2005
Springer
16 years 10 days ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
183
click to vote
TES
2005
Springer
16 years 10 days ago
2005
Springer
In SOA (Service Oriented Architecture), web service providers use service registries to publish services and requestors use registries to find them. The major current service regis...