1405 search results - page 61 / 281 » We Are No Longer A Priesthood |
102
click to vote
CORR
2010
Springer
15 years 21 days ago
2010
Springer
We propose a middleware framework for deployment and subsequent autonomic management of component-based applications. An initial deployment goal is specified using a declarative c...
89
Voted
IPL
2006
15 years 17 days ago
2006
The Arc-Preserving Subsequence (APS) problem appears in the comparison of RNA structures in computational biology. Given two arcannotated sequences of length n and m < n, APS a...
ENTCS
2007
15 years 17 days ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
120
Voted
IJNSEC
2007
15 years 15 days ago
2007
Deniable authentication protocol is different from traditional authentication protocol in that the intended receiver can authenticate the source of a given message, but cannot pr...
99
Voted
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Modelling languages and thus their metamodels are subject to change. When a metamodel evolves, existing models may no longer conform to the evolved metamodel. To avoid re...