5477 search results - page 811 / 1096 » Contexts, Domains, and Software |
215
click to vote
FORTE
2009
15 years 4 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
179
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
In the context of spoken language interpretation, this paper introduces a stochastic approach to infer and compose semantic structures. Semantic frame structures are directly deri...
198
Voted
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
We introduce TiMDPpoly, an algorithm designed to solve planning problems with durative actions, under probabilistic uncertainty, in a non-stationary, continuous-time context. Miss...
183
click to vote
ICWSM
2009
15 years 4 months ago
2009
This paper defines a concept of trust incident accounts as verbal reports of empirical episodes in which a trustor has reached a state of positive or negative expectations of a tr...
169
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...