2152 search results - page 175 / 431 » An Abstract Account of Composition |
160
click to vote
EOR
2007
15 years 6 months ago
2007
Abstract. Given an optimization problem with a composite of a convex and componentwise increasing function with a convex vector function as objective function, by means of the conj...
176
click to vote
ADT
2005
15 years 6 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
152
click to vote
JLP
2007
15 years 6 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
145
click to vote
JNW
2007
15 years 6 months ago
2007
Abstract— Publish/subscribe has emerged as an attractive communication paradigm for building Internet-wide distributed systems by decoupling message senders from receivers. Large...
179
click to vote
JSW
2007
15 years 6 months ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...