2558 search results - page 216 / 512 » Model Composition Contracts |
234
click to vote
CAV
2009
Springer
15 years 11 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...
200
click to vote
TCCI
2010
15 years 5 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...
213
click to vote
IEEESCC
2008
IEEE
16 years 1 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...
212
Voted
IJWET
2008
15 years 5 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...
216
click to vote
WWW
2006
ACM
16 years 7 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...