10585 search results - page 1779 / 2117 » The Orc Programming Language |
125
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The GRACE International Meeting on Bidirectional Transformations was held in December 2008 near Tokyo, Japan. The meeting brought together researchers and practitioners f...
142
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
135
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
119
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...
131
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Probabilistic trust has been adopted as an approach to taking security sensitive decisions in modern global computing environments. Existing probabilistic trust frameworks either a...