3836 search results - page 251 / 768 » Semantics of Database Transformations |
123
click to vote
ICDCSW
2006
IEEE
15 years 10 months ago
2006
IEEE
Business-to-business (B2B) data exchange and integration is a common daily operation in today’s organizations. These operations are crucial since they affect organizations’ ca...
127
Voted
WISE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we describe the semantic partitioner algorithm, that uses the structural and presentation regularities of the Web pages to automatically transform them into hierarchi...
113
click to vote
ASM
2005
ASM
15 years 10 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
142
click to vote
CADE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
148
click to vote
IJWET
2008
15 years 3 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...