DAGSTUHL
2004
14 years 28 days ago
2004
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
DAGSTUHL
2004
14 years 28 days ago
2004
Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a...
DAGSTUHL
2004
14 years 28 days ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
DAGSTUHL
2004
14 years 28 days ago
2004
DAGSTUHL
2004
14 years 28 days ago
2004
DAGSTUHL
2004
14 years 28 days ago
2004
DAGSTUHL
2004
14 years 28 days ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
DAGSTUHL
2004
14 years 28 days ago
2004
DAGSTUHL
2004
14 years 28 days ago
2004
Subgroup discovery aims at finding interesting subsets of a classified example set that deviates from the overall distribution. The search is guided by a so-called utility function...
DAGSTUHL
2004
14 years 28 days ago
2004
Next to prediction accuracy, the interpretability of models is one of the fundamental criteria for machine learning algorithms. While high accuracy learners have intensively been e...