3799 search results - page 437 / 760 » An Engineering Approach to Formal Methods |
246
click to vote
WWW
2010
ACM
15 years 5 months ago
2010
ACM
With the enormous and still growing amount of data and user interaction on the Web, it becomes more and more necessary for data consumers to be able to assess the trustworthiness ...
170
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
203
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
208
click to vote
IFM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
228
click to vote
TKDE
2012
13 years 9 months ago
2012
—If past versions of XML documents are retained, what of the various integrity constraints defined in XML Schema on those documents? This paper describes how to interpret such c...