Sciweavers

2139 search results - page 299 / 428
» Modeling Aspect-Oriented Compositions
Sort
View
FIW
2009
139views Communications» more  FIW 2009»
15 years 2 months ago
Problem-Solution Feature Interactions as Configuration Knowledge in Distributed Runtime Adaptations
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
Frans Sanen, Eddy Truyen, Wouter Joosen
153
Voted
SIAMSC
2011
115views more  SIAMSC 2011»
14 years 11 months ago
A Fast and Stable Solver for Singular Integral Equations on Piecewise Smooth Curves
A scheme is presented for the numerical solution of singular integral equations on piecewise smooth curves. It relies on several techniques: reduction, Nystr¨om discretization, co...
Johan Helsing
ICEXSS
2010
14 years 11 months ago
Systemic Service Design: Aligning Value and Implementation
The promise of service orientation is that it enables an organization to prosper by delivering continuous value to customers. This prosperity is of strategic value to the organizat...
Arash Golnam, Gil Regev, Julien Ramboz, Philippe L...
121
Voted
JLP
2011
106views more  JLP 2011»
14 years 7 months ago
Concurrent Kleene Algebra and its Foundations
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
Tony Hoare, Bernhard Möller, Georg Struth, Ia...
133
Voted
CRYPTO
2012
Springer
223views Cryptology» more  CRYPTO 2012»
13 years 7 months ago
Collusion-Preserving Computation
In collusion-free protocols, subliminal communication is impossible and parties are thus unable to communicate “any information beyond what the protocol allows”. Collusion-fre...
Joël Alwen, Jonathan Katz, Ueli Maurer, Vassi...