6167 search results - page 76 / 1234 » Can Refinement be Automated |
90
Voted
MODELLIERUNG
2008
15 years 2 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
INFSOF
2006
15 years 19 days ago
2006
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...
74
Voted
ACSW
2004
15 years 2 months ago
2004
In this paper, a `market trading' technique is integrated with the techniques of rule discovery and refinement for data mining. A classifier system-inspired model, the market...
95
Voted
UTP
2010
14 years 10 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
155
click to vote
IAAI
2003
15 years 2 months ago
2003
The Broadcast News Editor (BNE) and Broadcast News Navigator (BNN) are fully implemented systems that exploit integrated image, speech, and language processing to support intellig...