3689 search results - page 495 / 738 » A Language with Distributed Scope |
126
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
151
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Effective provisioning of next generation distributed applications hosted on diverse middleware platforms incurs significant challenges due to the applications’ growing complex...
141
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
126
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
146
click to vote
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...