186 search results - page 27 / 38 » Global consistency checking of distributed models with TReMe... |
116
click to vote
SIGSOFT
2003
ACM
15 years 5 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
WWW
2005
ACM
16 years 13 days 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...
BMCBI
2005
14 years 11 months ago
2005
Background: The availability of interaction databases provides an opportunity for researchers to utilize immense amounts of data exclusively in silico. Recently there has been an ...
113
click to vote
JMLR
2010
14 years 6 months ago
2010
Continuous-time Bayesian networks is a natural structured representation language for multicomponent stochastic processes that evolve continuously over time. Despite the compact r...
ICDCS
2009
IEEE
15 years 9 months ago
2009
IEEE
Autonomous routing algorithms, such as BGP, are intended to reach a globally consistent set of routes after nodes iteratively and independently collect, process, and share network...