9504 search results - page 33 / 1901 » Dynamic Substitution Model |
IJFCS
2007
13 years 7 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
14 years 2 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...
EMNLP
2007
13 years 9 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
13 years 9 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
14 years 2 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...