3645 search results - page 77 / 729 » Implementing mapping composition |
152
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
121
click to vote
EVOW
2003
Springer
15 years 10 months ago
2003
Springer
This paper discusses the motivation, design and construction of a generative music system, 'MusicBlox', (by the author) that utilises a domain specific, knowledge rich Ge...
113
click to vote
ICWS
2007
IEEE
15 years 6 months ago
2007
IEEE
Complex and dynamic web service compositions may introduce unpredictable and unintentional sharing of security-sensitive data (e.g., credit card numbers) as well as unexpected vul...
141
click to vote
JWSR
2007
15 years 4 months ago
2007
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
146
click to vote
VSTTE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...