2558 search results - page 216 / 512 » Model Composition Contracts |
185
Voted
CAV
2009
Springer
15 years 9 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
148
click to vote
TCCI
2010
15 years 3 months ago
2010
According to transaction cost economics, contracts are always incomplete and offer opportunities to defect. Some level of trust is a sine qua non for trade. If the seller is better...
154
click to vote
IEEESCC
2008
IEEE
15 years 11 months ago
2008
IEEE
In order to co-ordinate multiple resource providers in grid environment to meet a common objective, support for negotiation is needed to establish a contract between the users and...
149
click to vote
IJWET
2008
15 years 3 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
164
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
Today, the Web is increasingly used as a platform for distributed services, which transcend organizational boundaries to form federated applications. Consequently, there is a grow...