1722 search results - page 271 / 345 » Ontology Formalism Transformation |
154
click to vote
EDOC
2008
IEEE
16 years 19 days ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
154
click to vote
ICDT
2007
ACM
16 years 10 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
156
click to vote
ICDE
2006
IEEE
16 years 6 days ago
2006
IEEE
A key aspect of any data integration endeavor is establishing a transformation that translates instances of one or more source schemata into instances of a target schema. This sch...
153
click to vote
SCAM
2006
IEEE
16 years 5 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
207
click to vote
PLDI
2006
ACM
16 years 4 days ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...