9504 search results - page 33 / 1901 » Dynamic Substitution Model |
IJFCS
2007
14 years 9 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
DEXAW
2008
IEEE
15 years 4 months ago
2008
IEEE
Failures during web service execution may depend on a wide variety of causes, such as network faults, server crashes, or application-related errors, such as unavailability of a re...
101
click to vote
EMNLP
2007
14 years 11 months ago
2007
We propose a sequence-alignment based method for detecting and disambiguating coordinate conjunctions. In this method, averaged perceptron learning is used to adapt the substituti...
WICSA
2008
14 years 11 months ago
2008
Software modularization activities remain without the guidance of formal theories and models. According to Baldwin and Clark's [1] design rule theory (DRT) , modular architec...
IEEESCC
2008
IEEE
15 years 4 months ago
2008
IEEE
Service-orientation enables cooperation between multiple organizations and has become a solution of choice to tackle the complexity of ubiquitous computing. The very nature of ubi...