1153 search results - page 147 / 231 » Reversing graph transformations |
IH
2005
Springer
14 years 3 months ago
2005
Springer
It is commonly believed that steganography within TCP/IP is easily achieved by embedding data in header fields seemingly filled with “random” data, such as the IP identifier...
IRI
2003
IEEE
14 years 3 months ago
2003
IEEE
Distributed collaboration over the Internet has become increasingly common in recent years, supported by various technologies such as virtual workspace systems. Often such collabo...
PG
2003
IEEE
14 years 3 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
ECMDAFA
2010
Springer
14 years 2 months ago
2010
Springer
Successful application of model-driven engineering approaches requires interchanging a lot of relevant data among the tool ecosystem employed by an engineering team (e.g., requirem...
RTA
1998
Springer
14 years 2 months ago
1998
Springer
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-orde...